Gary T. Leavens

According to our database1, Gary T. Leavens authored at least 117 papers between 1984 and 2018.

Collaborative distances :
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Automated translation of VDM to JML-annotated Java.
STTT, 2018

Unifying separation logic and region logic to allow interoperability.
Formal Asp. Comput., 2018

An algorithm and tool to infer practical postconditions.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
Information Hiding in RGB Images Using an Improved Matrix Pattern Approach.
Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2017

2016
Specifying and Verifying Advanced Control Features.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Spekl: A Layered System for Specification Authoring, Sharing, and Usage.
Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

Towards Modular Reasoning for Context-Oriented Programs.
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

Reasoning tradeoffs in languages with enhanced modularity features.
Proceedings of the 15th International Conference on Modularity, 2016

2015
Behavioral Subtyping, Specification Inheritance, and Modular Reasoning.
ACM Trans. Program. Lang. Syst., 2015

JML: Expressive Contracts, Specification Inheritance, and Behavioral Subtyping.
Proceedings of the Principles and Practices of Programming on The Java Platform, 2015

Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Conditional effects in fine-grained region logic.
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

Enforcing information hiding in interface specifications: a client-aware checking approach.
Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

2014
Verily: a web framework for creating more reasonable web applications.
Proceedings of the 36th International Conference on Software Engineering, 2014

Static verification of ptolemyrely programs using openJML.
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, 2014

AspectJML: modular specification and runtime checking for crosscutting contracts.
Proceedings of the 13th International Conference on Modularity, 2014

Modularizing crosscutting contracts with AspectJML.
Proceedings of the 13th International Conference on Modularity, 2014

2013
The Java Modeling Language (JML) (NII Shonan Meeting 2013-3).
NII Shonan Meet. Rep., 2013

Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study.
Sci. Comput. Program., 2013

Specifying subtypes in Safety Critical Java programs.
Concurrency and Computation: Practice and Experience, 2013

Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification.
Proceedings of the Software Composition - 12th International Conference, 2013

Client-aware checking and information hiding in interface specifications with JML/ajmlc.
Proceedings of the Conference on Systems, 2013

Modular aspect-oriented design rule enforcement with XPIDRs.
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013

2012
Behavioral interface specification languages.
ACM Comput. Surv., 2012

Semantic clone detection using method IOE-behavior.
Proceedings of the Proceeding of the 6th International Workshop on Software Clones, 2012

@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011
Special Section on Formal Techniques for Java-like Programs.
Journal of Object Technology, 2011

Modularizing crosscutting concerns with ptolemy.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Specifying subtypes in SCJ programs.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Applying translucid contracts for modular reasoning about aspect and object oriented events.
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011


On the interplay of exception handling and design by contract: an aspect-oriented recovery approach.
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

Modularizing crosscutting concerns with Ptolemy.
Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011

Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
The future of library specification.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Challenge benchmarks for verification of real-time programs.
Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

Translucid contracts for modular reasoning about aspect-oriented programs.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

The design of SafeJML, a specification language for SCJ with support for WCET specification.
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

2009
Challenge benchmarks for verification of real-time programs: (abstract only).
SIGPLAN Notices, 2009

The verified software initiative: A manifesto.
ACM Comput. Surv., 2009

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.
Proceedings of the Programming Languages and Systems, 2009

2008
Use concurrent programming models to motivate teaching of programming languages.
SIGPLAN Notices, 2008

SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations.
SIGPLAN Notices, 2008

Integrating Random Testing with Constraints for Improved Efficiency and Diversity.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

Ptolemy: A Language with Quantified, Typed Events.
Proceedings of the ECOOP 2008, 2008

2007
Specification and verification challenges for sequential object-oriented programs.
Formal Asp. Comput., 2007

Specification and verification of component-based systems 2007.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Specification and verification of component-based systems 2007.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Modular verification of higher-order methods with mandatory calls specified by model programs.
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Tutorial on JML, the java modeling language.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Information Hiding and Visibility in Interface Specifications.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

MAO: Ownership and Effects for More Effective Reasoning About Aspects.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Multiple concerns in aspect-oriented language design: a language engineering approach to balancing benefits, with examples.
Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, 2007

2006
MultiJava: Design rationale, compiler implementation, and applications.
ACM Trans. Program. Lang. Syst., 2006

Preliminary design of JML: a behavioral interface specification language for java.
ACM SIGSOFT Software Engineering Notes, 2006

Modular invariants for layered object structures.
Sci. Comput. Program., 2006

MiniMAO: An imperative core language for studying aspect-oriented reasoning.
Sci. Comput. Program., 2006

Not a Number of Floating Point Problems.
Journal of Object Technology, 2006

