About Me
I am a PhD candidate in the Computer Science & Engineering (CSE) department at UC San Diego, where I work on my research on Programming Languages with my advisor Prof. Ranjit Jhala. My current research interests focus on building tools that make software development, programming and debugging easier. In that end, I work on Automated Program Repair and Synthesis to build fast and reliable tools drawing inspiration from traditional Programming Languages (PL) research and state-of-the-art Machine Learning (ML) approaches.
Previously, I did my undergraduate studies on Electrical and Computer Engineering at National Technical University of Athens, where I also worked on my thesis on “Resumption Monad Transformers and their Applications in the Semantics of Concurrency” under the supervision of Prof. Nikolaos Papaspyrou.
My name is Georgios or Yiorgos (Greek: Γεώργιος or Γιώργος) but you can also call me George. I grew up in Kalamata, a sleepy beach town in Greece. In my free time I enjoy playing basketball or hanging out with friends. Sometimes, I also do some oil painting or drawing.
Research
My most recent publications include:
- Shuvendu K Lahiri, Aaditya Naik, Georgios Sakkas*, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang and Jianfeng Gao (* equal contribution). “Interactive Code Generation via Test-Driven User-Intent Formalization”, arXiv preprint Aug. 2022 (Updated version submitted to ICSE 2023). Link to paper.
- Georgios Sakkas, Madeline Endres, Philip J. Guo, Westley Weimer, Ranjit Jhala. “Seq2Parse: Neurosymbolic Parse Error Repair”, Proceedings of the ACM on Programming Languages 6, Article 167 (OOPSLA) 2022. Link to paper.
- Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala. “Type Error Feedback via Analytic Program Repair”, Programming Languages Design and Implementation (PLDI) 2020: Pages 16-30. Link to paper.
- Benjamin Cosman, Madeline Endres, Georgios Sakkas, Leon Medvinsky, Yao-Yuan Yang, Ranjit Jhala, Kamalika Chaudhuri, Westley Weimer. “PABLO: Helping Novices Debug Python Code Through Data-Driven Fault Localization”, Special Interest Group on Computer Science Education (SIGCSE) Technical Symposium 2020
- Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer. “InFix: Automatically Repairing Novice Program Inputs”, Automated Software Engineering (ASE) 2019
- Spyros K. Chandrinos, Georgios Sakkas, Nikos D. Lagaros. “AIRMS: A Risk Management Tool using Machine Learning”, Journal of Expert Systems with Applications, Expert Systems with Applications, Volume 105, 1 September 2018, Pages 34-48
Working & Research Experience
My most recent resume is here: Georgios Sakkas’ CV