Shengjian Guo

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