Gary T. Leavens

Gary T. Leavens, Shigeru Chiba, Éric Tanter (Eds.): Transactions on Aspect-Oriented Software Development X. Lecture Notes in Computer Science 7800, Springer 2013, isbn 978-3-642-36963-6

John Hatcliff, Gary T. Leavens, K. Rustan M. Leino, Peter Müller, Matthew J. Parkinson: Behavioral interface specification languages. ACM Comput. Surv. 44(3): 16 (2012)

Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens: @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. ICST 2012: 260-269

Rochelle Elva, Gary T. Leavens: Semantic clone detection using method IOE-behavior. IWSC 2012: 80-81

Shmuel Katz, Gary T. Leavens, Hidehiko Masuhara (Eds.): Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012. ACM 2012, isbn 978-1-4503-1099-4

Gary T. Leavens, Matthew B. Dwyer (Eds.): Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012. ACM 2012, isbn 978-1-4503-1561-6

Gary T. Leavens (Ed.): Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '12, Tucson, AZ, USA, October 21-25, 2012. ACM 2012, isbn 978-1-4503-1563-0

Shin Hwei Tan, Darko Marinov, Lin Tan, Gary T. Leavens: @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies. CoRR abs/1201.6078 (2012)

Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter (Eds.): Transactions on Aspect-Oriented Software Development IX. Lecture Notes in Computer Science 7271, Springer 2012, isbn 978-3-642-35550-9

Frank Piessens, Bart Jacobs, Gary T. Leavens: Special Section on Formal Techniques for Java-like Programs. Journal of Object Technology 10 (2011)

Hridesh Rajan, Gary T. Leavens, Robert Dyer, Mehdi Bagherzadeh: Modularizing crosscutting concerns with Ptolemy. AOSD (Companion) 2011: 61-62

Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney: Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. AOSD 2011: 141-152

Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168

Mehdi Bagherzadeh, Gary T. Leavens, Robert Dyer: Applying translucid contracts for modular reasoning about aspect and object oriented events. FOAL 2011: 31-35

Ghaith Haddad, Gary T. Leavens: Specifying subtypes in SCJ programs. JTRES 2011: 40-46

Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter: Modularizing crosscutting concerns with ptolemy. OOPSLA Companion 2011: 31-32

Ghaith Haddad, Faraz Hussain, Gary T. Leavens: The design of SafeJML, a specification language for SCJ with support for WCET specification. JTRES 2010: 155-163

Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney: Translucid contracts for modular reasoning about aspect-oriented programs. SPLASH/OOPSLA Companion 2010: 245-246

Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek: Challenge benchmarks for verification of real-time programs. PLPV 2010: 57-62

Faraz Hussain, Gary T. Leavens: temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. SEFM 2010: 63-72

Gary T. Leavens: The future of library specification. FoSER 2010: 211-216

Gary T. Leavens, Peter W. O'Hearn, Sriram K. Rajamani (Eds.): Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings. Lecture Notes in Computer Science 6217, Springer 2010, isbn 978-3-642-15056-2

C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar: The verified software initiative: A manifesto. ACM Comput. Surv. 41(4) (2009)

Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek: Challenge benchmarks for verification of real-time programs: (abstract only). SIGPLAN Notices 44(11): 7-8 (2009)

Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens: Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. ESOP 2009: 333-347

Shail Arora, Gary T. Leavens (Eds.): Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA. ACM 2009, isbn 978-1-60558-766-0

Shail Arora, Gary T. Leavens (Eds.): Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA. ACM 2009, isbn 978-1-60558-768-4

Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand: SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. SIGPLAN Notices 43(11): 6-29 (2008)

Gary T. Leavens: Use concurrent programming models to motivate teaching of programming languages. SIGPLAN Notices 43(11): 93-98 (2008)

Hridesh Rajan, Gary T. Leavens: Ptolemy: A Language with Quantified, Typed Events. ECOOP 2008: 155-179

Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad: Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76

