6
Publications
179
Citations
6
H-Index
2018
Active since
Georgios K. Sakkas is an author at University of California San Diego specializing in engineering, computer science, and software analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringData ScienceFormal MethodsMachine LearningAutomated Reasoning
Publications per year
2018–2024
6
6
Type error feedback via analytic program repair
Georgios K. Sakkas, Madeline Endres, Benjamin Cosman et al. · 2020 · 24 citations · Full text
InFix: Automatically Repairing Novice Program Inputs
Madeline Endres, Georgios K. Sakkas, Benjamin Cosman et al. · 2019 · 12 citations
Software Maintenance, Artificial Intelligence, Engineering +19
Rows per page
1–5 of 6