Gary T. Leavens

	2010
75		Tomás Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek: Challenge benchmarks for verification of real-time programs. PLPV 2010: 57-62
	2009
74		Shail Arora, Gary T. Leavens: 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
73		Shail Arora, Gary T. Leavens: 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
72		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
71		C. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar: The verified software initiative: A manifesto. ACM Comput. Surv. 41(4): (2009)
	2008
70		Hridesh Rajan, Gary T. Leavens: Ptolemy: A Language with Quantified, Typed Events. ECOOP 2008: 155-179
69		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
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		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)
66		Gary T. Leavens: Use concurrent programming models to motivate teaching of programming languages. SIGPLAN Notices 43(11): 93-98 (2008)
	2007
65		Gary T. Leavens: Tutorial on JML, the java modeling language. ASE 2007: 573
64		Gary T. Leavens, Joseph R. Kiniry, Erik Poll: A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV 2007: 37
63		Curtis Clifton, Gary T. Leavens, James Noble: MAO: Ownership and Effects for More Effective Reasoning About Aspects. ECOOP 2007: 451-475
62		John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
61		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		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		Gary T. Leavens, Peter Müller: Information Hiding and Visibility in Interface Specifications. ICSE 2007: 385-395
58		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		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		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		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		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		Gary T. Leavens: JML's Rich, Inherited Specifications for Behavioral Subtypes. ICFEM 2006: 2-34
52		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		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		Gary T. Leavens: Not a Number of Floating Point Problems. Journal of Object Technology 5(2): 75-83 (2006)
49		Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006)
48		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		Yoonsik Cheon, Gary T. Leavens: A contextual interpretation of undefinedness for runtime assertion checking. AADEBUG 2005: 149-158
46		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		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		Gary T. Leavens, Curtis Clifton: Lessons from the JML Project. VSTTE 2005: 134-143
43		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		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		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		Gary T. Leavens: Invited Talk: JML framed! PASTE 2004: 1
	2003
39		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		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		Yoonsik Cheon, Gary T. Leavens: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. ECOOP 2002: 231-255
35		Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210
34		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		Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40
32		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		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		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		Clyde Ruby, Gary T. Leavens: Safely creating correct subclasses without seeing superclass code. OOPSLA 2000: 208-228
27		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		Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115
24		Gary T. Leavens, Tim Wahls, Albert L. Baker: Formal Semantics for SA Style Data Flow Diagram Specification Languages. SAC 1999: 526-532
23		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		Gary T. Leavens, Todd D. Millstein: Multiple Dispatch as Dispatch on Tuples. OOPSLA 1998: 374-387
21		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		Gary T. Leavens, Don Pigozzi: The Behavior-Realization Adjunction and Generalized Homomorphic Relations. Theor. Comput. Sci. 177(1): 183-216 (1997)
	1996
17		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		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		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		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

Coauthor Index

1	Jean-Raymond Abrial	[54]
2	Elvira Albert	[69]
3	Jonathan Aldrich	[60] [61]
4	Eric Allen	[67]
5	Pierre America	[4]
6	Davide Ancona	[55]
7	Shail Arora	[73] [74]
8	Mark W. Bailey	[67]
9	Albert L. Baker	[23] [24] [26] [52]
10	Anindya Banerjee	[69]
11	Michael Barnett	[60] [61]
12	Don S. Batory	[54]
13	Rastislav Bodík	[67]
14	John Tang Boyland (John Boyland)	[62]
15	Kim B. Bruce	[11] [67]
16	Lilian Burdy	[37] [43]
17	Michael J. Butler	[54]
18	Luca Cardelli	[11]
19	Giuseppe Castagna	[11] [12]
20	Martine Ceberio	[68]
21	Patrice Chalin	[45]
22	Craig Chambers	[10] [15] [29] [51]
23	Dennis de Champeaux	[4]
24	Yoonsik Cheon	[6] [7] [8] [34] [36] [37] [41] [42] [43] [47] [68]
25	Dave Clarke	[62]
26	Curtis Clifton	[29] [34] [42] [44] [48] [51] [57] [63]
27	Alessandro Coglio	[54]
28	David R. Cok	[34] [37] [42] [43]
29	Derek Coleman	[4]
30	Antonio Cortes	[68]
31	Krishna Kishore Dhara	[13] [17]
32	Sophia Drossopoulou	[30] [33] [35] [55] [69]
33	Roger Duke	[4]
34	Matthew B. Dwyer	[46]
35	Stephen H. Edwards	[41]
36	Jonathan Eifrig	[11]
37	Susan Eisenbach	[30] [31] [33] [35] [39]
38	Michael D. Ernst	[37] [43]
39	Kathleen Fisher	[67]
40	Kathi Fisler	[54]
41	Cormac Flanagan	[46]
42	Stephen N. Freund	[67]
43	Dimitra Giannakopoulou	[60] [61]
44	Ghaith Haddad	[75]
45	Robert Harper	[67]
46	John Hatcliff	[46]
47	Fiona Hayes	[4]
48	Eric C. R. Hehner	[54]
49	C. A. R. Hoare (Tony Hoare)	[71]
50	Marieke Huisman	[69]
51	Atsushi Igarashi	[55] [69]
52	Bart Jacobs	[25] [30]
53	Steven L. Jenkins	[16]
54	Cliff B. Jones	[54]
55	Simon L. Peyton Jones	[54]
56	Tomás Kalibera	[75]
57	Joseph Kiniry (Joseph R. Kiniry)	[37] [43] [45] [64]
58	Chandra Krintz	[67]
59	Shriram Krishnamurthi	[67]
60	James R. Larus	[67]
61	Doug Lea	[4] [67]
62	K. Rustan M. Leino	[37] [43] [56]
63	Francesco Logozzo	[62]
64	Dale Miller	[54]
65	Todd D. Millstein	[22] [29] [51]
66	Jayadev Misra	[71]
67	Peter Müller	[25] [30] [38] [39] [49] [56] [59] [69]
68	David A. Naumann	[58]
69	James Noble	[63]
70	Pavel Parizek	[75]
71	Benjamin C. Pierce	[11]
72	Don Pigozzi	[5] [18] [21] [27]
73	Arnd Poetzsch-Heffter	[25] [30] [33] [35] [38] [39] [49] [55] [62]
74	Erik Poll	[33] [35] [37] [39] [43] [45] [64]
75	Lori L. Pollock	[67]
76	Hridesh Rajan	[70] [72]
77	Stuart Reges	[67]
78	Martin C. Rinard	[67]
79	Robby	[46]
80	Edwin Rodríguez	[46]
81	Clyde Ruby	[28] [34] [42] [52]
82	Steve M. Shaner	[58] [72]
83	Natarajan Shankar	[71]
84	Natasha Sharygina	[60] [61]
85	Mark A. Sheldon	[67]
86	Murali Sitaraman	[41] [54]
87	Douglas R. Smith	[54]
88	Scott F. Smith	[11]
89	Aaron Stump	[54]
90	Jia Tao	[72]
91	Valery Trifonov	[11]
92	Franklyn A. Turbak	[67]
93	Jan Vitek	[75]
94	Tim Wahls	[24] [26] [32]
95	Mitchell Wand	[67]
96	William E. Weihl	[1] [14]
97	Jeannette M. Wing	[19] [20]
98	Tobias Wrigstad	[69]
99	Elena Zucca	[55]

Colors in the list of coauthors