🎉👩🏫 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🔍