Vladimir Gladstein joins VERSE lab as a PhD student. Welcome, Vladimir!
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.
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.
Yasunari Watanabe has defended his MComp thesis on Certified Program Synthesis. Congratulations, Yasu!
Yutaka Nagashima joins the team as a postdoc. Welcome, Yutaka!
Ilya will present the work on CoSplit at PurPL Seminar Series.
The paper by Kiran on mechanised verification of probabilistic properties of Bloom filters and their generalisations has been accepted to CAV 2020.