dblp.uni-trier.dewww.uni-trier.de

Gary T. Leavens Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
72EEHridesh 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
71EEC. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar: The verified software initiative: A manifesto. ACM Comput. Surv. 41(4): (2009)
2008
70EEHridesh Rajan, Gary T. Leavens: Ptolemy: A Language with Quantified, Typed Events. ECOOP 2008: 155-179
69EEElvira 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
67EEEric 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)
66EEGary T. Leavens: Use concurrent programming models to motivate teaching of programming languages. SIGPLAN Notices 43(11): 93-98 (2008)
2007
65EEGary T. Leavens: Tutorial on JML, the java modeling language. ASE 2007: 573
64EEGary T. Leavens, Joseph R. Kiniry, Erik Poll: A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV 2007: 37
63EECurtis Clifton, Gary T. Leavens, James Noble: MAO: Ownership and Effects for More Effective Reasoning About Aspects. ECOOP 2007: 451-475
62EEJohn Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter: Formal Techniques for Java-Like Programs. ECOOP Workshops 2007: 99-107
61EEJonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 2007: 609-610
60EEJonathan 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
59EEGary T. Leavens, Peter Müller: Information Hiding and Visibility in Interface Specifications. ICSE 2007: 385-395
58EESteve 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
57EEGary T. Leavens, Curtis Clifton: Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples. SPLAT 2007: 6
56EEGary 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
55EEDavide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca: Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58
54EEGary 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
53EEGary T. Leavens: JML's Rich, Inherited Specifications for Behavioral Subtypes. ICFEM 2006: 2-34
52EEGary 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)
51EECurtis 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)
50EEGary T. Leavens: Not a Number of Floating Point Problems. Journal of Object Technology 5(2): 75-83 (2006)
49EEPeter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens: Modular invariants for layered object structures. Sci. Comput. Program. 62(3): 253-286 (2006)
48EECurtis Clifton, Gary T. Leavens: MiniMAO: An imperative core language for studying aspect-oriented reasoning. Sci. Comput. Program. 63(3): 321-374 (2006)
2005
47EEYoonsik Cheon, Gary T. Leavens: A contextual interpretation of undefinedness for runtime assertion checking. AADEBUG 2005: 149-158
46EEEdwin 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
45EEPatrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll: Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. FMCO 2005: 342-363
44EEGary T. Leavens, Curtis Clifton: Lessons from the JML Project. VSTTE 2005: 134-143
43EELilian 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)
42EEGary 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)
41EEYoonsik 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
40EEGary T. Leavens: Invited Talk: JML framed! PASTE 2004: 1
2003
39EESusan 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)
37EELilian 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
36EEYoonsik Cheon, Gary T. Leavens: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. ECOOP 2002: 231-255
35EESophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210
34EEGary 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
33EEGary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40
32EETim 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
30EESophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54
29EECurtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein: MultiJava: modular open classes and symmetric multiple dispatch for Java. OOPSLA 2000: 130-145
28EEClyde Ruby, Gary T. Leavens: Safely creating correct subclasses without seeing superclass code. OOPSLA 2000: 208-228
27EEGary 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
25EEBart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115
24EEGary T. Leavens, Tim Wahls, Albert L. Baker: Formal Semantics for SA Style Data Flow Diagram Specification Languages. SAC 1999: 526-532
23EEGary T. Leavens, Albert L. Baker: Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. World Congress on Formal Methods 1999: 1087-1106
1998
22EEGary T. Leavens, Todd D. Millstein: Multiple Dispatch as Dispatch on Tuples. OOPSLA 1998: 374-387
21EEGary 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
19EEGary T. Leavens, Jeannette M. Wing: Protective Interface Specifications. TAPSOFT 1997: 520-534
18EEGary T. Leavens, Don Pigozzi: The Behavior-Realization Adjunction and Generalized Homomorphic Relations. Theor. Comput. Sci. 177(1): 183-216 (1997)
1996
17EEKrishna 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
15EECraig 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)
13EEKrishna 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
8EEYoonsik 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
5EEGary 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)