AIRMS: A Risk Management Tool Using Machine Learning SK Chandrinos, G Sakkas, ND Lagaros Expert Systems with Applications 105, 34-48, 2018 | 55 | 2018 |
Type Error Feedback via Analytic Program Repair G Sakkas, M Endres, B Cosman, W Weimer, R Jhala Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 33 | 2020 |
Interactive Code Generation via Test-Driven User-Intent Formalization SK Lahiri, A Naik, G Sakkas, P Choudhury, C von Veh, M Musuvathi, ... arXiv preprint arXiv:2208.05950, 2022 | 31 | 2022 |
InFix: Automatically Repairing Novice Program Inputs M Endres, G Sakkas, B Cosman, R Jhala, W Weimer 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 14 | 2019 |
PABLO: Helping Novices Debug Python Code Through Data-Driven Fault Localization B Cosman, M Endres, G Sakkas, L Medvinsky, YY Yang, R Jhala, ... Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020 | 11 | 2020 |
Seq2Parse: Neurosymbolic Parse Error Repair G Sakkas, M Endres, PJ Guo, W Weimer, R Jhala Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1180-1206, 2022 | 5 | 2022 |
The Resumption Monad Transformer and its Implementation in JavaScript G Sakkas | | 2018 |