ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Gary T. Leavens

Registered user since Tue 27 Jan 2015

Name:Gary T. Leavens

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


ECOOP 2022 AITO Test of Time Award: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002
COP 2022 Committee Member in Program Committee within the COP 2022-track
FTfJP 2022 Automated Reasoning Repair
Session Chair of FTfJP 2022 A (part of FTfJP)
Steering Committee Member in Steering Committee within the FTfJP-track
Committee Member in Organizing Committee within the FTfJP 2022-track
VORTEX 2022 Session Chair of First afternoon session (part of VORTEX 2022)
Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs
Show activities from other conferences

ECOOP 2022-profile
View general profile