default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShengjian Guo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c22]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: 582-594- 2023
- [j5]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): 124:1-124:62 (2023) - [j4]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): 3052-3070 (2023) - [c21]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: 2710-2724 - [c20]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: 385-397 - [c19]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: 1431-1443 - [i12]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 abs/2304.07204 (2023) - 2022
- [j3]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: 102556 (2022) - [c18]Xinyang Zhang, Zhisheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li:
SimLane: A Risk-Orientated Benchmark for Lane Detection. DSN (Supplements) 2022: 9-12 - [c17]Jixiang Zhou, Yi Zhang, Shengjian Guo, Yan Guo:
A Survey on Autonomous Driving System Simulators. ISSRE Workshops 2022: 301-306 - [c16]Yan-Fu Li, Yinxing Xue, Lei Ma, Shengjian Guo, Guozhu Meng:
Message from the RAIS 2022 Chairs. ISSRE Workshops 2022: xxxviii - [c15]Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, Baishakhi Ray:
Detecting multi-sensor fusion errors in advanced driver-assistance systems. ISSTA 2022: 493-505 - [c14]Yafan Huang, Shengjian Guo, Sheng Di, Guanpeng Li, Franck Cappello:
Hardening selective protection across multiple program inputs for HPC applications. PPoPP 2022: 437-438 - [c13]Yafan Huang, Shengjian Guo, Sheng Di, Guanpeng Li, Franck Cappello:
Mitigating Silent Data Corruptions in HPC Applications across Multiple Program Inputs. SC 2022: 17:1-17:14 - [i11]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 abs/2203.05314 (2022) - [i10]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 abs/2206.05961 (2022) - [i9]Zunchen Huang, Shengjian Guo, Meng Wu, Chao Wang:
Understanding Concurrency Vulnerabilities in Linux Kernel. CoRR abs/2212.05438 (2022) - 2021
- [c12]Zhisheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li:
Disclosing the Fragility Problem of Virtual Safety Testing for Autonomous Driving Systems. ISSRE Workshops 2021: 387-392 - [c11]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: 80 - [i8]Zhisheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li:
Coverage-based Scene Fuzzing for Virtual Autonomous Driving Testing. CoRR abs/2106.00873 (2021) - [i7]Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, Baishakhi Ray:
Detecting Safety Problems of Multi-Sensor Fusion in Autonomous Driving. CoRR abs/2109.06404 (2021) - [i6]Weiwei Zhang, Shengjian Guo, Hongyu Zhang, Yulei Sui, Yinxing Xue, Yun Xu:
Challenging Machine Learning-based Clone Detectors via Semantic-preserving Code Transformations. CoRR abs/2111.10793 (2021) - 2020
- [j2]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): 147:1-147:32 (2020) - [c10]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: 1235-1247 - [c9]Yaohui Chen, Peng Li, Jun Xu, Shengjian Guo, Rundong Zhou, Yulong Zhang, Tao Wei, Long Lu:
SAVIOR: Towards Bug-Driven Hybrid Testing. SP 2020: 1580-1596 - [c8]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: 2325-2342 - [i5]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 abs/2007.15943 (2020)
2010 – 2019
- 2019
- [b1]Shengjian Guo:
Efficient Symbolic Execution of Concurrent Software. Virginia Tech, Blacksburg, VA, USA, 2019 - [c7]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 - [i4]Yaohui Chen, Peng Li, Jun Xu, Shengjian Guo, Rundong Zhou, Yulong Zhang, Tao Wei, Long Lu:
SAVIOR: Towards Bug-Driven Hybrid Testing. CoRR abs/1906.07327 (2019) - [i3]Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo:
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection. CoRR abs/1911.00507 (2019) - 2018
- [j1]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): 25-43 (2018) - [c6]Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang:
Eliminating timing side-channel leaks using program repair. ISSTA 2018: 15-26 - [c5]Shengjian Guo, Meng Wu, Chao Wang:
Adversarial symbolic execution for detecting concurrency-related cache timing leaks. ESEC/SIGSOFT FSE 2018: 377-388 - [i2]Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang:
Eliminating Timing Side-Channel Leaks using Program Repair. CoRR abs/1806.02444 (2018) - [i1]Shengjian Guo, Meng Wu, Chao Wang:
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks. CoRR abs/1807.03280 (2018) - 2017
- [c4]Shengjian Guo, Meng Wu, Chao Wang:
Symbolic execution of programmable logic controller code. ESEC/SIGSOFT FSE 2017: 326-336 - 2016
- [c3]Shengjian Guo, Markus Kusano, Chao Wang:
Conc-iSE: incremental symbolic execution of concurrent software. ASE 2016: 531-542 - 2015
- [c2]Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao:
Postconditioned Symbolic Execution. ICST 2015: 1-10 - [c1]Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta:
Assertion guided symbolic execution of multithreaded programs. ESEC/SIGSOFT FSE 2015: 854-865
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
