Shengjian Guo

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 39

Top Topics

Test Generation

Simulated Annealing Algorithm

Symbolic Execution

Top Venues

ESEC/SIGSOFT FSE

ISSRE Workshops

Publications

Md Hasanur Rahman, Sheng Di, Shengjian Guo, Xiaoyi Lu, Guanpeng Li, Franck Cappello
Druto: Upper-Bounding Silent Data Corruption Vulnerability in GPU Applications. IPDPS (2024)
Yuanpeng Wang, Ziqi Zhang, Ningyu He, Zhineng Zhong, Shengjian Guo, Qinkun Bao, Ding Li, Yao Guo, Xiangqun Chen
SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution. CCS (2023)
Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu, Shengjian Guo, Haoyu Wang, Guangtai Liang, Ding Li, Xiangqun Chen, Yao Guo
Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. CoRR (2023)
Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework. ESEC/SIGSOFT FSE (2023)
Weiwei Zhang, Shengjian Guo, Hongyu Zhang, Yulei Sui, Yinxing Xue, Yun Xu
Challenging Machine Learning-Based Clone Detectors via Semantic-Preserving Code Transformations. IEEE Trans. Software Eng. 49 (5) (2023)
Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu, Shengjian Guo, Haoyu Wang, Guangtai Liang, Ding Li, Xiangqun Chen, Yao Guo
Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries. ISSTA (2023)
Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu
A Survey on Automated Driving System Testing: Landscapes and Trends. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Xinyang Zhang, Zhisheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li
SimLane: A Risk-Orientated Benchmark for Lane Detection. DSN (Supplements) (2022)
Yan-Fu Li, Yinxing Xue, Lei Ma, Shengjian Guo, Guozhu Meng
Message from the RAIS 2022 Chairs. ISSRE Workshops (2022)
Junjie Shen, Ningfei Wang, Ziwen Wan, Yunpeng Luo, Takami Sato, Zhisheng Hu, Xinyang Zhang, Shengjian Guo, Zhenyu Zhong, Kang Li, Ziming Zhao, Chunming Qiao, Qi Alfred Chen
SoK: On the Semantic AI Security in Autonomous Driving. CoRR (2022)
Zunchen Huang, Shengjian Guo, Meng Wu, Chao Wang
Understanding Concurrency Vulnerabilities in Linux Kernel. CoRR (2022)
Jixiang Zhou, Yi Zhang, Shengjian Guo, Yan Guo
A Survey on Autonomous Driving System Simulators. ISSRE Workshops (2022)
Yafan Huang, Shengjian Guo, Sheng Di, Guanpeng Li, Franck Cappello
Hardening selective protection across multiple program inputs for HPC applications. PPoPP (2022)
Yafan Huang, Shengjian Guo, Sheng Di, Guanpeng Li, Franck Cappello
Mitigating Silent Data Corruptions in HPC Applications across Multiple Program Inputs. SC (2022)
Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, Baishakhi Ray
Detecting multi-sensor fusion errors in advanced driver-assistance systems. ISSTA (2022)
Yueqiang Cheng, Zhi Zhang, Yansong Gao, Zhaofeng Chen, Shengjian Guo, Qifei Zhang, Rui Mei, Surya Nepal, Yang Xiang
Meltdown-type attacks are still feasible in the wall of kernel page-Table isolation. Comput. Secur. 113 (2022)
Shuncheng Tang, Zhenya Zhang, Yi Zhang, Jixiang Zhou, Yan Guo, Shuang Liu, Shengjian Guo, Yan-Fu Li, Lei Ma, Yinxing Xue, Yang Liu
A Survey on Automated Driving System Testing: Landscapes and Trends. CoRR (2022)
Zhisheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li
Disclosing the Fragility Problem of Virtual Safety Testing for Autonomous Driving Systems. ISSRE Workshops (2021)
Zhisheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li
Coverage-based Scene Fuzzing for Virtual Autonomous Driving Testing. CoRR (2021)
Weiwei Zhang, Shengjian Guo, Hongyu Zhang, Yulei Sui, Yinxing Xue, Yun Xu
Challenging Machine Learning-based Clone Detectors via Semantic-preserving Code Transformations. CoRR (2021)
Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, Baishakhi Ray
Detecting Safety Problems of Multi-Sensor Fusion in Autonomous Driving. CoRR (2021)
Md Hasanur Rahman, Aabid Shamji, Shengjian Guo, Guanpeng Li
PEPPA-X: finding program test inputs to bound silent data corruption vulnerability in HPC applications. SC (2021)
Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang, Yang Liu
MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs. CoRR (2020)
Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo
SpecuSym: speculative symbolic execution for cache timing leak detection. ICSE (2020)
Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, Huibo Wang
Exposing cache timing side-channel leaks through out-of-order symbolic execution. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Yaohui Chen, Peng Li, Jun Xu, Shengjian Guo, Rundong Zhou, Yulong Zhang, Tao Wei, Long Lu
SAVIOR: Towards Bug-Driven Hybrid Testing. IEEE Symposium on Security and Privacy (2020)
Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang, Yang Liu
MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs. USENIX Security Symposium (2020)
Yaohui Chen, Peng Li, Jun Xu, Shengjian Guo, Rundong Zhou, Yulong Zhang, Tao Wei, Long Lu
SAVIOR: Towards Bug-Driven Hybrid Testing. CoRR (2019)
Wajih Ul Hassan, Shengjian Guo, Ding Li, Zhengzhang Chen, Kangkook Jee, Zhichun Li, Adam Bates
NoDoze: Combatting Threat Alert Fatigue with Automated Provenance Triage. NDSS (2019)
Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection. CoRR (2019)
Shengjian Guo, Meng Wu, Chao Wang
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks. CoRR (2018)
Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
Eliminating timing side-channel leaks using program repair. ISSTA (2018)
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao
Eliminating Path Redundancy via Postconditioned Symbolic Execution. IEEE Trans. Software Eng. 44 (1) (2018)
Shengjian Guo, Meng Wu, Chao Wang
Adversarial symbolic execution for detecting concurrency-related cache timing leaks. ESEC/SIGSOFT FSE (2018)
Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
Eliminating Timing Side-Channel Leaks using Program Repair. CoRR (2018)
Shengjian Guo, Meng Wu, Chao Wang
Symbolic execution of programmable logic controller code. ESEC/SIGSOFT FSE (2017)
Shengjian Guo, Markus Kusano, Chao Wang
Conc-iSE: incremental symbolic execution of concurrent software. ASE (2016)
Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta
Assertion guided symbolic execution of multithreaded programs. ESEC/SIGSOFT FSE (2015)
Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao
Postconditioned Symbolic Execution. ICST (2015)