Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. - Oskar Haarklou Veileborg; Georgian-Vlad Saioc; Anders Møller (ASE, 2022)

A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages. - Georgian-Vlad Saioc; Hans Hüttel (FROM, 2022)

Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: A Dynamic Analysis Approach. - Georgian-Vlad Saioc; Dmitriy Shirchenko; Milind Chabbi (CGO, 2024)

Automated Verification of Parametric Channel-Based Process Communication. - Georgian-Vlad Saioc; Julien Lange; Anders Møller (Proc. ACM Program. Lang., 2024)

Dynamic Partial Deadlock Detection and Recovery via Garbage Collection. - Georgian-Vlad Saioc; I-Ting Angelina Lee; Anders Møller; Milind Chabbi (ASPLOS (2), 2025)

DR.FIX: Automatically Fixing Data Races at Industry Scale. - Farnaz Behrang; Zhizhou Zhang 002; Georgian-Vlad Saioc; Peng Liu; Milind Chabbi (Proc. ACM Program. Lang., 2025)