Thomas W. Reps

Affiliations:
  • University of Wisconsin-Madison, Madison, USA


According to our database1, Thomas W. Reps authored at least 236 papers between 1981 and 2024.

Collaborative distances:

Awards

ACM Fellow

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs.
CoRR, 2024

2023
Synthesizing Specifications.
Proc. ACM Program. Lang., October, 2023

Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming.
Proc. ACM Program. Lang., January, 2023

Unrealizability Logic.
Proc. ACM Program. Lang., January, 2023

Optimal Symbolic Bound Synthesis.
CoRR, 2023

slash: A Technique for Static Configuration-Logic Identification.
CoRR, 2023

Newtonian Program Analysis of Probabilistic Programs.
CoRR, 2023

Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback.
CoRR, 2023

Weighted Context-Free-Language Ordered Binary Decision Diagrams.
CoRR, 2023

Modular System Synthesis.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

Symbolic Quantum Simulation with Quasimodo.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Fast Graph Simplification for Interleaved-Dyck Reachability.
ACM Trans. Program. Lang. Syst., 2022

Synthesizing abstract transformers.
Proc. ACM Program. Lang., 2022

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.
CoRR, 2022

Semantic Robustness of Models of Source Code.
Proceedings of the IEEE International Conference on Software Analysis, 2022

Lightweight, Multi-Stage, Compiler-Assisted Application Specialization.
Proceedings of the 7th IEEE European Symposium on Security and Privacy, 2022

2021
Interprocedural Context-Unbounded Program Analysis Using Observation Sequences.
ACM Trans. Program. Lang. Syst., 2021

On the complexity of bidirected interleaved Dyck-reachability.
Proc. ACM Program. Lang., 2021

Semantics-guided synthesis.
Proc. ACM Program. Lang., 2021

Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems.
CoRR, 2021

Sound probabilistic inference via guide types.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Central moment analysis for cost accumulators in probabilistic programs.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Neural Program Generation Modulo Static Analysis.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Algebraic Program Analysis.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Synthesis with Asymptotic Resource Bounds.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Programmable Program Synthesis.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
A Generating-Extension-Generator for Machine Code.
CoRR, 2020

TOFU: Target-Orienter FUzzer.
CoRR, 2020

Tail Bound Analysis for Probabilistic Programs via Central Moments.
CoRR, 2020

Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Templates and recurrences: better together.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

A Dataset of Dockerfiles.
Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Learning from, understanding, and supporting DevOps artifacts for docker.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Closed forms for numerical loops.
Proc. ACM Program. Lang., 2019

Refinement of path expressions for static analysis.
Proc. ACM Program. Lang., 2019

A new abstraction framework for affine transformers.
Formal Methods Syst. Des., 2019

A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism.
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

Enabling Open-World Specification Mining via Unsupervised Learning.
CoRR, 2019

Proving Unrealizability for Syntax-Guided Synthesis.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Non-linear reasoning for invariant synthesis.
Proc. ACM Program. Lang., 2018

Code vectors: understanding programs through embedded abstracted symbolic traces.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

PMAF: an algebraic framework for static analysis of probabilistic programs.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Program Analyses Using Newton's Method (Invited Paper).
Proceedings of the Networked Systems - 6th International Conference, 2018

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

Model-assisted machine-code synthesis.
Proc. ACM Program. Lang., 2017

Program synthesis for interactive-security systems.
Formal Methods Syst. Des., 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

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

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
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

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

PostHat and All That: Automating Abstract Interpretation.
Proceedings of the Fourth Workshop on Tools for Automatic Program Analysis, 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.
Int. J. Softw. Tools Technol. Transf., 2011

Finding concurrency-related bugs using random isolation.
Int. J. Softw. Tools Technol. Transf., 2011

A decision procedure for detecting atomicity violations for communicating processes with locks.
Int. J. Softw. Tools Technol. Transf., 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

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, ISBN: 978-3-031-02334-7, 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.
Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 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 Syst. Des., 2009

Simulating reachability using first-order logic with applications to verification of linked data structures
Log. Methods Comput. Sci., 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

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.
Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006
Verifying Temporal Heap Properties Specified via Evolution Logic.
Log. J. 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.
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 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

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

2004
Model checking SPKI/SDSI.
J. Comput. Secur., 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

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 Softw., 2003

Computational Divided Differencing and Divided-Difference Arithmetics.
High. Order Symb. Comput., 2003

Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis.
Proceedings of the Static Analysis, 10th International Symposium, 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.
Int. J. Softw. Tools Technol. Transf., 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

Static Program Analysis via 3-Valued Logic.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

Shape Analysis and Applications.
Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 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

Algorithmic Differencing.
Proceedings of the Perspectives on Enclosure Methods, 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 Softw. Eng. Notes, 1999

Pointer Analysis for Programs with Structures and Casting.
Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 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 comprehension and software reengineering.
ACM SIGSOFT Softw. Eng. Notes, 1998

Program analysis via graph reachability.
Inf. Softw. Technol., 1998

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

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 Informatica, 1996

Program Generalization for Software Reuse: From C to C++.
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 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 Chopping.
Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Demand Interprocedural Dataflow Analysis.
Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 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 Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 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.
Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 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.
ACM 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 Informatica, 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

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 Informatica, 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

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.
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
Generating Language-Based Environments.
PhD thesis, 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 why and wherefore of the Cornell Program Synthesizer.
Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation, 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...