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.

News

Aug 10

Zhendong Ang joins NUS as a PhD Student. Welcome Zhendong!

Aug 03

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!

Aug 01

Jinsheng Ba and Suyang Zhong officially joined the NUS TEST lab. Welcome Jinsheng and Suyang!

Jul 20
Jul 18

Vladimir Gladstein joins VERSE lab as a PhD student. Welcome, Vladimir!

Projects

AFLFast
An improved Greybox Fuzz testing tool built on AFL
AFLGo
A directed Greybox Fuzz testing tool built on AFL
AFLNet
A greybox fuzzer for network protocols
AFLSmart
Input-structure aware greybox fuzzing
Angelix
Semantic Program Repair tool (ICSE 2016)
CPR
Concolic Program Repair tool (PLDI 2021)
Ceramist
Verified hash-based approximate membership structures.
Chronos
Worst-case Execution Time (WCET) Analysis for C programs
CoreBench
A set of benchmarks containing realistic regression errors, as opposed to seeded errors
DiSeL
Mechanised Separation Logic for Compositional Verification of Distributed Protocols.
FixMorph
Automated repair of Linux code (ISSTA 2021)
KLEESpectre
A checker for Spectre vulnerabilities in programs using symbolic execution
SQLancer
A tool to automatically detect Logic Bugs in DBMS.
Scilla
A functional language for safe smart contracts.
SemFix
First semantic program repair tool (ICSE 2013)
SuSLik
Synthesis of Heap-Manipulating Programs from Separation Logic specifications.
TimeMachine
Android app fuzz testing tool
Toychain
A Coq implementation of a minimalistic blockchain-based consensus protocol.
VulnLoc
Vulnerability Localization in program binaries using fuzz testing (AsiaCCS 2021)
ego
An OCaml library that provides generic equality saturation using EGraphs.
oo7
A checker for Spectre vulnerabilities in programs using taint analysis

Seminars

Get in touch with Umang Mathur if you want to give a talk, and drop a line to Ilya Sergey to be included into the mailing list with the seminar announcements.

18/11/2022

Effective Representation and Dissemination of Programming Knowledge

12/10/2022

Verified Causal Broadcast with Liquid Haskell

07/10/2022

Infrared: A Meta Bug Detector

People

Faculty

Umang Mathur
Umang Mathur
Kuldeep S. Meel
Kuldeep S. Meel
Manuel Rigger
Manuel Rigger
Abhik Roychoudhury
Abhik Roychoudhury
Ilya Sergey
Ilya Sergey

Visitors

Matthew Flatt
Matthew Flatt

Research Staff

Tim van Bremen
Tim van Bremen
Andreea Costea
Andreea Costea
Gregory J. Duck
Gregory J. Duck
Gunjan Kumar
Gunjan Kumar
Anna Latour
Anna Latour
Yannic Noller
Yannic Noller
Ridwan Shariffdeen
Ridwan Shariffdeen

Graduate Students

Zhendong Ang
Zhendong Ang
Jinsheng Ba
Jinsheng Ba
Teodora Baluta
Teodora Baluta
Zhiyu Fan
Zhiyu Fan
Bishwamittra Ghosh
Bishwamittra Ghosh
Vladimir Gladstein
Vladimir Gladstein
Priyanka Golia
Priyanka Golia
Kiran Gopinathan
Kiran Gopinathan
Tram Hoang
Tram Hoang
Mohimenul Kabir
Mohimenul Kabir
Yunjeong Lee
Yunjeong Lee
Ruijie Meng
Ruijie Meng
Martin Mirchev
Martin Mirchev
Zhanzhong Pang
Zhanzhong Pang
Yash Pote
Yash Pote
George Pîrlea
George Pîrlea
Haifeng Ruan
Haifeng Ruan
Arijit Shaw
Arijit Shaw
Dylan Wolff
Dylan Wolff
Ziyi Yang
Ziyi Yang
Suwei Yang
Suwei Yang
Jiong Yang
Jiong Yang
Liu Yu
Liu Yu
Yuntong Zhang
Yuntong Zhang
Suyang Zhong
Suyang Zhong

Undergraduates

Christopher Goh Zhen Fung
Christopher Goh Zhen Fung
Karolina Grzeszkiewicz
Karolina Grzeszkiewicz
Zhenxin Huang
Zhenxin Huang
Mayank Keoliya
Mayank Keoliya
Koon Wen Lee
Koon Wen Lee
Theodore Leebrant
Theodore Leebrant
Eris Jacey Masagaca
Eris Jacey Masagaca
Ethan Noah Rozario
Ethan Noah Rozario
Wong Kok Rui
Wong Kok Rui
Sewen Thy
Sewen Thy

Past Members

Groups