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

Personal website:http://www.cs.ucf.edu/~leavens

Research interests:Programming languages, semantics, formal methods

Contributions

APSEC 2023	Poster (Early Research Achievements) Co-Chair in Organizing Committee Co-chair in Program Committee within the ERA - Early Research Achievements-track Committee Member in Program Committee within the Technical Track-track
FTfJP 2023	Steering Committee Member in Organizing Committee within the FTfJP 2023-track
ICST 2023	Author of Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods within the Previous Editions-track
ESEC/FSE 2022	Steering Committee Member in Steering Committee
ECOOP 2022	Keynote Speaker of AITO Test of Time Award: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002 within the Keynotes-track
COP 2022	Committee Member in Program Committee within the COP 2022-track
FTfJP 2022	Author of Automated Reasoning Repair within the FTfJP-track 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) Speaker of Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs within the VORTEX 2022-track
APR 2022	Author of Be Realistic: Automated Program Repair is a Combination of Undecidable Problems within the APR 2022-track
FormaliSE 2022	Author of Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts within the FormaliSE 2022-track
ESEC/FSE 2021	Committee Member in Steering Committee
FTfJP 2021	Steering Committee Member in Steering Committee within the FTfJP-track
ICST 2021	Author of Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods within the Research Papers-track
ESEC/FSE 2020	Committee Member in Steering Committee
COP	Committee Member in Program Committee within the COP-track
FTfJP 2020	Steering Committee Member in Steering Commitee within the FTfJP-track
COP 2019	Committee Member in Program Committee within the COP 2019-track
FTfJP 2019	Steering Committee Member in Steering Commitee within the FTfJP 2019-track
ESEC/FSE 2018	General Chair in Organizing Committee Committee Member in Program Committee within the Journal-First-track General Chair of Post Town Hall Reception within the Social-track Session Chair of WASPI workshop (part of WASPI) Chair of Closing Plenary (closing ceremony) within the Social-track Committee Member in Organizing Committee within the WASPI-track Session Chair of Morning Talks (part of WASPI)
FTfJP 2018	Committee Member in Steering Committee within the FTfJP-track
* ICSE 2018 *	Author of Poster T48: An Algorithm and Tool to Infer Practical Postconditions within the Posters -track
‹Programming› 2018	Committee Member in Steering Committee
‹Programming› 2017	Committee Member in Steering Committee Contributor/Author of Steering Committee Meeting within the Organizational-track
FTfJP 2016	Author of Towards Modular Reasoning for Context-Oriented Programs within the FTfJP-track
Modularity 2016	Committee Member in Steering Committee Author of Reasoning Tradeoffs in Languages with Enhanced Modularity Features within the Research Results-track
FOAL 2016	Author of Panel - The Future of Advanced Modularity Techniques within the FOAL 2016-track
SPLASH 2015	SPLASH 2012 General Chair in Steering Committee Committee Member in Organizing Committee within the Demos-track Session Chair of 11. Programming Language Design (part of OOPSLA) Author of DS Invited Keynote Talk II: Lessons and Stories from My Career within the Doctoral Symposium-track Committee Member in Organizing Committee within the Doctoral Symposium-track Committee Member in External Review Committee within the OOPSLA-track
FTfJP 2015	Author of Conditional Effects in Fine-grained Region Logic within the FTfJP-track Committee Member in Steering Committee within the FTfJP-track
SPLASH 2014	Committee Member in External Review Committee within the OOPSLA-track Session Chair of Specification and Verification (part of OOPSLA) Committee Member in Steering Committee
SPLASH 2013	Author of Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc within the Demonstrations-track Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2012	Chair in Program Committee within the Keynotes-track Chair in Program Committee within the Panels-track