JML's Rich, Inherited Specifications for Behavioral Subtypes.
Proceedings of the Formal Methods and Software Engineering, 2006

Roadmap for enhanced languages and methods to aid verification.
Proceedings of the Generative Programming and Component Engineering, 2006

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2005
An overview of JML tools and applications.
STTT, 2005

Model variables: cleanly supporting abstraction in design by contract.
Softw., Pract. Exper., 2005

How the design of JML accommodates both runtime assertion checking and formal verification.
Sci. Comput. Program., 2005

Lessons from the JML Project.
Proceedings of the Verified Software: Theories, 2005

Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Extending JML for Modular Specification and Verification of Multi-threaded Programs.
Proceedings of the ECOOP 2005, 2005

A contextual interpretation of undefinedness for runtime assertion checking.
Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004
Invited Talk: JML framed!
Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2004

2003
An overview of JML tools and applications.
Electr. Notes Theor. Comput. Sci., 2003

Modular specification of frame properties in JML.
Concurrency and Computation: Practice and Experience, 2003

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.
Proceedings of the Formal Methods for Components and Objects, 2002

Formal Techniques for Java-like Programs.
Proceedings of the Object-Oriented Technology, 2002

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.
Proceedings of the ECOOP 2002, 2002

2001
Special issue: formal techniques for Java programs.
Concurrency and Computation: Practice and Experience, 2001

Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

Formal Techniques for Java Programs.
Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

2000
Formal methods for multimethod software components.
ACM SIGSOFT Software Engineering Notes, 2000

Executing Formal Specifications with Concurrent Constraint Programming.
Autom. Softw. Eng., 2000

A Complete Algebraic Characterization of Behavioral Subtyping.
Acta Inf., 2000

Safely creating correct subclasses without seeing superclass code.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

JML (poster session): notations and tools supporting detailed design in Java.
Proceedings of the Object Oriented Programming Systems Languages and Applications Conference, 2000

MultiJava: modular open classes and symmetric multiple dispatch for Java.
Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

Formal Techniques for Java Programs.
Proceedings of the Object-Oriented Technology, 2000

1999
Formal Semantics for SA Style Data Flow Diagram Specification Languages.
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Enhancing the Pre- and Postcondition Technique for More Expressive Specifications.
Proceedings of the FM'99 - Formal Methods, 1999

Formal Techniques for Java Programs.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

JML: A Notation for Detailed Design.
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998
Protective Interface Specifications.
Formal Asp. Comput., 1998

Class-Based and Algebraic Models of Objects.
Electr. Notes Theor. Comput. Sci., 1998

Multiple Dispatch as Dispatch on Tuples.
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1997
The Behavior-Realization Adjunction and Generalized Homomorphic Relations.
Theor. Comput. Sci., 1997

Protective Interface Specifications.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996
Polymorphic Type-Checking in Scheme.
Comput. Lang., 1996

Forcing Behavioral Subtyping through Specification Inheritance.
Proceedings of the 18th International Conference on Software Engineering, 1996

1995
Typechecking and Modules for Multimethods.
ACM Trans. Program. Lang. Syst., 1995

On Binary Methods.
TAPOS, 1995

Foundation of Object-Oriented Languages, 2nd Workshop Report.
SIGPLAN Notices, 1995

Weak behavioral subtyping for types with mutable objects.
Electr. Notes Theor. Comput. Sci., 1995

Specification and Verification of Object-Oriented Programs Using Supertype Abstraction.
Acta Inf., 1995

1994
The Larch/Smalltalk Interface Specification Language.
ACM Trans. Softw. Eng. Methodol., 1994

Programs, Recursion and Unbounded Choice (Wim H. Hesselink).
SIAM Review, 1994

A Quick Overview of Larch/C++.
JOOP, 1994

Typechecking and Modules for Multi-Methods.
Proceedings of the OOPSLA'94, 1994

Inheritance of Interface Specifications (Extended Abstract).
Proceedings of the Workshop on Interface Definition Languages, 1994

1992
Preliminary Design of Larch/C++.
Proceedings of the First International Workshop on Larch, 1992

1991
Modular Specification and Verification of Object-Oriented Programs.
IEEE Software, 1991

Introduction to the literature on object-oriented design, programming, and languages.
OOPS Messenger, 1991

Formal Techniques for OO Software Development (Panel).
Proceedings of the Conference on Object-Oriented Programming Systems, 1991

Typed Homomorphic Relations Extended with Sybtypes.
Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990
Reasoning about Object-Oriented Programs that Use Subtypes.
Proceedings of the Conference on Object-Oriented Programming Systems, 1990

1984
Prettyprinting styles for various languages.
SIGPLAN Notices, 1984


  Loading...