Georgian-Vlad Saioc

According to our database, Georgian-Vlad Saioc authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

DR.FIX: Automatically Fixing Data Races at Industry Scale.

Farnaz Behrang, Zhizhou Zhang, Georgian-Vlad Saioc, Peng Liu, Milind Chabbi

Proc. ACM Program. Lang., 2025

Dynamic Partial Deadlock Detection and Recovery via Garbage Collection.

Georgian-Vlad Saioc, I-Ting Angelina Lee, Anders Møller, Milind Chabbi

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024

Automated Verification of Parametric Channel-Based Process Communication.

Georgian-Vlad Saioc, Julien Lange, Anders Møller

Proc. ACM Program. Lang., 2024

Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: A Dynamic Analysis Approach.

Georgian-Vlad Saioc, Dmitriy Shirchenko, Milind Chabbi

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2024

2022

A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages.

Georgian-Vlad Saioc, Hans Hüttel

Proceedings of the Sixth Working Formal Methods Symposium, 2022

Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation.

Oskar Haarklou Veileborg, Georgian-Vlad Saioc, Anders Møller

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022