Georgian-Vlad Saioc

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

Collaborative distances:

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

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