Thomas W. Reps

According to our database1, Thomas W. Reps
  • authored at least 208 papers between 1981 and 2017.
  • has a "Dijkstra number"2 of three.

Awards

ACM Fellow

ACM Fellow 2005, "For contributions to automated program analysis and synthesis.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Newtonian Program Analysis via Tensor Product.
ACM Trans. Program. Lang. Syst., 2017

Source Forager: A Search Engine for Similar Source Code.
CoRR, 2017

Neural Attribute Machines for Program Generation.
CoRR, 2017

Sound Bit-Precise Numerical Domains.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

The care and feeding of wild-caught mutants.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

A New Abstraction Framework for Affine Transformers.
Proceedings of the Static Analysis - 24th International Symposium, 2017

Component-based synthesis for complex APIs.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Compositional recurrence analysis revisited.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Automated Resource Analysis with Coq Proof Objects.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Automating Abstract Interpretation.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Newtonian program analysis via tensor product.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Speeding up machine-code synthesis.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

An improved algorithm for slicing machine code.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs.
Proceedings of the Programming Languages and Systems, 2016

2015
PostHat and All That: Automating Abstract Interpretation.
Electr. Notes Theor. Comput. Sci., 2015

Synthesis of machine code from semantics.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Partial evaluation of machine code.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Recovering execution data from incomplete observations.
Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

2014
Abstract Domains of Affine Relations.
ACM Trans. Program. Lang. Syst., 2014

Specialization Slicing.
ACM Trans. Program. Lang. Syst., 2014

Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351).
Dagstuhl Reports, 2014

Satisfiability modulo abstraction for separation logic with linked lists.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Efficient runtime-enforcement techniques for policy weaving.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Specialization slicing.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Recovery of Class Hierarchies and Composition Relationships from Machine Code.
Proceedings of the Compiler Construction - 23rd International Conference, 2014

Property-Directed Shape Analysis.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach.
ACM Trans. Softw. Eng. Methodol., 2013

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis.
ACM Trans. Program. Lang. Syst., 2013

Declarative, Temporal, and Practical Programming with Capabilities.
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Secure programs via game-based synthesis.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.
Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2012
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051).
Dagstuhl Reports, 2012

A Generalization of Stålmarck's Method.
Proceedings of the Static Analysis - 19th International Symposium, 2012

Bilateral Algorithms for Symbolic Abstraction.
Proceedings of the Static Analysis - 19th International Symposium, 2012

A Method for Symbolic Computation of Abstract Operations.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Secure Programming via Visibly Pushdown Safety Games.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

OpenNWA: A Nested-Word Automaton Library.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Symbolic analysis via semantic reinterpretation.
STTT, 2011

Finding concurrency-related bugs using random isolation.
STTT, 2011

A decision procedure for detecting atomicity violations for communicating processes with locks.
STTT, 2011

Checking conformance of a producer and a consumer.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Abstract Domains of Affine Relations.
Proceedings of the Static Analysis - 18th International Symposium, 2011

ConSeq: detecting concurrency bugs through sequential errors.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
Analysis Techniques for Information Security
Synthesis Lectures on Information Security, Privacy, and Trust, Morgan & Claypool Publishers, 2010

Finite differencing of logical formulas for static analysis.
ACM Trans. Program. Lang. Syst., 2010

A relational approach to interprocedural shape analysis.
ACM Trans. Program. Lang. Syst., 2010

WYSINWYX: What you see is not what you eXecute.
ACM Trans. Program. Lang. Syst., 2010

View-Augmented Abstractions.
Electr. Notes Theor. Comput. Sci., 2010

Statically Inferring Complex Heap, Array, and Numeric Invariants.
Proceedings of the Static Analysis - 17th International Symposium, 2010

DIFC programs by automatic instrumentation.
Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

Directed Proof Generation for Machine Code.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Reducing concurrent analysis under a context bound to sequential analysis.
Formal Methods in System Design, 2009

Simulating reachability using first-order logic with applications to verification of linked data structures
Logical Methods in Computer Science, 2009

