Research Terms
Computer Software Programming Languages Software Engineering
Industries
Software & Computer Systems Design Specialized Logistics IT
Gary T. Leavens, K. Rustan M. Leino, and Peter M¨uller. Specification and verification challenges for sequential object-oriented programs. Formal Aspects of Computing, 19(2):159–189, June 2007. http://dx.doi.org/10.1007/s00165-007-0026-7
Curtis Clifton and Gary T. Leavens. MiniMAO1: Investigating the Semantics of Proceed. Science of Computer Programming, 63(3):321–374, December 2006. http://dx.doi/10.1016/j.scico.2006.02.009
Peter M¨uller, Arnd Poetzsch-Heffter, and Gary T. Leavens. Modular Invariants for Layered Object Structures. Science of Computer Programming, 62(3):253–286, October 2006. http://dx.doi.org/10.1016/j.scico.2006.03.001
Curtis Clifton, Todd Millstein, Gary T. Leavens, and Craig Chambers. MultiJava: Design Rationale, Compiler Implementation, and Applications. ACM Transactions on Programming Languages and Systems, 28(3):517–575, May 2006. http://doi.acm.org/10.1145/1133651.1133655
Institute for Electrical and Electronics Engineers (IEEE), Member; 1986 - present
Association for Computing Machinery (ACM), Member; 1982 - present
co-Editor in Chief, Transactions on Aspect-Oriented Software Development, a Springer Journal; 2011 - 2013
Associate Editor, Journal of Object Technology, an online journal; 2010 - 2013
Assistant Editor, Software and Systems Modeling, a Springer journal; 2001 - 2013
Ptolemy: Taming Aspects with Explicit Event Announcement and Greybox Specifications; CBSoft/SBLP, Sao Paulo, Brazil; CBSoft; 2011
JML’s Rich Inherited Specifications for Behavioral Subtypes; International Conference on Formal Engineering Methods; ICFEM, Macao, China; 2006
How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification; Formal Methods for Components and Objects; FMCO, Leiden, the Netherlands; 2002
Co-chair of program committee Verified Software: Theories, Tools, Experiments (VSTTE) in 2010.
Research program committee chair for the ACM conference Object-Oriented Programming: Systems, Languages, and Applications (OOPSLA) 2009.
Co-founder (1999) and co-organizer (yearly, since 1999) with Sophia Drossopoulou, Susan Eisenbach, Peter M¨uller, Arnd Poetzsch-Heffter, Erik Poll, and others of the international workshop series Formal Techniques for Java-Like Programs (FTfJP), held yearly at the European Conference on Object-Oriented Programming (ECOOP). Program committee member in 2008, 2007, 2002, 2001, 2000, 1999. http://www.cs.kun.nl/~erikpoll/ftfjp/
Co-founder (2002) and co-organizer (yearly, since 2002) with Curtis Clifton, Mira Mezini, Shmuel Katz, and others of the international workshop series Foundations of Aspect-Oriented Languages (FOAL), held yearly at the ACM Conference on Aspect-Oriented Software Development (AOSD). Program committee chair in 2003. Program committee member in 2007, 2005, 2004, 2003, 2002. http://www.eecs.ucf.edu/FOAL/
Co-founder (2001) and co-organizer (since 2003, and in 2001) with Jonathan Aldrich, Mike Barnett, Dimitra Giannakopoulou, Natasha Sharygina, and others of the Specification and Verification of Component- Based Systems (SAVCBS), held yearly at the ACM Conference on Foundations of Software Engineering (FSE) (since 2003), and at OOPSLA in 2001. Program committee chair in 2005. Program committee member in 2005, 2004, 2003. http://www.eecs.ucf.edu/SAVCBS/
4000 Central Florida Blvd. HEC 437D, Building 116 Orlando, FL 32816-2362