Search filters

List of works by Tian Cong

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

scientific article published on 26 March 2024

Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback

scientific article published on 18 October 2024

Full View Maximum Coverage of Camera Sensors: Moving Object Monitoring

scientific article published on 26 February 2024

Prioritized Constraint-Aided Dynamic Partial-Order Reduction

scientific article published on 06 January 2023

Paulina is supported by:

About Paulina

Help