Georgios Sakkas

11 papers A* 3A 1C 1Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Neurosymbolic Modular Refinement Type Inference.
ICSE
Georgios Sakkas, Pratyush Sahu, Kyeling Ong, Ranjit Jhala
2024 — conf
Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation.
ICSE Companion
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
2024 J jnl
LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation.
IEEE Trans. Software Eng.
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
2024 J jnl
LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation.
CoRR
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
2024 C conf
Utilisation of Unmanned Aerial Vehicles and Mesh in the Sky Wireless Communication System in Wildfire Management.
IGARSS
Garik Markarian, Georgios Sakkas, Nikolaos Kalapodis, Krishna Chandramouli, Lovorko Maric
2022 J jnl
Interactive Code Generation via Test-Driven User-Intent Formalization.
CoRR
Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
2022 J jnl
Seq2Parse: neurosymbolic parse error repair.
Proc. ACM Program. Lang.
Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, Ranjit Jhala
2020 A conf
PABLO: Helping Novices Debug Python Code Through Data-Driven Fault Localization.
SIGCSE
Benjamin Cosman, Madeline Endres, Georgios Sakkas, Leon Medvinsky, Yao-Yuan Yang, Ranjit Jhala, Kamalika Chaudhuri, Westley Weimer
2020 A* conf
Type error feedback via analytic program repair.
PLDI
Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala
2019 A* conf
InFix: Automatically Repairing Novice Program Inputs.
ASE
Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer
2018 J jnl
AIRMS: A risk management tool using machine learning.
Expert Syst. Appl.
Spyros K. Chandrinos, Georgios Sakkas, Nikos D. Lagaros