| 2009 |
|---|
| 70 | EE | 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 |
| 2008 |
|---|
| 69 | EE | Hridesh Rajan,
Gary T. Leavens:
Ptolemy: A Language with Quantified, Typed Events.
ECOOP 2008: 155-179 |
| 68 | | Yoonsik Cheon,
Antonio Cortes,
Gary T. Leavens,
Martine Ceberio:
Integrating Random Testing with Constraints for Improved Efficiency and Diversity.
SEKE 2008: 861-866 |
| 67 | EE | 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 Sheldon,
Franklyn A. Turbak,
Mitchell Wand:
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.
SIGPLAN Notices 43(11): 6-29 (2008) |
| 66 | EE | Gary T. Leavens:
Use concurrent programming models to motivate teaching of programming languages.
SIGPLAN Notices 43(11): 93-98 (2008) |
| 2007 |
|---|
| 65 | EE | Gary T. Leavens:
Tutorial on JML, the java modeling language.
ASE 2007: 573 |
| 64 | EE | Gary T. Leavens,
Joseph R. Kiniry,
Erik Poll:
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java.
CAV 2007: 37 |
| 63 | EE | Curtis Clifton,
Gary T. Leavens,
James Noble:
MAO: Ownership and Effects for More Effective Reasoning About Aspects.
ECOOP 2007: 451-475 |
| 62 | EE | John Boyland,
Dave Clarke,
Gary T. Leavens,
Francesco Logozzo,
Arnd Poetzsch-Heffter:
Formal Techniques for Java-Like Programs.
ECOOP Workshops 2007: 99-107 |
| 61 | EE | 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 |
| 60 | EE | 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 |
| 59 | EE | Gary T. Leavens,
Peter Müller:
Information Hiding and Visibility in Interface Specifications.
ICSE 2007: 385-395 |
| 58 | EE | 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 |
| 57 | EE | Gary T. Leavens,
Curtis Clifton:
Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples.
SPLAT 2007: 6 |
| 56 | EE | 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) |
| 2006 |
|---|
| 55 | EE | 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 |
| 54 | EE | 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 |
| 53 | EE | Gary T. Leavens:
JML's Rich, Inherited Specifications for Behavioral Subtypes.
ICFEM 2006: 2-34 |
| 52 | EE | 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) |
| 51 | EE | 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) |
| 50 | EE | Gary T. Leavens:
Not a Number of Floating Point Problems.
Journal of Object Technology 5(2): 75-83 (2006) |
| 49 | EE | Peter Müller,
Arnd Poetzsch-Heffter,
Gary T. Leavens:
Modular invariants for layered object structures.
Sci. Comput. Program. 62(3): 253-286 (2006) |
| 48 | EE | Curtis Clifton,
Gary T. Leavens:
MiniMAO: An imperative core language for studying aspect-oriented reasoning.
Sci. Comput. Program. 63(3): 321-374 (2006) |
| 2005 |
|---|
| 47 | EE | Yoonsik Cheon,
Gary T. Leavens:
A contextual interpretation of undefinedness for runtime assertion checking.
AADEBUG 2005: 149-158 |
| 46 | EE | 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 |
| 45 | EE | 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 |
| 44 | EE | Gary T. Leavens,
Curtis Clifton:
Lessons from the JML Project.
VSTTE 2005: 134-143 |
| 43 | EE | 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) |
| 42 | EE | 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) |
| 41 | EE | 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) |
| 2004 |
|---|
| 40 | EE | Gary T. Leavens:
Invited Talk: JML framed!
PASTE 2004: 1 |
| 2003 |
|---|
| 39 | EE | Susan Eisenbach,
Gary T. Leavens,
Peter Müller,
Arnd Poetzsch-Heffter,
Erik Poll:
Formal Techniques for Java-Like Programs.
ECOOP Workshops 2003: 62-71 |
| 38 | | 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) |
| 37 | EE | 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: (2003) |
| 2002 |
|---|
| 36 | EE | Yoonsik Cheon,
Gary T. Leavens:
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.
ECOOP 2002: 231-255 |
| 35 | EE | Sophia Drossopoulou,
Susan Eisenbach,
Gary T. Leavens,
Arnd Poetzsch-Heffter,
Erik Poll:
Formal Techniques for Java-like Programs.
ECOOP Workshops 2002: 203-210 |
| 34 | EE | 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 |
| 2001 |
|---|
| 33 | EE | Gary T. Leavens,
Sophia Drossopoulou,
Susan Eisenbach,
Arnd Poetzsch-Heffter,
Erik Poll:
Formal Techniques for Java Programs.
ECOOP Workshops 2001: 30-40 |
| 32 | EE | Tim Wahls,
Gary T. Leavens:
Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs.
SAC 2001: 567-575 |
| 31 | | Susan Eisenbach,
Gary T. Leavens:
Special issue: formal techniques for Java programs.
Concurrency and Computation: Practice and Experience 13(13): 1121-1123 (2001) |
| 2000 |
|---|
| 30 | EE | 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 |
| 29 | EE | Curtis Clifton,
Gary T. Leavens,
Craig Chambers,
Todd D. Millstein:
MultiJava: modular open classes and symmetric multiple dispatch for Java.
OOPSLA 2000: 130-145 |
| 28 | EE | Clyde Ruby,
Gary T. Leavens:
Safely creating correct subclasses without seeing superclass code.
OOPSLA 2000: 208-228 |
| 27 | EE | Gary T. Leavens,
Don Pigozzi:
A Complete Algebraic Characterization of Behavioral Subtyping.
Acta Inf. 36(8): 617-663 (2000) |
| 26 | | Tim Wahls,
Gary T. Leavens,
Albert L. Baker:
Executing Formal Specifications with Concurrent Constraint Programming.
Autom. Softw. Eng. 7(4): 315-343 (2000) |
| 1999 |
|---|
| 25 | EE | Bart Jacobs,
Gary T. Leavens,
Peter Müller,
Arnd Poetzsch-Heffter:
Formal Techniques for Java Programs.
ECOOP Workshops 1999: 97-115 |
| 24 | EE | Gary T. Leavens,
Tim Wahls,
Albert L. Baker:
Formal Semantics for SA Style Data Flow Diagram Specification Languages.
SAC 1999: 526-532 |
| 23 | EE | Gary T. Leavens,
Albert L. Baker:
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications.
World Congress on Formal Methods 1999: 1087-1106 |
| 1998 |
|---|
| 22 | EE | Gary T. Leavens,
Todd D. Millstein:
Multiple Dispatch as Dispatch on Tuples.
OOPSLA 1998: 374-387 |
| 21 | EE | Gary T. Leavens,
Don Pigozzi:
Class-Based and Algebraic Models of Objects.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 20 | | Gary T. Leavens,
Jeannette M. Wing:
Protective Interface Specifications.
Formal Asp. Comput. 10(1): 59-75 (1998) |
| 1997 |
|---|
| 19 | | Gary T. Leavens,
Jeannette M. Wing:
Protective Interface Specifications.
TAPSOFT 1997: 520-534 |
| 18 | EE | Gary T. Leavens,
Don Pigozzi:
The Behavior-Realization Adjunction and Generalized Homomorphic Relations.
Theor. Comput. Sci. 177(1): 183-216 (1997) |
| 1996 |
|---|
| 17 | EE | Krishna Kishore Dhara,
Gary T. Leavens:
Forcing Behavioral Subtyping through Specification Inheritance.
ICSE 1996: 258-267 |
| 16 | | Steven L. Jenkins,
Gary T. Leavens:
Polymorphic Type-Checking in Scheme.
Comput. Lang. 22(4): 215-223 (1996) |
| 1995 |
|---|
| 15 | EE | Craig Chambers,
Gary T. Leavens:
Typechecking and Modules for Multimethods.
ACM Trans. Program. Lang. Syst. 17(6): 805-843 (1995) |
| 14 | | Gary T. Leavens,
William E. Weihl:
Specification and Verification of Object-Oriented Programs Using Supertype Abstraction
Acta Inf. 32(8): 705-778 (1995) |
| 13 | EE | Krishna Kishore Dhara,
Gary T. Leavens:
Weak behavioral subtyping for types with mutable objects.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 12 | | Giuseppe Castagna,
Gary T. Leavens:
Foundation of Object-Oriented Languages, 2nd Workshop Report.
SIGPLAN Notices 30(2): 5-11 (1995) |
| 11 | | 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) |
| 1994 |
|---|
| 10 | | Craig Chambers,
Gary T. Leavens:
Typechecking and Modules for Multi-Methods.
OOPSLA 1994: 1-15 |
| 9 | | Gary T. Leavens:
Inheritance of Interface Specifications (Extended Abstract).
Workshop on Interface Definition Languages 1994: 129-138 |
| 8 | EE | Yoonsik Cheon,
Gary T. Leavens:
The Larch/Smalltalk Interface Specification Language.
ACM Trans. Softw. Eng. Methodol. 3(3): 221-253 (1994) |
| 7 | | Yoonsik Cheon,
Gary T. Leavens:
A Quick Overview of Larch/C++.
JOOP 7(6): 39-49 (1994) |
| 1992 |
|---|
| 6 | | Gary T. Leavens,
Yoonsik Cheon:
Preliminary Design of Larch/C++.
Larch 1992: 159-184 |
| 1991 |
|---|
| 5 | | Gary T. Leavens,
Don Pigozzi:
Typed Homomorphic Relations Extended with Sybtypes.
MFPS 1991: 144-167 |
| 4 | | 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 |
| 3 | | Gary T. Leavens:
Modular Specification and Verification of Object-Oriented Programs.
IEEE Software 8(4): 72-80 (1991) |
| 2 | | Gary T. Leavens:
Introduction to the literature on object-oriented design, programming, and languages.
OOPS Messenger 2(4): 40-53 (1991) |
| 1990 |
|---|
| 1 | | Gary T. Leavens,
William E. Weihl:
Reasoning about Object-Oriented Programs that Use Subtypes.
OOPSLA/ECOOP 1990: 212-223 |
