News
Vitaly Kurin and Vasilii Nesterov join the VERSE lab as PhD students. Welcome, Vitaly and Vasilii!
Four papers from the VERSE lab will appear at OOPSLA'26 : Tracking Borrows with Regular Expressions; Infinitary Relational Logic; Semi-declarative Language for Combinatorial Search; Grammar Repair with Examples and Tree Automata.
Our paper on certified program synthesis with a multi-modal verifier will appear at ASE'26 .
Our paper on Velvet has been selected as a Distinguished Paper at CAV'26.
Emily Ong's paper "Metamorphic Coverage" has been accepted at ISSTA 2026 (with Manuel Rigger).
Emily Ong is awarded the Outstanding Undergraduate Researcher Prize for her work on Siloso, advised by Suyang Zhong and Manuel Rigger.
Our paper on Automated Database Testing via LLM-Synthesized SQL Features has been accepted at SIGMOD 2027.
Ruijie Meng receives the IMDA Excellence in Computing Prize 2026 for Best PhD Thesis.
The NRF AI for Science project " AI for Program Reasoning " (2026-30), co-led by Cristian Cadar (Imperial College London) and Abhik Roychoudhury, is launched.
Our paper on lazy proof automation for separation logic will appear at ITP'26.
AutoCodeRover research becomes a commercial product, launched as the SonarQube Remediation Agent by Sonar CEO Tariq Shaukat at the Singapore ATX summit.
Our paper on Velvet, a foundational multi-modal verifier for imperative programs in Lean, will appear at CAV'26.
Team VVV ( Vladimir Gladshtein and Vitaly Kurin ) won the Best Student Team prize at the VerifyThis competition at ETAPS 2026 in Turin.
Jinsheng Ba will join The Chinese University of Hong Kong, Shenzhen as Assistant Professor from Fall 2026.
Zhengxiong Luo receives a prestigious Singapore NRF Postdoctoral Award.
Three papers from the TEST lab accepted at SIGMOD 2026 : on SQL parsing, join bugs, and database benchmarking.
Our paper "Bringing Order to Practical Validation of Database Isolation Levels" has been accepted at TOCS.
Zhiyu Fan becomes Senior Researcher at Microsoft Research Cambridge.
Our paper "ACME: Automated Clause Mapping Engine for Testing Emerging Database Systems" has been accepted at FSE 2026.
Rajdeep Singh and Junwen An are awarded the Research Achievement Award.
Our paper "Scaling Automated Database System Testing" has been accepted at ASPLOS 2026.
Linard Arquint joins the VERSE lab as a Research Fellow. Welcome, Linard!
Two talk proposals from the VERSE lab, on Velvet and on experience building Veil in Lean, are accepted to the Dafny Workshop 2026.
The VERSE lab releases Loom, a framework for embedding multi-modal program verifiers in Lean, with an accompanying paper for POPL'26.
Thibault Dardinier joins the VERSE lab as a short-term Visiting Research Fellow. Welcome, Thibault!
Junwen An and Emily Ong won First Place at the SPLASH '25 Student Research Competition.
Michael Schwarz joins the FOCS lab as a Research Fellow!
Jed receives the NUS Outstanding Undergraduate Researcher Prize for work on property testing trace closures of regular languages.
Dipesh Kafle , Yueyang Feng, and Valentin Mikhalchuk join the VERSE lab as new PhD students.
Our paper on Answer Set Programming for invariant inference has been accepted to ICLP'25.
Our paper on accelerating SMT-based program verifiers has been accepted to CAV'25.
The VERSE lab releases Veil, a framework for verifying distributed protocols in Lean; the accompanying paper is accepted to CAV'25.
Our paper on synthesizing Separation Logic predicates via Answer Set Programming has been accepted to OOPSLA'25.
Our paper on programming language synthesis for automated exploit generation has been accepted to USENIX Security'25.
Grace and Jed win Gold medals at the POPL'25 Student Research Competition, for "Store Order Consistency Testing for C-like memory models" and property testing algorithms for trace closures, respectively.
Yunjeong Lee and Ziyi Yang receive Research Achievement Awards.
Abhik Roychoudhury becomes an ACM Fellow .
Two new papers by Olivier Danvy: Nested Summations and Summa Summarum: Moessner's Theorem without Dynamic Programming .
We are excited to organise the first Singapore PL Summit , which will take place on December 4, 2024!
Abhik Roychoudhury 's paper titled "SemFix: Program Repair via Semantic Analysis" published in ICSE 2013 received ICSE 2023 Most Influential Paper Award .
Qiyuan Zhao joins NUS as a PhD Student. Welcome Qiyuan!
Ali El Husseini from Ecole Normale Superieure de Paris joins as PhD Student in Abhik's team. Welcome Ali!
Zhendong Ang joins NUS as a PhD Student. Welcome Zhendong!
Martin Mirchev joins as a PhD student and Sung Yong Kim joins as part of the French Double Degree program (FDDP). Welcome Martin and Sung to Secure Software group!
Jinsheng Ba and Suyang Zhong officially joined the NUS TEST lab. Welcome Jinsheng and Suyang!
Ilya Sergey receives an Amazon Research Award .
Vladimir Gladstein joins VERSE lab as a PhD student. Welcome, Vladimir!
A paper on random testing of Scilla interpreter and compiler with QuickChick will appear at ICFP’22.
A paper on Hippodrome , a new tool for automated repair of concurrent data races, built on top of Infer Static Analyser, will appear at ACM Transactions on Software Engineering and Methodology.
Umang Mathur's paper titled "A Tree Clock Data Structure for Causal Ordering in Concurrent Executions" won a Best Paper Award at ASPLOS 2022
Abhik Roychoudhury receives the IEEE Technical Committee of Software Engineering New Directions Award, jointly with Cristian Cadar , for contributions to symbolic execution used for test generation and program repair.
Ministry of Education (MoE) Tier 3 program Automated Program Repair funded to Abhik Roychoudhury , Ilya Sergey , and Chin Wei Ngan .
Thanks to Oracle Labs for their generous donation to support our research on program repair for security.
Descartes program on smart cities with CNRS has been launched ( Please apply ).
Manuel Rigger shared his experience on the academic job market at a seminar and panel discussion at NUS
Congratulations to Xiang Gao for defending his PhD thesis .
Ziyi Yang joins the lab as a PhD student, and Tram Hoang and Bryan Tan join as MComp students. Welcome, Bryan, Tram, and Ziyi!
Kiran will present GopCaml: A Structural Editor for OCaml at OCaml Workshop 2021 , co-located with ICFP'21.
The paper on Certifying the Synthesis of Heap-Manipulating Programs will appear at ICFP'21 .
Our invited position paper Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities has appeared in the proceedings of CAV'21.
The paper on Cyclic Program Synthesis has been named a recipient of PLDI 2021 Distinguished Paper Award .
Two papers, on smart contract sharding and on cyclic program synthesis , will appear at PLDI'21 .
Former PhD student and post-doc Marcel Boehme joining Max-Planck Institute for Security and Privacy as faculty member.
Yasunari Watanabe has defended his MComp thesis on Certified Program Synthesis. Congratulations, Yasu!
Yutaka Nagashima joins the team as a postdoc. Welcome, Yutaka!
Our paper on Automated Repair of Heap-Manipulating Programs via SuSLik-style Synthesis will appear at VMCAI 2021 .
An extended paper on Distributed Protocol Combinators with an expanded toolset and more case studies has been accepted for publication in Journal of Functional Programming. Now we can do Paxos!
Abhik Roychoudhury will be speaking at the NUS PhD e-open Day 2020
Singapore International Cyber Week (SICW) R & D Workshop , (watch Day 1) organized by Singapore Cybersecurity Consortium
Ilya will present the work on CoSplit at PurPL Seminar Series .
Yunjeong Lee and George Pîrlea join the team as a PhD students at NUS School of Computing. Welcome!
The paper by Kiran on mechanised verification of probabilistic properties of Bloom filters and their generalisations has been accepted to CAV 2020.