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

🎓🔬Prof Bingsheng He, Vice-Dean (Research) at NUS School of Computing, along with academic peers Prof Flora Salim from UNSW in Australia 🇦🇺 and Prof Ken-ichi Kawarabayashi from National Institute of Informatics in Japan 🇯🇵, have collaborated 🤝 with the ACM, Association for Computing Machinery (ACM) to publish a special section on cutting-edge research and innovation in Computer Science 🖥 emerging in East Asia and the Oceania region.

📘🌟The section spans an array of topics from state-of-the-art developments in learning analytics 📊, AI and machine learning 🤖, education 📚, Big Data, neuromorphic computing 💡, and blockchain technology 🔗, to applications in disease prediction 🌡 and assistive devices 🦾.

➡️ Read more here: https://bit.ly/3NBlVLN

🎥 Check out the full video at: vimeo.com/829130560

#ComputerScience #Innovation #Research #NUSExcellence #Meetourfaculty