Search filters

List of works by Shengchao Qin

Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?

scientific article published on 26 March 2024

Integrating Probability with Time and Shared-Variable Concurrency

Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

scholarly article by Huibiao Zhu et al published January 2012 in The Journal of Logic and Algebraic Programming

MDM: A Mode Diagram Modeling Framework

PTSC: probability, time and shared-variable concurrency

Parf: Adaptive Parameter Refining for Abstract Interpretation

scientific article published on 18 October 2024

RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support

scientific article published on 12 April 2024

Speeding Up Data Manipulation Tasks with Alternative Implementations

scientific article published on 23 July 2021

Trace Semantics for C++11 Memory Model

scientific article published on 05 June 2024

Paulina is supported by:

About Paulina

Help