conf.researchr.org / 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
2023
APSEC
2022
FTfJP
VORTEX
2021
2020
2019
2018
ESEC/FSE
- 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)
‹Programming›
2017
2016
Modularity
Foundations Of Aspect-Oriented Languages
2015
SPLASH
- 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