Gary Leavens

Registered user since Tue 27 Jan 2015

Name: Gary 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

COP 2019Committee Member in Program Committee within the COP 2019-track
FTfJP 2019Steering Committee Member in Steering Commitee within the FTfJP 2019-track
FTfJP 2018Committee Member in Steering Committee within the FTfJP-track
‹Programming› 2018Committee Member in Steering Committee
ESEC/FSE 2018General 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)
‹Programming› 2017Committee Member in Steering Committee
Contributor/Author of Steering Committee Meeting within the Organizational-track
FTfJP 2016Author of Towards Modular Reasoning for Context-Oriented Programs within the FTfJP-track
FOAL 2016Author of Panel - The Future of Advanced Modularity Techniques within the FOAL 2016-track
* ICSE 2018 *Author of Poster T48: An Algorithm and Tool to Infer Practical Postconditions within the Posters -track
Modularity 2016 Committee Member in Steering Committee
Author of Reasoning Tradeoffs in Languages with Enhanced Modularity Features within the Research Results-track
FTfJP 2015Author of Conditional Effects in Fine-grained Region Logic within the FTfJP-track
Committee Member in Steering Committee within the FTfJP-track
SPLASH 2015SPLASH 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
SPLASH 2014Committee Member in External Review Committee within the OOPSLA-track
Session Chair of Specification and Verification (part of OOPSLA)
Committee Member in Steering Committee
SPLASH 2013Author 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 2012Chair in Program Committee within the Keynotes-track
Chair in Program Committee within the Panels-track