News

• 03/26: StageSAT paper is conditionally accepted at PLDI’26.
• 01/26: StageSAT: Paper on formulating floating-point satisfiability as a series of optimization problems is published as an arXiv report. This enables (floating-point) SAT solving with significantly higher scalability and accuracy.
• 08/25: Prof. Zhoulai Fu from SUNY Korea joins SSRG for AY’25-26.
• 08/25: Our MS student, Srikar Puranam, has successfully defended his MS thesis on Linux eBPF fuzzing and has joined SSRG as a PhD student on the MESA project.
• 05/25: AWD: Paper on augmented weak distance (AWD) for bounds checking is published as an arXiv report. AWD adds path input affinity and a monotonic convergence condition to smooth the search landscape, enabling massive scaling to SV-COMP-style bounds checking.
• 06/24: Prof. Zhoulai Fu from SUNY Korea visits SSRG for Summer’24.