About

PLSE@NUS is the Programming Languages and Software Engineering lab at School of Computing, National University of Singapore. We’re steadfast to the mission of creating trustworthy systems by advancing the state of the art in key research areas such as analysis and bug detection, formal verification, program synthesis, specification inference, automated program repair, software testing, concurrency and distributed systems.

The current website maintainers are Aditya and Richard . Please contact them to update any information.

News

Aug 26

Vitaly Kurin and Vasilii Nesterov join the VERSE lab as PhD students. Welcome, Vitaly and Vasilii!

Aug 15

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.

Aug 04

Our paper on certified program synthesis with a multi-modal verifier will appear at ASE'26 .

View more

Seminars

Get in touch with Manuel Rigger or Umang Mathur if you want to give a talk.

Dec 05

Duality and Primal-Dual Algorithms in Verification

Oded Padon
Nov 21

CStar: Unifying Programming and Verification in C

Di Wang
Oct 31

Learning Domain-specific Languages and Synthesizing Axiomatizations

Paul Krogmeier
View more

People

View all people

Projects

View all projects

Groups