Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Gary T. Leavens

Registered user since Tue 27 Jan 2015

Name:Gary T. Leavens
Bio:

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.

Country:United States
Affiliation:University of Central Florida
Research interests:Programming languages, semantics, formal methods

Contributions

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

ICSE 2022-profile
View general profile