January, 2023 – 2023 ICSE MIP Award for Professor Abhik Roychoudhury

SemFix: Program Repair via Semantic Analysis

For a paper written in 2013, Abhik Roychoudhury is awarded the 2023 ICSE Most Influential Paper Award. The paper, titled “SemFix: Program Repair via Semantic Analysis” was written in collaboration with Hoang Duong Thien Nguyen, Dawei Qi, and Satish Chandra.

In the paper, the authors present an automated program repair method based on symbolic execution, constraint solving, and program synthesis. The requirement on the repaired code to pass a given set of tests is formulated as a constraint. The work explored the usage of symbolic execution for specification inference, when only tests are available to describe programmer intent. With this work, the authors coined the area of semantic-based program repair. The work on SemFix significantly inspired the ideas explored in our MoE Tier 3 project on Automated Program Repair!

APR Launch Event: November 11

APR Logo

November, 2022 – APR Program Launch Event and Logo introduced

On November 11, we had a launch event of our MoE Tier 3 program on Automated Program Repair. The event hosted several researchers from PL & SE, who gave talks specifically focusing on testing, analysis, and repair. Further, we organized a poster session for students, followed by lunch.

Check our Event Page for more information, photos, and some of the recordings!

Embedded Systems Week

October, 2022 – Professor Abhik Roychoudhury @ Embedded Systems Week

The Embedded Systems Week (ESWEEK) is organizing an education track for its 2022 edition, where top researchers worldwide will teach 2-hour topical classes on the theme Security, Privacy, and Trust. Abhik Roychoudhury will contribute his tutorial on greybox fuzzing and whitebox fuzzing (also known as symbolic execution) technologies and talk about forward-looking techniques for automated program repair. Check out his abstract and join live!

Sung Yong Kim Martin Mirchev

August, 2022 – Welcome to Martin Mirchev and Sung Yong Kim

With the new academic year, we are welcoming Martin Mirchev and Sung Yong Kim! Martin is a PhD student at SoC and interested in static analysis, automated program repair, and type systems. Sung is a Master student in the NUS French Double Degree Programme and interested in security and automated program repair.

August, 2022 – Oracle supports our research on program repair

Oracle Labs

Thanks to Oracle for their generous donation to further our research on program repair, specifically on enhancing software security! The goal is to investigate the transition of program repair technology into more widespread usage and build corresponding prototype techniques.

July, 2022 – Professor Ilya Sergey received Amazon Research Award

Amazon Research Award

Ilya Sergey has received an Amazon Research Award for his proposal about Scaling Automated Verification of Distributed Protocols with Specification Transformation and Synthesis. The Amazon Research Awards program provides unrestricted funds and AWS Promotional Credits to academic researchers investigating research topics across several disciplines. For the Fall 2021 call, Amazon awarded 74 recipients representing 51 universities in 17 countries. The recipients get access to more than 300 Amazon public datasets and can utilize AWS AI/ML services and tools.

Read more about it in the official announcement by Amazon.

April, 2022 – Professor Abhik Roychoudhury recognised with IEEE New Directions Award

IEEE New Directions Award

Abhik Roychoudhury has won the IEEE Computer Society Technical Committee on Software Engineering (TCSE) New Directions Award for 2022. He received this award jointly with Professor Cristian Cadar (Imperial College London), in recognition of their contributions to symbolic execution for test generation and program repair.

Read more here:

February, 2022 – Ministry of Education (MoE) Tier 3 research program at NUS on Program Repair

The Ministry of Education (MoE) accepted our Tier 3 grant proposal and will fund our five year research project on program repair (2022-27)! → Post-docs being recruited.