Yoonsik Cheon, Antonio Cortes, Gary T. Leavens, Martine Ceberio: Integrating Random Testing with Constraints for Improved Efficiency and Diversity. SEKE 2008: 861-866

Gary T. Leavens, K. Rustan M. Leino, Peter Müller: Specification and verification challenges for sequential object-oriented programs. Formal Asp. Comput. 19(2): 159-189 (2007)

Gary T. Leavens, Curtis Clifton: Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples. SPLAT 2007: 6

Gary T. Leavens, Joseph R. Kiniry, Erik Poll: A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV 2007: 37

Curtis Clifton, Gary T. Leavens, James Noble: MAO: Ownership and Effects for More Effective Reasoning About Aspects. ECOOP 2007: 451-475

John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107

Gary T. Leavens, Peter Müller: Information Hiding and Visibility in Interface Specifications. ICSE 2007: 385-395

Gary T. Leavens: Tutorial on JML, the java modeling language. ASE 2007: 573

Steve M. Shaner, Gary T. Leavens, David A. Naumann: Modular verification of higher-order methods with mandatory calls specified by model programs. OOPSLA 2007: 351-368

Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 2007: 609-610

Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE (Companion) 2007: 609-610

Gary T. Leavens: Not a Number of Floating Point Problems. Journal of Object Technology 5(2): 75-83 (2006)

Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006)

Curtis Clifton, Gary T. Leavens: MiniMAO: An imperative core language for studying aspect-oriented reasoning. Sci. Comput. Program. 63(3): 321-374 (2006)

Gary T. Leavens, Albert L. Baker, Clyde Ruby: Preliminary design of JML: a behavioral interface specification language for java. ACM SIGSOFT Software Engineering Notes 31(3): 1-38 (2006)

Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers: MultiJava: Design rationale, compiler implementation, and applications. ACM Trans. Program. Lang. Syst. 28(3): 517-575 (2006)

Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca: Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58

Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump: Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236

Gary T. Leavens: JML's Rich, Inherited Specifications for Behavioral Subtypes. ICFEM 2006: 2-34

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok: How the design of JML accommodates both runtime assertion checking and formal verification. Sci. Comput. Program. 55(1-3): 185-208 (2005)

Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards: Model variables: cleanly supporting abstraction in design by contract. Softw., Pract. Exper. 35(6): 583-599 (2005)

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. STTT 7(3): 212-232 (2005)

Yoonsik Cheon, Gary T. Leavens: A contextual interpretation of undefinedness for runtime assertion checking. AADEBUG 2005: 149-158

Edwin Rodríguez, Matthew B. Dwyer, Cormac Flanagan, John Hatcliff, Gary T. Leavens, Robby: Extending JML for Modular Specification and Verification of Multi-threaded Programs. ECOOP 2005: 551-576

Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll: Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. FMCO 2005: 342-363

Gary T. Leavens, Curtis Clifton: Lessons from the JML Project. VSTTE 2005: 134-143

Gary T. Leavens: Invited Talk: JML framed! PASTE 2004: 1

Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular specification of frame properties in JML. Concurrency and Computation: Practice and Experience 15(2): 117-154 (2003)

Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. Electr. Notes Theor. Comput. Sci. 80: 75-91 (2003)

Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71

Yoonsik Cheon, Gary T. Leavens: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. ECOOP 2002: 231-255

Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210

Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok: How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. FMCO 2002: 262-284

Susan Eisenbach, Gary T. Leavens: Special issue: formal techniques for Java programs. Concurrency and Computation: Practice and Experience 13(13): 1121-1123 (2001)

Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40

Tim Wahls, Gary T. Leavens: Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs. SAC 2001: 567-575

Gary T. Leavens, Don Pigozzi: A Complete Algebraic Characterization of Behavioral Subtyping. Acta Inf. 36(8): 617-663 (2000)

Tim Wahls, Gary T. Leavens, Albert L. Baker: Executing Formal Specifications with Concurrent Constraint Programming. Autom. Softw. Eng. 7(4): 315-343 (2000)