Finding Concurrency-Related Bugs Using Random Isolation.
Proceedings of the Verification, 2009

Symbolic Analysis via Semantic Reinterpretation.
Proceedings of the Model Checking Software, 2009

A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.
Proceedings of the Model Checking Software, 2009

Verifying Information Flow Control over Unbounded Processes.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Interprocedural Analysis of Concurrent Programs Under a Context Bound.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Analyzing Stripped Device-Driver Executables.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Solving Multiple Dataflow Queries Using WPDSs.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Language Strength Reduction.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Improved Memory-Access Analysis for x86 Executables.
Proceedings of the Compiler Construction, 17th International Conference, 2008

A System for Generating Static Analyzers for Machine Instructions.
Proceedings of the Compiler Construction, 17th International Conference, 2008

Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
A Next-Generation Platform for Analyzing Executables.
Proceedings of the Malware Detection, 2007

Logical characterizations of heap abstractions.
ACM Trans. Comput. Log., 2007

Constructing Specialized Shape Analyses for Uniform Change.
Proceedings of the Verification, 2007

DIVINE: DIscovering Variables IN Executables.
Proceedings of the Verification, 2007

Abstract Error Projection.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Guided Static Analysis.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Program Analysis Using Weighted Pushdown Systems.
Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

Low-Level Library Analysis and Summarization.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Revamping TVLA: Making Parametric Shape Analysis Competitive.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Comparison Under Abstraction for Verifying Linearizability.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Labelled Clauses.
Proceedings of the Automated Deduction, 2007

Shape Analysis and Applications.
The Compiler Design Handbook, 2nd ed., 2007

2006
Verifying Temporal Heap Properties Specified via Evolution Logic.
Logic Journal of the IGPL, 2006

Extracting Output Formats from Executables.
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006

Weighted Pushdown Systems and Trust-Management Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Verifying Concurrent Message-Passing C Programs with Recursive Calls.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm.
Proceedings of the Static Analysis, 13th International Symposium, 2006

Recency-Abstraction for Heap-Allocated Storage.
Proceedings of the Static Analysis, 13th International Symposium, 2006

Intermediate-representation recovery from low-level code.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Reducing the Dependence of SPKI/SDSI on PKI.
Proceedings of the Computer Security, 2006

Improving Pushdown System Model Checking.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Lookahead Widening.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

An Appreciation of the Work of Reinhard Wilhelm.
Proceedings of the Program Analysis and Compilation, 2006

Refinement-Based Verification for Possibly-Cyclic Lists.
Proceedings of the Program Analysis and Compilation, 2006

2005
Analysis of recursive state machines.
ACM Trans. Program. Lang. Syst., 2005

Weighted pushdown systems and their application to interprocedural dataflow analysis.
Sci. Comput. Program., 2005

Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work.
Electr. Notes Theor. Comput. Sci., 2005

Automatic Verification of Strongly Dynamic Software Systems.
Proceedings of the Verified Software: Theories, 2005

WYSINWYX: What You See Is Not What You eXecute.
Proceedings of the Verified Software: Theories, 2005

A Relational Abstraction for Functions.
Proceedings of the Static Analysis, 12th International Symposium, 2005

A semantics for procedure local heaps and its abstractions.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

A framework for numeric analysis of array operations.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Automatic discovery of API-level exploits.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

CodeSurfer/x86-A Platform for Analyzing x86 Executables.
Proceedings of the Compiler Construction, 14th International Conference, 2005

Abstraction Refinement via Inductive Learning.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Extended Weighted Pushdown Systems.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures.
Proceedings of the Automated Deduction, 2005

A Next-Generation Platform for Analyzing Executables.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004
Model checking SPKI/SDSI.
Journal of Computer Security, 2004

Symbolic Implementation of the Best Transformer.
Proceedings of the Verification, 2004

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Numeric Domains with Summarized Dimensions.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

