NUS Computing
1.47K subscribers
747 photos
17 videos
542 links
NUS Computingโ€™s official Telegram channel
Download Telegram
๐ŸŽ‰๐Ÿ‘ฉโ€๐Ÿซ 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๐Ÿ”