Gary T. Leavens: Formal methods for multimethod software components. ACM SIGSOFT Software Engineering Notes 25(1): 62-63 (2000)

Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54

Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs: JML (poster session): notations and tools supporting detailed design in Java. OOPSLA Addendum 2000: 105-106

Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein: MultiJava: modular open classes and symmetric multiple dispatch for Java. OOPSLA 2000: 130-145

Clyde Ruby, Gary T. Leavens: Safely creating correct subclasses without seeing superclass code. OOPSLA 2000: 208-228

Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115

Gary T. Leavens, Albert L. Baker: Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. World Congress on Formal Methods 1999: 1087-1106

Gary T. Leavens, Tim Wahls, Albert L. Baker: Formal Semantics for SA Style Data Flow Diagram Specification Languages. SAC 1999: 526-532

Gary T. Leavens, Don Pigozzi: Class-Based and Algebraic Models of Objects. Electr. Notes Theor. Comput. Sci. 14: 214-244 (1998)

Gary T. Leavens, Jeannette M. Wing: Protective Interface Specifications. Formal Asp. Comput. 10(1): 59-75 (1998)

Gary T. Leavens, Todd D. Millstein: Multiple Dispatch as Dispatch on Tuples. OOPSLA 1998: 374-387

Gary T. Leavens, Don Pigozzi: The Behavior-Realization Adjunction and Generalized Homomorphic Relations. Theor. Comput. Sci. 177(1): 183-216 (1997)

Gary T. Leavens, Jeannette M. Wing: Protective Interface Specifications. TAPSOFT 1997: 520-534

Steven L. Jenkins, Gary T. Leavens: Polymorphic Type-Checking in Scheme. Comput. Lang. 22(4): 215-223 (1996)

Krishna Kishore Dhara, Gary T. Leavens: Forcing Behavioral Subtyping through Specification Inheritance. ICSE 1996: 258-267

Gary T. Leavens, William E. Weihl: Specification and Verification of Object-Oriented Programs Using Supertype Abstraction. Acta Inf. 32(8): 705-778 (1995)

Krishna Kishore Dhara, Gary T. Leavens: Weak behavioral subtyping for types with mutable objects. Electr. Notes Theor. Comput. Sci. 1: 91-113 (1995)

Giuseppe Castagna, Gary T. Leavens: Foundation of Object-Oriented Languages, 2nd Workshop Report. SIGPLAN Notices 30(2): 5-11 (1995)

Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce: On Binary Methods. TAPOS 1(3): 221-242 (1995)

Craig Chambers, Gary T. Leavens: Typechecking and Modules for Multimethods. ACM Trans. Program. Lang. Syst. 17(6): 805-843 (1995)

Yoonsik Cheon, Gary T. Leavens: A Quick Overview of Larch/C++. JOOP 7(6): 39-49 (1994)

Yoonsik Cheon, Gary T. Leavens: The Larch/Smalltalk Interface Specification Language. ACM Trans. Softw. Eng. Methodol. 3(3): 221-253 (1994)

Gary T. Leavens: Inheritance of Interface Specifications (Extended Abstract). Workshop on Interface Definition Languages 1994: 129-138

Craig Chambers, Gary T. Leavens: Typechecking and Modules for Multi-Methods. OOPSLA 1994: 1-15

Gary T. Leavens, Yoonsik Cheon: Preliminary Design of Larch/C++. Larch 1992: 159-184

Gary T. Leavens: Introduction to the literature on object-oriented design, programming, and languages. OOPS Messenger 2(4): 40-53 (1991)

Gary T. Leavens: Modular Specification and Verification of Object-Oriented Programs. IEEE Software 8(4): 72-80 (1991)

Gary T. Leavens, Don Pigozzi: Typed Homomorphic Relations Extended with Sybtypes. MFPS 1991: 144-167

Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes: Formal Techniques for OO Software Development (Panel). OOPSLA 1991: 166-170

Gary T. Leavens, William E. Weihl: Reasoning about Object-Oriented Programs that Use Subtypes. OOPSLA/ECOOP 1990: 212-223