A Relational Approach to Interprocedural Shape Analysis.
Proceedings of the Static Analysis, 11th International Symposium, 2004

The Boundary Between Decidability and Undecidability for Transitive-Closure Logics.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

Analyzing Memory Accesses in x86 Executables.
Proceedings of the Compiler Construction, 13th International Conference, 2004

Static Program Analysis via 3-Valued Logic.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Verification via Structure Simulation.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003
Design and Implementation of a Fine-Grained Software Inspection Tool.
IEEE Trans. Software Eng., 2003

Tool Support for Fine-Grained Software Inspection.
IEEE Software, 2003

Computational Divided Differencing and Divided-Difference Arithmetics.
Higher-Order and Symbolic Computation, 2003

Logical Characterizations of Heap Abstractions
CoRR, 2003

Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis.
Proceedings of the Static Analysis, 10th International Symposium, 2003

Verifying Temporal Heap Properties Specified via Evolution Logic.
Proceedings of the Programming Languages and Systems, 2003

Finite Differencing of Logical Formulas for Static Analysis.
Proceedings of the Programming Languages and Systems, 2003

On Generalized Authorization Problems.
Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

The Interprocedural Express-Lane Transformation.
Proceedings of the Compiler Construction, 12th International Conference, 2003

2002
Parametric shape analysis via 3-valued logic.
ACM Trans. Program. Lang. Syst., 2002

Program slicing for VHDL.
STTT, 2002

Static Program Analysis via 3-Valued Logic.
Proceedings of the Static Analysis, 9th International Symposium, 2002

Semantic Minimization of 3-Valued Propositional Formulae.
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Analysis of SPKI/SDSI Certificates Using Model Checking.
Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

Shape Analysis and Applications.
The Compiler Design Handbook, 2002

2001
Model Checking of Unrestricted Hierarchical State Machines.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Debugging via Run-Time Type Checking.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

Typestate Checking of Machine Code.
Proceedings of the Programming Languages and Systems, 2001

2000
Undecidability of context-sensitive data-independence analysis.
ACM Trans. Program. Lang. Syst., 2000

Interconvertibility of a class of set constraints and context-free-language reachability.
Theor. Comput. Sci., 2000

Safety checking of machine code.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

Putting static analysis to work for verification: A case study.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

Shape Analysis.
Proceedings of the Compiler Construction, 9th International Conference, 2000

1999
Identifying Modules via Concept Analysis.
IEEE Trans. Software Eng., 1999

Physical type checking for C.
ACM SIGSOFT Software Engineering Notes, 1999

Parametric Shape Analysis via 3-Valued Logic.
Proceedings of the POPL '99, 1999

Pointer Analysis for Programs with Structures and Casting.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

Physical Type Checking for C.
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1999

A Decidable Logic for Describing Linked Data Structures.
Proceedings of the Programming Languages and Systems, 1999

Coping with Type Casts in C.
Proceedings of the Software Engineering, 1999

Program Slicing of Hardware Description Languages.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

Interprocedural Path Profiling.
Proceedings of the Compiler Construction, 8th International Conference, 1999

1998
Solving Shape-Analysis Problems in Languages with Destructive Updating.
ACM Trans. Program. Lang. Syst., 1998

"Maximal-munch" Tokenization in Linear Time.
ACM Trans. Program. Lang. Syst., 1998

Program analysis via graph reachability.
Information & Software Technology, 1998

1997
Program Analysis via Graph Reachability.
Proceedings of the Logic Programming, 1997

Interconveritibility of Set Constraints and Context-Free Language Reachability.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

