Postconditioned Symbolic Execution. - Qiuping Yi; Zijiang Yang 006; Shengjian Guo; Chao Wang 001; Jian Liu 008; Chen Zhao (ICST, 2015)

Assertion guided symbolic execution of multithreaded programs. - Shengjian Guo; Markus Kusano; Chao Wang 001; Zijiang Yang 006; Aarti Gupta (ESEC/SIGSOFT FSE, 2015)

Conc-iSE: incremental symbolic execution of concurrent software. - Shengjian Guo; Markus Kusano; Chao Wang 001 (ASE, 2016)

Symbolic execution of programmable logic controller code. - Shengjian Guo; Meng Wu 001; Chao Wang 001 (ESEC/SIGSOFT FSE, 2017)

Eliminating timing side-channel leaks using program repair. - Meng Wu 001; Shengjian Guo; Patrick Schaumont; Chao Wang 001 (ISSTA, 2018)

Adversarial symbolic execution for detecting concurrency-related cache timing leaks. - Shengjian Guo; Meng Wu 001; Chao Wang 001 (ESEC/SIGSOFT FSE, 2018)

Eliminating Path Redundancy via Postconditioned Symbolic Execution. - Qiuping Yi; Zijiang Yang 006; Shengjian Guo; Chao Wang 001; Jian Liu 008; Chen Zhao (IEEE Trans. Software Eng., 2018)

NoDoze: Combatting Threat Alert Fatigue with Automated Provenance Triage. - Wajih Ul Hassan; Shengjian Guo; Ding Li 001; Zhengzhang Chen; Kangkook Jee; Zhichun Li; Adam Bates 001 (NDSS, 2019)

Efficient Symbolic Execution of Concurrent Software. - Shengjian Guo (2019)

SpecuSym: speculative symbolic execution for cache timing leak detection. - Shengjian Guo; Yueqi Chen 001; Peng Li; Yueqiang Cheng; Huibo Wang; Meng Wu; Zhiqiang Zuo 002 (ICSE, 2020)

SAVIOR: Towards Bug-Driven Hybrid Testing. - Yaohui Chen 001; Peng Li; Jun Xu 024; Shengjian Guo; Rundong Zhou; Yulong Zhang; Tao Wei 002; Long Lu (SP, 2020)

MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs. - Hongxu Chen 001; Shengjian Guo; Yinxing Xue; Yulei Sui; Cen Zhang; Yuekang Li; Haijun Wang 002; Yang Liu 003 (USENIX Security Symposium, 2020)

Exposing cache timing side-channel leaks through out-of-order symbolic execution. - Shengjian Guo; Yueqi Chen 001; Jiyong Yu; Meng Wu; Zhiqiang Zuo 002; Peng Li; Yueqiang Cheng; Huibo Wang (Proc. ACM Program. Lang., 2020)

Disclosing the Fragility Problem of Virtual Safety Testing for Autonomous Driving Systems. - Zhisheng Hu; Shengjian Guo; Zhenyu Zhong; Kang Li 001 (ISSRE Workshops, 2021)

PEPPA-X: finding program test inputs to bound silent data corruption vulnerability in HPC applications. - Md Hasanur Rahman 001; Aabid Shamji; Shengjian Guo; Guanpeng Li (SC, 2021)

Coverage-based Scene Fuzzing for Virtual Autonomous Driving Testing. - Zhisheng Hu; Shengjian Guo; Zhenyu Zhong; Kang Li 001 (CoRR, 2021)

Detecting Safety Problems of Multi-Sensor Fusion in Autonomous Driving. - Ziyuan Zhong; Zhisheng Hu; Shengjian Guo; Xinyang Zhang 001; Zhenyu Zhong; Baishakhi Ray (CoRR, 2021)

SimLane: A Risk-Orientated Benchmark for Lane Detection. - Xinyang Zhang 001; Zhisheng Hu; Shengjian Guo; Zhenyu Zhong; Kang Li 001 (DSN (Supplements), 2022)

Message from the RAIS 2022 Chairs. - Yan-Fu Li; Yinxing Xue; Lei Ma 003; Shengjian Guo; Guozhu Meng (ISSRE Workshops, 2022)

