Shuang Liu

According to our database, Shuang Liu authored at least 53 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

sFuzz2.0: Storage-access pattern guided smart contract fuzzing.

Haoyu Wang, Zan Wang, Shuang Liu, Jun Sun, Yingquan Zhao, Yan Wan, Tai D. Nguyen

J. Softw. Evol. Process., April, 2024

Design and Implementation of a Hybrid, ADC/DAC-Free, Input-Sparsity-Aware, Precision Reconfigurable RRAM Processing-in-Memory Chip.

Junjie Wang, Teng Zhang, Shuang Liu, Yihe Liu, Yuancong Wu, Shaogang Hu, Tupei Chen, Yang Liu, Yuchao Yang, Ru Huang

IEEE J. Solid State Circuits, February, 2024

Design and implementation of a charge-sharing in-memory-computing macro with sparse feature for quantized neural network.

Yihe Liu, Junjie Wang, Shuang Liu, Mingyuan Sun, Xiaoyang Zhang, Jingtao Zhou, Shiqin Yan, Ruicheng Pan, Hao Hu, Yang Liu

Microelectron. J., 2024

Conformance Testing of Relational DBMS Against SQL Specifications.

Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang, Xiaoyong Du

CoRR, 2024

Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis.

Chenyao Suo, Junjie Chen, Shuang Liu, Jiajun Jiang, Yingquan Zhao, Jianrong Wang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Testing Graph Database Systems with Graph-State Persistence Oracle.

Shuang Liu, Junhao Lan, Xiaoning Du, Jiyuan Li, Wei Lu, Jiajun Jiang, Xiaoyong Du

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

I3DE: An IDE for Inspecting Inconsistencies in PL/SQL Code.

Jiangshan Liu, Shuang Liu, Junjie Chen

Proceedings of the 1st ACM/IEEE Workshop on Integrated Development Environments, 2024

WasmCFuzz: Structure-aware Fuzzing for Wasm Compilers.

Xiangwei Zhang, Junjie Wang, Xiaoning Du, Shuang Liu

Proceedings of the IEEE/ACM International Workshop on Engineering and Cybersecurity of Critical Systems and Second IEEE/ACM International Workshop on Software Vulnerability, 2024

2023

Differential Testing of Machine Translators Based on Compositional Semantics.

Shuang Liu, Shujie Dou, Junjie Chen, Zhirun Zhang, Ye Lu

IEEE Trans. Software Eng., December, 2023

A Survey on Automated Driving System Testing: Landscapes and Trends.

Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu

ACM Trans. Softw. Eng. Methodol., September, 2023

Enhancing RDF Verbalization with Descriptive and Relational Knowledge.

Fan Zhang, Meishan Zhang, Shuang Liu, Yueheng Sun, Nan Duan

ACM Trans. Asian Low Resour. Lang. Inf. Process., June, 2023

An Area- and Energy-Efficient Spiking Neural Network With Spike-Time-Dependent Plasticity Realized With SRAM Processing-in-Memory Macro and On-Chip Unsupervised Learning.

Shuang Liu, Junjie Wang, Jingtao Zhou, Shaogang Hu, Qi Yu, Tupei Chen, Yang Liu

IEEE Trans. Biomed. Circuits Syst., February, 2023

Achieving High MAP-Coverage Through Pattern Constraint Reduction.

Yingquan Zhao, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, Xiang Chen

IEEE Trans. Software Eng., 2023

APPCorp: a corpus for Android privacy policy document structure analysis.

Shuang Liu, Fan Zhang, Baiyang Zhao, Renjie Guo, Tao Chen, Meishan Zhang

Frontiers Comput. Sci., 2023

Formalizing UML State Machines for Automated Verification - A Survey.

Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong

ACM Comput. Surv., 2023

FuzzJIT: Oracle-Enhanced Fuzzing for JavaScript Engine JIT Compiler.

Junjie Wang, Zhiyi Zhang, Shuang Liu, Xiaoning Du, Junjie Chen

Proceedings of the 32nd USENIX Security Symposium, 2023

MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure.

Haoyu Wang, Junjie Chen, Chuyue Xie, Shuang Liu, Zan Wang, Qingchao Shen, Yingquan Zhao

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

An Empirical Study on AST-level mutation-based fuzzing techniques for JavaScript Engines.

Song Tang, Shuang Liu, Junjie Wang, Xiangwei Zhang

Proceedings of the 14th Asia-Pacific Symposium on Internetware, 2023

Regression Fuzzing for Deep Learning Systems.

Hanmo You, Zan Wang, Junjie Chen, Shuang Liu, Shuochuan Li

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

A Programmable Logic-in-Memory Architecture Based on 22nm Fully DepletedSilicon on Insulator Technology.

Yihe Liu, Junjie Wang, Shuang Liu, Mingyuan Sun, Kai Tang, Guohui Ren, Xindi Zhao, Mingliang Sun, Yang Liu

Proceedings of the International Conference on Electronics, 2023

A Pilot Study on Dialogue-Level Dependency Parsing for Chinese.

