Shengjian Guo

Orcid: 0000-0001-9145-9279

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Druto: Upper-Bounding Silent Data Corruption Vulnerability in GPU Applications.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2024

2023
A Survey on Automated Driving System Testing: Landscapes and Trends.
ACM Trans. Softw. Eng. Methodol., September, 2023

Challenging Machine Learning-Based Clone Detectors via Semantic-Preserving Code Transformations.
IEEE Trans. Software Eng., 2023

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework.
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.
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.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022
Understanding Concurrency Vulnerabilities in Linux Kernel.
CoRR, 2022

SoK: On the Semantic AI Security in Autonomous Driving.
CoRR, 2022

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

Mitigating Silent Data Corruptions in HPC Applications across Multiple Program Inputs.
Proceedings of the SC22: International Conference for High Performance Computing, 2022

Hardening selective protection across multiple program inputs for HPC applications.
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.
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.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Message from the RAIS 2022 Chairs.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

SimLane: A Risk-Orientated Benchmark for Lane Detection.
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.
CoRR, 2021

Coverage-based Scene Fuzzing for Virtual Autonomous Driving Testing.
CoRR, 2021

PEPPA-X: finding program test inputs to bound silent data corruption vulnerability in HPC applications.
Proceedings of the International Conference for High Performance Computing, 2021

Disclosing the Fragility Problem of Virtual Safety Testing for Autonomous Driving Systems.
Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

2020
Exposing cache timing side-channel leaks through out-of-order symbolic execution.
Proc. ACM Program. Lang., 2020

MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs.
Proceedings of the 29th USENIX Security Symposium, 2020

SAVIOR: Towards Bug-Driven Hybrid Testing.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

SpecuSym: speculative symbolic execution for cache timing leak detection.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Efficient Symbolic Execution of Concurrent Software.
PhD thesis, 2019

NoDoze: Combatting Threat Alert Fatigue with Automated Provenance Triage.
Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

2018
Eliminating Path Redundancy via Postconditioned Symbolic Execution.
IEEE Trans. Software Eng., 2018

Adversarial symbolic execution for detecting concurrency-related cache timing leaks.
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.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017
Symbolic execution of programmable logic controller code.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016
Conc-iSE: incremental symbolic execution of concurrent software.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015
Assertion guided symbolic execution of multithreaded programs.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Postconditioned Symbolic Execution.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015


  Loading...