News

2022

Jul 18

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

Jul 01

A paper on random testing of Scilla interpreter and compiler with QuickChick will appear at ICFP’22.

Jun 20

Our 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.

2021

Sep 01

Ziyi Yang joins the lab as a PhD student, and Tram Hoang and Bryan Tan join as MComp students. Welcome, Bryan, Tram, and Ziyi!

Jul 29
Jul 23

Our invited position paper Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities has appeared in the proceedings of CAV'21.

May 25

The paper on Cyclic Program Synthesis has been named a recipient of PLDI 2021 Distinguished Paper Award.

May 04

Two papers, on smart contract sharding and on cyclic program synthesis, will appear at PLDI'21.

Apr 15

Yasunari Watanabe has defended his MComp thesis on Certified Program Synthesis. Congratulations, Yasu!

2020

Dec 01

Yutaka Nagashima joins the team as a postdoc. Welcome, Yutaka!

Nov 30

Our paper on Automated Repair of Heap-Manipulating Programs via SuSLik-style Synthesis will appear at VMCAI 2021.

Nov 02

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!

Sep 25

Ilya will present the work on CoSplit at PurPL Seminar Series.

Aug 09

Yunjeong Lee and George Pîrlea join the team as a PhD students at NUS School of Computing. Welcome!

Apr 06

The paper by Kiran on mechanised verification of probabilistic properties of Bloom filters and their generalisations has been accepted to CAV 2020.

2019

Dec 24

Our paper on enhancing deductive program synthesis with read-only permissions will appear at ESOP 2020.

VERSE
Verified Systems Engineering
Yale-NUS College
NUS School of Computing