Georgios Sakkas

According to our database, Georgios Sakkas authored at least 6 papers between 2018 and 2022.

Collaborative distances:

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

2022

Seq2Parse: neurosymbolic parse error repair.

Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, Ranjit Jhala

Proc. ACM Program. Lang., 2022

Interactive Code Generation via Test-Driven User-Intent Formalization.

Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao

CoRR, 2022

2020

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

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Type error feedback via analytic program repair.

Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

InFix: Automatically Repairing Novice Program Inputs.

Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

AIRMS: A risk management tool using machine learning.

Spyros K. Chandrinos, Georgios Sakkas, Nikos D. Lagaros

Expert Syst. Appl., 2018