• 
  Gary T. Leavens

  Professor

  University of Central Florida

  His major research interests are in programming and specification language design and semantics, formal methods (program specification and verification), aspect-oriented languages, object-oriented languages, distributed languages, type theory, programming methodology, software engineering, information assurance, computer science education.

Co-Authored Publications

• ICSE NIER: Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence Hridesh Rajan, Tien N. Nguyen, Gary T. Leavens, Robert Dyer. May 21, 2015.
• ICSE: Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence Hridesh Rajan, Tien N. Nguyen, Gary T. Leavens, Robert Dyer. May 20, 2015.
  Acceptance rate: 25/135 (18.52%)
• ASE: Modularizing Crosscutting Concerns with Ptolemy Hridesh Rajan, Gary T. Leavens, Robert Dyer. November 8, 2011.
• OOPSLA: Modularizing Crosscutting Concerns with Ptolemy Hridesh Rajan, Sean Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter. October 26, 2011.
• ECOOP: Modularizing Crosscutting Concerns with Ptolemy Hridesh Rajan, Sean Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter. July 27, 2011.
• AOSD: Modularizing Crosscutting Concerns with Ptolemy Hridesh Rajan, Gary T. Leavens, Robert Dyer, Mehdi Bagherzadeh. March 22, 2011.
• FOAL: Applying Translucid Contracts for Modular Reasoning about Aspect and Object Oriented Events Mehdi Bagherzadeh, Gary T. Leavens, Robert Dyer. March 21, 2011.