๐๐ฉโ๐ซ We are elated to announce that associate professor Ilya Sergey, along with PhD student Kiran Gopinathan ๐ and year 4 Computer Science undergraduate Mayank Keoliya, have earned the prestigious ACM SIGPLAN Distinguished Paper Award ๐ at the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)!๐๐ผ #ACMSIGPLAN #ComputerScience
Their revolutionary paper ๐, โMostly Automated Proof Repair for Verified Libraries,โ tackles the formidable challenge of proof repair in formal software verification. Through innovative use of program synthesis ๐ and program testing techniques, the team devised Sisyphus, a tool ๐ that largely automates the maintenance of Coq proofs for evolving code.๐ก
Their work is heralded as targeting the Achilles' heel of Interactive Theorem Proving and has far-reaching implications ๐ in ensuring the robustness of machine-checked proofs in software development.๐๐จโ๐ป Check out their story here: https://nus.edu/3PvPkcW๐
Their revolutionary paper ๐, โMostly Automated Proof Repair for Verified Libraries,โ tackles the formidable challenge of proof repair in formal software verification. Through innovative use of program synthesis ๐ and program testing techniques, the team devised Sisyphus, a tool ๐ that largely automates the maintenance of Coq proofs for evolving code.๐ก
Their work is heralded as targeting the Achilles' heel of Interactive Theorem Proving and has far-reaching implications ๐ in ensuring the robustness of machine-checked proofs in software development.๐๐จโ๐ป Check out their story here: https://nus.edu/3PvPkcW๐