Gongyao Jiang, Shuang Liu, Meishan Zhang, Min Zhang

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022

Fake news detection via knowledgeable prompt learning.

Gongyao Jiang, Shuang Liu, Yu Zhao, Yueheng Sun, Meishan Zhang

Inf. Process. Manag., 2022

Natural Test Generation for Precise Testing of Question Answering Software.

Qingchao Shen, Junjie Chen, Jie M. Zhang, Haoyu Wang, Shuang Liu, Menghan Tian

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Reducing Malware labeling Efforts Through Efficient Prototype Selection.

Guanhong Chen, Shuang Liu

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

2021

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning.

Yoriyuki Yamagata, Shuang Liu, Takumi Akazaki, Yihai Duan, Jianye Hao

IEEE Trans. Software Eng., 2021

Have You been Properly Notified? Automatic Compliance Analysis of Privacy Policy Text with GDPR Article 13.

Shuang Liu, Baiyang Zhao, Renjie Guo, Guozhu Meng, Fan Zhang, Meishan Zhang

Proceedings of the WWW '21: The Web Conference 2021, 2021

A comprehensive study on learning-based PE malware family classification methods.

Yixuan Ma, Shuang Liu, Jiajun Jiang, Guanhong Chen, Keqiu Li

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing.

Yanzhou Mu, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, Xiang Chen

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning.

Shaohua Zhang, Shuang Liu, Jun Sun, Yuqi Chen, Wenzhi Huang, Jinyi Liu, Jian Liu, Jianye Hao

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Automated synthesis of local time requirement for service composition.

Étienne André, Tian Huat Tan, Manman Chen, Shuang Liu, Jun Sun, Yang Liu, Jin Song Dong

Softw. Syst. Model., 2020

APPCorp: A Corpus for Android Privacy Policy Document Structure Analysis.

Shuang Liu, Renjie Guo, Baiyang Zhao, Tao Chen, Meishan Zhang

CoRR, 2020

Deep learning library testing via effective model generation.

Zan Wang, Ming Yan, Junjie Chen, Shuang Liu, Dongdi Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Towards Generating Thread-Safe Classes Automatically.

Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

What Makes Open Source Software Projects Impactful: A Data-Driven Approach.

Huaiwei Yang, Shuang Liu, Lin Gui, Yongxin Zhao, Jun Sun, Junjie Chen

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

IFIX: Fixing Concurrency Bugs While They Are Introduced.

Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks.

Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Ting Dai

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

2019

LoopFix: an approach to automatic repair of buggy loops.

Weichao Wang, Zhaopeng Meng, Zan Wang, Shuang Liu, Jianye Hao

J. Syst. Softw., 2019

There is Limited Correlation between Coverage and Robustness for Deep Neural Networks.

Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Dai Ting

CoRR, 2019

Attention-based recurrent neural network for influenza epidemic prediction.

Xianglei Zhu, Bofeng Fu, Yaodong Yang, Yu Ma, Jianye Hao, Siqi Chen, Shuang Liu, Tiegang Li, Sen Liu, Weiming Guo, Zhenyu Liao

BMC Bioinform., 2019

MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes.

Zan Wang, Yingquan Zhao, Shuang Liu, Jun Sun, Xiang Chen, Huarui Lin

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

TECCD: A Tree Embedding Approach for Code Clone Detection.

Yi Gao, Zan Wang, Shuang Liu, Lin Yang, Wei Sang, Yuanfang Cai

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

Adaptive Randomized Scheduling for Concurrency Bug Detection.

Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun, Yingquan Zhao

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software.

Yongxin Zhao, Xiujuan Zhang, Ling Shi, Gan Zeng, Feng Sheng, Shuang Liu

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

PFix: fixing concurrency bugs based on memory access patterns.

Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, Guangning Wei

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Attention-Based Recurrent Multi-Channel Neural Network for Influenza Epidemic Prediction.

Bofeng Fu, Yaodong Yang, Yu Ma, Jianye Hao, Siqi Chen, Shuang Liu, Tiegang Li, Zhenyu Liao, Xianglei Zhu

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2018

2017

JSFox: integrating static and dynamic type analysis of JavaScript programs.

Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun

Proceedings of the 39th International Conference on Software Engineering, 2017

Towards Solving Decision Making Problems Using Probabilistic Model Checking.

Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

Improving Quality of Use Case Documents through Learning and User Interaction.

Shuang Liu, Jun Sun, Hao Xiao, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Towards Using Concurrent Java API Correctly.

Shuang Liu, Guangdong Bai, Jun Sun, Jin Song Dong

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2014

Multiple sub-hyper-spheres support vector machine for multi-class classification.

Shuang Liu, Peng Chen, Keqiu Li

Int. J. Wavelets Multiresolution Inf. Process., 2014

Automatic early defects detection in use case documents.

Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin Song Dong, Xinyu Wang

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

USMMC: a self-contained model checker for UML state machines.

Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

A Formal Semantics for Complete UML State Machines with Communications.

Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013