Identifying modules via concept analysis.
Proceedings of the 1997 International Conference on Software Maintenance (ICSM '97), 1997

The Use of Program Profiling for Software Testing.
Proceedings of the Informatik '97, 1997

The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem.
Proceedings of the Software Engineering, 1997

1996
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.
Theor. Comput. Sci., 1996

On the Computational Complexity of Dynamic Graph Problems.
Theor. Comput. Sci., 1996

An Incremental Algorithm for a Generalization of the Shortest-Path Problem.
J. Algorithms, 1996

On the Sequential Nature of Interprocedural Program-Analysis Problems.
Acta Inf., 1996

Program Generalization for Software Reuse: From C to C++.
Proceedings of the SIGSOFT '96, 1996

Solving Shape-Analysis Problems in Languages with Destructive Updating.
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

Program Specialization via Program Slicing.
Proceedings of the Partial Evaluation, International Seminar, 1996

1995
Program Integration for Languages with Procedure Calls.
ACM Trans. Softw. Eng. Methodol., 1995

Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Precise Interprocedural Chopping.
Proceedings of the SIGSOFT '95, 1995

Demand Interprocedural Dataflow Analysis.
Proceedings of the SIGSOFT '95, 1995

Precise Interprocedural Dataflow Analysis via Graph Reachability.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Shape Analysis as a Generalized Path Problem.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

Semantic Foundations of Binding Time Analysis for Imperative Programs.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1994
On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem.
Inf. Process. Lett., 1994

Speeding up Slicing.
Proceedings of the SIGSOFT '94, 1994

An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Solving Demand Versions of Interprocedural Analysis Problems.
Proceedings of the Compiler Construction, 5th International Conference, 1994

1993
Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism.
SPAA, 1993

A Categorized Bibliography on Incremental Computation.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Demand Interprocedural Program Analysis Using Logic Databases.
Proceedings of the Applications of Logic Databases, 1993

1992
A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations.
ACM Trans. Softw. Eng. Methodol., 1992

Programming environments: report on an international workshop at Dagstuhl Castle.
SIGPLAN Notices, 1992

The Use of Program Dependence Graphs in Software Engineering.
Proceedings of the 14th International Conference on Software Engineering, 1992

1991
Algebraic Properties of Program Integration.
Sci. Comput. Program., 1991

Efficient Comparison of Program Slices.
Acta Inf., 1991

A Theory of Program Modifications.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Modification Algebras.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990
Interprocedural Slicing Using Dependence Graphs.
ACM Trans. Program. Lang. Syst., 1990

A program integration algorithm that accommodates semantics-preserving transformations.
Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

Algebraic Properties of Program Integration.
Proceedings of the ESOP'90, 1990

1989
Integrating Noninterfering Versions of Programs.
ACM Trans. Program. Lang. Syst., 1989

The Semantics of Program Slicing and Program Integration.
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Illustrating Interference in Interfering Versions of Programs.
Proceedings of the 2nd International Workshop on Software Configuration Management, 1989

Dependence Analysis for Pointer Variables.
Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989

The Synthesizer Generator - A System for Constructing Language-Based Editors.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9623-9, 1989

The Synthesizer Generator Reference Manual, Third Edition.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9633-8, 1989

1988
Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications.
Acta Inf., 1988

Support for Integrating Program Variants in an Environment for Programming in the Large.
Proceedings of the International Workshop on Software Version and Configuration Control, 1988

On the Adequacy of Program Dependence Graphs for Representing Programs.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Integrating Non-Interfering Versions of Programs.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Interprocedural slicing using dependence graphs (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1988

Interprocedural Slicing Using Dependence Graphs.
Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

Semantics-Based Program Integration.
Proceedings of the ESOP '88, 1988

1987
Sublinear-Space Evaluation Algorithms for Attribute Grammars.
ACM Trans. Program. Lang. Syst., 1987

Language Processing in Program Editors.
IEEE Computer, 1987

1986
Remote Attribute Updating for Language-Based Editors.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1984
The Synthesizer Generator.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

Interactive Proof Checking.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Generating Language-Based Environments.
MIT Press, ISBN: 978-0-262-68146-9, 1984

1983
Incremental Context-Dependent Analysis for Language-Based Editors.
ACM Trans. Program. Lang. Syst., 1983

1982
Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors.
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982

1981
The Cornell Program Synthesizer: A Syntax-Directed Programming Environment.
Commun. ACM, 1981

Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors.
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981


  Loading...