Search filters

List of works by Qingkai Shi

<scp>Anchor</scp> : Fast and Precise Value-flow Analysis for Containers via Memory Orientation

scientific article published on 04 October 2022

Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing

scientific article published on 12 February 2024

FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation

scientific article published on 11 September 2024

Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis

scientific article published on 20 June 2024

PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model

scientific article published on 30 November 2023

ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation

scientific article published on 18 October 2024

Paulina is supported by:

About Paulina

Help