Georgios Sakkas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Neurosymbolic Modular Refinement Type Inference. | Georgios Sakkas, Pratyush Sahu, Kyeling Ong, Ranjit Jhala |
| 2024 | ICSE | Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. | Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri |
| 2024 | IGARSS | Utilisation of Unmanned Aerial Vehicles and Mesh in the Sky Wireless Communication System in Wildfire Management. | Garik Markarian, Georgios Sakkas, Nikolaos Kalapodis, Krishna Chandramouli, Lovorko Maric |
| 2020 | PLDI | Type error feedback via analytic program repair. | Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala |
| 2020 | SIGCSE | PABLO: Helping Novices Debug Python Code Through Data-Driven Fault Localization. | Benjamin Cosman, Madeline Endres, Georgios Sakkas, Leon Medvinsky, Yao-Yuan Yang, Ranjit Jhala, Kamalika Chaudhuri, Westley Weimer |