Skip to content

Shengjian Guo

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

15

Venues

10

Active years

2015–2023

Best venue rank

A*

Where they publish

Papers

15 indexed papers, newest first.

YearVenueTitleAuthors
2023CCSSymGX: 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
2023ISSTAEunomia: 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
2022DSNSimLane: A Risk-Orientated Benchmark for Lane Detection.Xinyang Zhang, Zhisheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li
2022ISSREMessage from the RAIS 2022 Chairs.Yan-Fu Li, Yinxing Xue, Lei Ma, Shengjian Guo, Guozhu Meng
2022ISSREA Survey on Autonomous Driving System Simulators.Jixiang Zhou, Yi Zhang, Shengjian Guo, Yan Guo
2022ISSTADetecting multi-sensor fusion errors in advanced driver-assistance systems.Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, Baishakhi Ray
2022PPoPPHardening selective protection across multiple program inputs for HPC applications.Yafan Huang, Shengjian Guo, Sheng Di, Guanpeng Li, Franck Cappello
2022SCMitigating Silent Data Corruptions in HPC Applications across Multiple Program Inputs.Yafan Huang, Shengjian Guo, Sheng Di, Guanpeng Li, Franck Cappello
2021ISSREDisclosing the Fragility Problem of Virtual Safety Testing for Autonomous Driving Systems.Zhisheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li
2021SCPEPPA-X: finding program test inputs to bound silent data corruption vulnerability in HPC applications.Md Hasanur Rahman, Aabid Shamji, Shengjian Guo, Guanpeng Li
2020ICSESpecuSym: speculative symbolic execution for cache timing leak detection.Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo
2020SPSAVIOR: Towards Bug-Driven Hybrid Testing.Yaohui Chen, Peng Li, Jun Xu, Shengjian Guo, Rundong Zhou, Yulong Zhang, Tao Wei, Long Lu
2019NDSSNoDoze: Combatting Threat Alert Fatigue with Automated Provenance Triage.Wajih Ul Hassan, Shengjian Guo, Ding Li, Zhengzhang Chen, Kangkook Jee, Zhichun Li, Adam Bates
2018ISSTAEliminating timing side-channel leaks using program repair.Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang
2015ICSTPostconditioned Symbolic Execution.Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao