Registered user since Tue 27 Jan 2015
The long term goal of my research is to better understand how to solve programming problems: how to specify such problems, methods for thinking about such problems, notations for expressing solutions, and ways to check that the solutions are correct. In pursuing this goal, I have worked in two main areas: formal methods and programming languages. formal methods and programming languages.
|APR 2022||Be Realistic: Automated Program Repair is a Combination of Undecidable Problems|
|FormaliSE 2022||Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts|
|Show activities from other conferences|
View general profile