Shengjian Guo

According to our database, Shengjian Guo authored at least 32 papers between 2015 and 2024.

Collaborative distances:

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

2024

Druto: Upper-Bounding Silent Data Corruption Vulnerability in GPU Applications.

Md Hasanur Rahman, Sheng Di, Shengjian Guo, Xiaoyi Lu, Guanpeng Li, Franck Cappello

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2024

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

Challenging Machine Learning-Based Clone Detectors via Semantic-Preserving Code Transformations.

Weiwei Zhang, Shengjian Guo, Hongyu Zhang, Yulei Sui, Yinxing Xue, Yun Xu

IEEE Trans. Software Eng., 2023

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework.

Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries.

Ningyu He, Zhehao Zhao, Jikai Wang, Yubin Hu, Shengjian Guo, Haoyu Wang, Guangtai Liang, Ding Li, Xiangqun Chen, Yao Guo

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

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, Yao Guo, Xiangqun Chen

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Understanding Concurrency Vulnerabilities in Linux Kernel.

Zunchen Huang, Shengjian Guo, Meng Wu, Chao Wang

CoRR, 2022

SoK: On the Semantic AI Security in Autonomous Driving.

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

CoRR, 2022

Meltdown-type attacks are still feasible in the wall of kernel page-Table isolation.

Yueqiang Cheng, Zhi Zhang, Yansong Gao, Zhaofeng Chen, Shengjian Guo, Qifei Zhang, Rui Mei, Surya Nepal, Yang Xiang

Comput. Secur., 2022

Mitigating Silent Data Corruptions in HPC Applications across Multiple Program Inputs.

Yafan Huang, Shengjian Guo, Sheng Di, Guanpeng Li, Franck Cappello

Proceedings of the SC22: International Conference for High Performance Computing, 2022

Hardening selective protection across multiple program inputs for HPC applications.

Yafan Huang, Shengjian Guo, Sheng Di, Guanpeng Li, Franck Cappello

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

Detecting multi-sensor fusion errors in advanced driver-assistance systems.

Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, Baishakhi Ray

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

A Survey on Autonomous Driving System Simulators.

Jixiang Zhou, Yi Zhang, Shengjian Guo, Yan Guo

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Message from the RAIS 2022 Chairs.

Yan-Fu Li, Yinxing Xue, Lei Ma, Shengjian Guo, Guozhu Meng

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

SimLane: A Risk-Orientated Benchmark for Lane Detection.

Xinyang Zhang, Zhisheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021

Detecting Safety Problems of Multi-Sensor Fusion in Autonomous Driving.

Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, Baishakhi Ray

CoRR, 2021

Coverage-based Scene Fuzzing for Virtual Autonomous Driving Testing.

Zhisheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li

CoRR, 2021

PEPPA-X: finding program test inputs to bound silent data corruption vulnerability in HPC applications.

Md Hasanur Rahman, Aabid Shamji, Shengjian Guo, Guanpeng Li

Proceedings of the International Conference for High Performance Computing, 2021

Disclosing the Fragility Problem of Virtual Safety Testing for Autonomous Driving Systems.

Zhisheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

2020

Exposing cache timing side-channel leaks through out-of-order symbolic execution.

Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, Huibo Wang

Proc. ACM Program. Lang., 2020

MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs.

Hongxu Chen, Shengjian Guo, Yinxing Xue, Yulei Sui, Cen Zhang, Yuekang Li, Haijun Wang, Yang Liu

Proceedings of the 29th USENIX Security Symposium, 2020

SAVIOR: Towards Bug-Driven Hybrid Testing.

Yaohui Chen, Peng Li, Jun Xu, Shengjian Guo, Rundong Zhou, Yulong Zhang, Tao Wei, Long Lu

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

SpecuSym: speculative symbolic execution for cache timing leak detection.

Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Efficient Symbolic Execution of Concurrent Software.

Shengjian Guo

PhD thesis, 2019

NoDoze: Combatting Threat Alert Fatigue with Automated Provenance Triage.

Wajih Ul Hassan, Shengjian Guo, Ding Li, Zhengzhang Chen, Kangkook Jee, Zhichun Li, Adam Bates

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2018

Eliminating Path Redundancy via Postconditioned Symbolic Execution.

Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao

IEEE Trans. Software Eng., 2018

Adversarial symbolic execution for detecting concurrency-related cache timing leaks.

Shengjian Guo, Meng Wu, Chao Wang

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

Eliminating timing side-channel leaks using program repair.

Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017

Symbolic execution of programmable logic controller code.

Shengjian Guo, Meng Wu, Chao Wang

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Conc-iSE: incremental symbolic execution of concurrent software.

Shengjian Guo, Markus Kusano, Chao Wang

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Assertion guided symbolic execution of multithreaded programs.

Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Postconditioned Symbolic Execution.

Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao

Proceedings of the 8th IEEE International Conference on Software Testing, 2015