A Survey on Autonomous Driving System Simulators. - Jixiang Zhou; Yi Zhang; Shengjian Guo; Yan Guo (ISSRE Workshops, 2022)

Detecting multi-sensor fusion errors in advanced driver-assistance systems. - Ziyuan Zhong; Zhisheng Hu; Shengjian Guo; Xinyang Zhang 001; Zhenyu Zhong; Baishakhi Ray (ISSTA, 2022)

Hardening selective protection across multiple program inputs for HPC applications. - Yafan Huang; Shengjian Guo; Sheng Di; Guanpeng Li; Franck Cappello (PPoPP, 2022)

Mitigating Silent Data Corruptions in HPC Applications across Multiple Program Inputs. - Yafan Huang; Shengjian Guo; Sheng Di; Guanpeng Li; Franck Cappello (SC, 2022)

Meltdown-type attacks are still feasible in the wall of kernel page-Table isolation. - Yueqiang Cheng; Zhi Zhang 001; Yansong Gao 001; Zhaofeng Chen; Shengjian Guo; Qifei Zhang 001; Rui Mei; Surya Nepal; Yang Xiang 001 (Comput. Secur., 2022)

SoK: On the Semantic AI Security in Autonomous Driving. - Junjie Shen 001; Ningfei Wang; Ziwen Wan; Yunpeng Luo; Takami Sato; Zhisheng Hu; Xinyang Zhang 001; Shengjian Guo; Zhenyu Zhong; Kang Li 001; Ziming Zhao 001; Chunming Qiao; et al. (CoRR, 2022)

Understanding Concurrency Vulnerabilities in Linux Kernel. - Zunchen Huang; Shengjian Guo; Meng Wu 001; Chao Wang 001 (CoRR, 2022)

SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution. - Yuanpeng Wang; Ziqi Zhang; Ningyu He; Zhineng Zhong; Shengjian Guo; Qinkun Bao; Ding Li 001; Yao Guo 001; Xiangqun Chen (CCS, 2023)

Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. - Ningyu He; Zhehao Zhao; Jikai Wang; Yubin Hu 003; Shengjian Guo; Haoyu Wang 001; Guangtai Liang; Ding Li 001; Xiangqun Chen; Yao Guo 001 (ISSTA, 2023)

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework. - Zewen Sun; Duanchen Xu; Yiyu Zhang; Yun Qi; Yueyang Wang; Zhiqiang Zuo 002; Zhaokang Wang; Yue Li 006; Xuandong Li; Qingda Lu; Wenwen Peng; Shengjian Guo (ESEC/SIGSOFT FSE, 2023)

Challenging Machine Learning-Based Clone Detectors via Semantic-Preserving Code Transformations. - Weiwei Zhang; Shengjian Guo; Hongyu Zhang 002; Yulei Sui; Yinxing Xue; Yun Xu (IEEE Trans. Software Eng., 2023)

A Survey on Automated Driving System Testing: Landscapes and Trends. - Shuncheng Tang; Zhenya Zhang; Yi Zhang; Jixiang Zhou; Yan Guo; Shuang Liu 007; Shengjian Guo; Yan-Fu Li; Lei Ma 003; Yinxing Xue; Yang Liu 003 (ACM Trans. Softw. Eng. Methodol., 2023)

Druto: Upper-Bounding Silent Data Corruption Vulnerability in GPU Applications. - Md Hasanur Rahman 001; Sheng Di; Shengjian Guo; Xiaoyi Lu; Guanpeng Li; Franck Cappello (IPDPS, 2024)

Cloud Resource Protection via Automated Security Property Reasoning. - Zhixing Xu; Shengjian Guo; Oksana Tkachuk; Saeed Nejati; Niloofar Razavi; George Argyros (ASE, 2024)

Scaling Inter-procedural Dataflow Analysis on the Cloud. - Zewen Sun; Yujin Zhang; Duanchen Xu; Yiyu Zhang; Yun Qi; Yueyang Wang; Yi Li; Zhaokang Wang; Yue Li 006; Xuandong Li; Zhiqiang Zuo 002; Qingda Lu; et al. (CoRR, 2024)