Thomas W. Reps

299 papers A* 58A 23B 39C 4Journal 112Unranked 53
YearRankTypeTitle / Venue / Authors
2025 J jnl
PEA: Enhancing LLM Performance on Computational-Reasoning Tasks.
CoRR
Zi Wang, Shiwei Weng, Mohannad Alhanahnah, Somesh Jha, Thomas W. Reps
2024 J jnl
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics.
CoRR
Keith J. C. Johnson, Rahul Krishnan, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics.
Proc. ACM Program. Lang.
Keith J. C. Johnson, Rahul Krishnan, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs.
Proc. ACM Program. Lang.
Shaan Nagy, Jinwoo Kim, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs.
CoRR
Shaan Nagy, Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
2024 J jnl
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.
ACM Trans. Program. Lang. Syst.
Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps
2024 J jnl
Newtonian Program Analysis of Probabilistic Programs.
Proc. ACM Program. Lang.
Di Wang, Thomas W. Reps
2024 J jnl
Polynomial Bounds of CFLOBDDs against BDDs.
CoRR
Xusheng Zhi, Thomas W. Reps
2024 A* conf
Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation.
NeurIPS
Abhinav Jain, Swarat Chaudhuri, Thomas W. Reps, Christopher M. Jermaine
2024 J jnl
Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation.
CoRR
Abhinav Jain, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine
2024 J jnl
Semantics of Sets of Programs.
CoRR
Jinwoo Kim, Shaan Nagy, Thomas W. Reps, Loris D'Antoni
2024 B conf
Synthesizing Abstract Transformers for Reduced-Product Domains.
SAS
Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy
2024 J jnl
Synthesizing Abstract Transformers for Reduced-Product Domains.
CoRR
Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy
2024 J jnl
Synthesizing Formal Semantics from Executable Interpreters.
CoRR
Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Synthesizing Formal Semantics from Executable Interpreters.
Proc. ACM Program. Lang.
Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni
2024 — conf
The SemGuS Toolkit.
CAV (3)
Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni
2024 J jnl
The SemGuS Toolkit.
CoRR
Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Verifying Solutions to Semantics-Guided Synthesis Problems.
CoRR
Charlie Murphy, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Weighted Context-Free-Language Ordered Binary Decision Diagrams.
Proc. ACM Program. Lang.
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
2023 B conf
Modular System Synthesis.
FMCAD
Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps
2023 J jnl
Modular System Synthesis.
CoRR
Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps
2023 J jnl
Newtonian Program Analysis of Probabilistic Programs.
CoRR
Di Wang, Thomas W. Reps
2023 J jnl
Optimal Symbolic Bound Synthesis.
CoRR
John Cyphert, Yotam Feldman, Zachary Kincaid, Thomas W. Reps
2023 J jnl
Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming.
Proc. ACM Program. Lang.
Yuanbo Li, Qirun Zhang, Thomas W. Reps
2023 — conf
Symbolic Quantum Simulation with Quasimodo.
CAV (3)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
2023 J jnl
Symbolic Quantum Simulation with Quasimodo.
CoRR
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
2023 J jnl
Synthesizing Specifications.
CoRR
Kanghee Park, Loris D'Antoni, Thomas W. Reps
2023 J jnl
Synthesizing Specifications.
Proc. ACM Program. Lang.
Kanghee Park, Loris D'Antoni, Thomas W. Reps
2023 J jnl
Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback.
CoRR
Abhinav Jain, Chima Adiole, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine
2023 J jnl
Unrealizability Logic.
Proc. ACM Program. Lang.
Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
2023 J jnl
Weighted Context-Free-Language Ordered Binary Decision Diagrams.
CoRR
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
2023 J jnl
slash: A Technique for Static Configuration-Logic Identification.
CoRR
Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden
2022 J jnl
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.
CoRR
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
2022 J jnl
Fast Graph Simplification for Interleaved-Dyck Reachability.
ACM Trans. Program. Lang. Syst.
Yuanbo Li, Qirun Zhang, Thomas W. Reps
2022 A conf
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization.
EuroS&P
Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps
2022 A conf
Semantic Robustness of Models of Source Code.
SANER
Jordan Henkel, Goutham Ramakrishnan, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps
2022 J jnl
Synthesizing abstract transformers.
Proc. ACM Program. Lang.
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
2022 J jnl
Unrealizability Logic.
CoRR
Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
2021 — conf
Algebraic Program Analysis.
CAV (1)
Zachary Kincaid, Thomas W. Reps, John Cyphert
2021 A* conf
Central moment analysis for cost accumulators in probabilistic programs.
PLDI
Di Wang, Jan Hoffmann, Thomas W. Reps
2021 J jnl
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems.
CoRR
Di Wang, Jan Hoffmann, Thomas W. Reps
2021 J jnl
Interprocedural Context-Unbounded Program Analysis Using Observation Sequences.
ACM Trans. Program. Lang. Syst.
Peizun Liu, Thomas Wahl, Thomas W. Reps
2021 J jnl
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization.
CoRR
Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps
2021 A* conf
Neural Program Generation Modulo Static Analysis.
NeurIPS
Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Christopher M. Jermaine
2021 J jnl
Neural Program Generation Modulo Static Analysis.
CoRR
Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Chris Jermaine
2021 J jnl
On the complexity of bidirected interleaved Dyck-reachability.
Proc. ACM Program. Lang.
Yuanbo Li, Qirun Zhang, Thomas W. Reps
2021 — conf
Programmable Program Synthesis.
CAV (1)
Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps
2021 J jnl
Semantics-guided synthesis.
Proc. ACM Program. Lang.
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps
2021 A* conf
Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
ICSE
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
2021 — conf
Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
ICSE (Companion Volume)
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
2021 J jnl
Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
CoRR
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
2021 J jnl
Sound Probabilistic Inference via Guide Types.
CoRR
Di Wang, Jan Hoffmann, Thomas W. Reps
2021 A* conf
Sound probabilistic inference via guide types.
PLDI
Di Wang, Jan Hoffmann, Thomas W. Reps
2021 — conf
Synthesis with Asymptotic Resource Bounds.
CAV (1)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2021 J jnl
Synthesis with Asymptotic Resource Bounds.
CoRR
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2021 J jnl
Synthesizing Abstract Transformers.
CoRR
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
2020 A conf
A Dataset of Dockerfiles.
MSR
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
2020 J jnl
A Dataset of Dockerfiles.
CoRR
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
2020 J jnl
A Generating-Extension-Generator for Machine Code.
CoRR
Michael Vaughn, Thomas W. Reps
2020 J jnl
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems.
CoRR
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2020 A* conf
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems.
PLDI
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
2020 A* conf
Fast graph simplification for interleaved Dyck-reachability.
PLDI
Yuanbo Li, Qirun Zhang, Thomas W. Reps
2020 J jnl
Learning from, Understanding, and Supporting DevOps Artifacts for Docker.
CoRR
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
2020 A* conf
Learning from, understanding, and supporting DevOps artifacts for docker.
ICSE
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
2020 J jnl
Semantic Robustness of Models of Source Code.
CoRR
Goutham Ramakrishnan, Jordan Henkel, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps
2020 J jnl
Semantics-Guided Synthesis.
CoRR
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps
2020 J jnl
TOFU: Target-Orienter FUzzer.
CoRR
Zi Wang, Ben Liblit, Thomas W. Reps
2020 J jnl
Tail Bound Analysis for Probabilistic Programs via Central Moments.
CoRR
Di Wang, Jan Hoffmann, Thomas W. Reps
2020 J jnl
Templates and Recurrences: Better Together.
CoRR
Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps
2020 A* conf
Templates and recurrences: better together.
PLDI
Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps
2019 B conf
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism.
MFPS
Di Wang, Jan Hoffmann, Thomas W. Reps
2019 J jnl
A new abstraction framework for affine transformers.
Formal Methods Syst. Des.
Tushar Sharma, Thomas W. Reps
2019 J jnl
Closed forms for numerical loops.
Proc. ACM Program. Lang.
Zachary Kincaid, Jason Breck, John Cyphert, Thomas W. Reps
2019 J jnl
Enabling Open-World Specification Mining via Unsupervised Learning.
CoRR
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
2019 — conf
Proving Unrealizability for Syntax-Guided Synthesis.
CAV (1)
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
2019 J jnl
Proving Unrealizability for Syntax-Guided Synthesis.
CoRR
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
2019 J jnl
Refinement of path expressions for static analysis.
Proc. ACM Program. Lang.
John Cyphert, Jason Breck, Zachary Kincaid, Thomas W. Reps
2018 J jnl
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces.
CoRR
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
2018 — conf
Code vectors: understanding programs through embedded abstracted symbolic traces.
ESEC/SIGSOFT FSE
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
2018 J jnl
Non-linear reasoning for invariant synthesis.
Proc. ACM Program. Lang.
Zachary Kincaid, John Cyphert, Jason Breck, Thomas W. Reps
2018 A* conf
PMAF: an algebraic framework for static analysis of probabilistic programs.
PLDI
Di Wang, Jan Hoffmann, Thomas W. Reps
2018 — conf
Program Analyses Using Newton's Method (Invited Paper).
NETYS
Thomas W. Reps
2017 B conf
A New Abstraction Framework for Affine Transformers.
SAS
Tushar Sharma, Thomas W. Reps
2017 — conf
Automated Resource Analysis with Coq Proof Objects.
CAV (2)
Quentin Carbonneaux, Jan Hoffmann, Thomas W. Reps, Zhong Shao
2017 A* conf
Component-based synthesis for complex APIs.
POPL
Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps
2017 A* conf
Compositional recurrence analysis revisited.
PLDI
Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps
2017 J jnl
Model-assisted machine-code synthesis.
Proc. ACM Program. Lang.
Venkatesh Srinivasan, Ara Vartanian, Thomas W. Reps
2017 J jnl
Neural Attribute Machines for Program Generation.
CoRR
Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps
2017 J jnl
Newtonian Program Analysis via Tensor Product.
ACM Trans. Program. Lang. Syst.
Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu
2017 J jnl
Program synthesis for interactive-security systems.
Formal Methods Syst. Des.
William R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia
2017 B conf
Sound Bit-Precise Numerical Domains.
VMCAI
Tushar Sharma, Thomas W. Reps
2017 J jnl
Source Forager: A Search Engine for Similar Source Code.
CoRR
Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps
2017 — conf
The care and feeding of wild-caught mutants.
ESEC/SIGSOFT FSE
David Bingham Brown, Michael Vaughn, Ben Liblit, Thomas W. Reps
2016 A conf
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs.
ESOP
Antoine Miné, Jason Breck, Thomas W. Reps
2016 A conf
An improved algorithm for slicing machine code.
OOPSLA
Venkatesh Srinivasan, Thomas W. Reps
2016 B conf
Automating Abstract Interpretation.
VMCAI
Thomas W. Reps, Aditya V. Thakur
2016 A* conf
Newtonian program analysis via tensor product.
POPL
Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu
2016 A conf
Speeding up machine-code synthesis.
OOPSLA
Venkatesh Srinivasan, Tushar Sharma, Thomas W. Reps
2015 A conf
Partial evaluation of machine code.
OOPSLA
Venkatesh Srinivasan, Thomas W. Reps
2015 — conf
Recovering execution data from incomplete observations.
WODA@SPLASH
Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps
2015 A* conf
Synthesis of machine code from semantics.
PLDI
Venkatesh Srinivasan, Thomas W. Reps
2014 J jnl
Abstract Domains of Affine Relations.
ACM Trans. Program. Lang. Syst.
Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps
2014 J jnl
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351).
Dagstuhl Reports
Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, Aditya V. Thakur
2014 — conf
Efficient runtime-enforcement techniques for policy weaving.
SIGSOFT FSE
Richard Joiner, Thomas W. Reps, Somesh Jha, Mohan Dhawan, Vinod Ganapathy
2014 A* conf
Property-Directed Shape Analysis.
CAV
Shachar Itzhaky, Nikolaj S. Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur
2014 B conf
Recovery of Class Hierarchies and Composition Relationships from Machine Code.
CC
Venkatesh Srinivasan, Thomas W. Reps
2014 — conf
Satisfiability modulo abstraction for separation logic with linked lists.
SPIN
Aditya V. Thakur, Jason Breck, Thomas W. Reps
2014 J jnl
Specialization Slicing.
ACM Trans. Program. Lang. Syst.
Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps
2014 A* conf
Specialization slicing.
PLDI
Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps
2013 J jnl
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach.
ACM Trans. Softw. Eng. Methodol.
Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas W. Reps
2013 A* conf
Declarative, Temporal, and Practical Programming with Capabilities.
IEEE Symposium on Security and Privacy
William R. Harris, Somesh Jha, Thomas W. Reps, Jonathan Anderson, Robert N. M. Watson
2013 — conf
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs.
Programming Logics
Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav
2013 — conf
PostHat and All That: Automating Abstract Interpretation.
TAPAS@SAS
Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps
2013 B conf
Secure programs via game-based synthesis.
FMCAD
Somesh Jha, Thomas W. Reps, William R. Harris
2013 J jnl
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis.
ACM Trans. Program. Lang. Syst.
Junghee Lim, Thomas W. Reps
2012 B conf
A Generalization of Stålmarck's Method.
SAS
Aditya V. Thakur, Thomas W. Reps
2012 A* conf
A Method for Symbolic Computation of Abstract Operations.
CAV
Aditya V. Thakur, Thomas W. Reps
2012 J jnl
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051).
Dagstuhl Reports
Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon
2012 B conf
Bilateral Algorithms for Symbolic Abstraction.
SAS
Aditya V. Thakur, Matt Elder, Thomas W. Reps
2012 A* conf
Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement.
CAV
Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran
2012 A* conf
OpenNWA: A Nested-Word Automaton Library.
CAV
Evan Driscoll, Aditya V. Thakur, Thomas W. Reps
2012 A* conf
Secure Programming via Visibly Pushdown Safety Games.
CAV
William R. Harris, Somesh Jha, Thomas W. Reps
2011 J jnl
A decision procedure for detecting atomicity violations for communicating processes with locks.
Int. J. Softw. Tools Technol. Transf.
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps
2011 B conf
Abstract Domains of Affine Relations.
SAS
Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps
2011 — conf
Checking conformance of a producer and a consumer.
SIGSOFT FSE
Evan Driscoll, Amanda Burton, Thomas W. Reps
2011 A* conf
ConSeq: detecting concurrency bugs through sequential errors.
ASPLOS
Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps
2011 J jnl
Finding concurrency-related bugs using random isolation.
Int. J. Softw. Tools Technol. Transf.
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri
2011 J jnl
Symbolic analysis via semantic reinterpretation.
Int. J. Softw. Tools Technol. Transf.
Junghee Lim, Akash Lal, Thomas W. Reps
2010 J jnl
A relational approach to interprocedural shape analysis.
ACM Trans. Program. Lang. Syst.
Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv
2010 — book
Analysis Techniques for Information Security
Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps
2010 A* conf
DIFC programs by automatic instrumentation.
CCS
William R. Harris, Somesh Jha, Thomas W. Reps
2010 A* conf
Directed Proof Generation for Machine Code.
CAV
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps
2010 J jnl
Finite differencing of logical formulas for static analysis.
ACM Trans. Program. Lang. Syst.
Thomas W. Reps, Mooly Sagiv, Alexey Loginov
2010 B conf
Statically Inferring Complex Heap, Array, and Numeric Invariants.
SAS
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
2010 A* conf
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code.
CAV
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal
2010 — conf
View-Augmented Abstractions.
NSAD@SAS
Matt Elder, Denis Gopan, Thomas W. Reps
2010 J jnl
WYSINWYX: What you see is not what you eXecute.
ACM Trans. Program. Lang. Syst.
Gogul Balakrishnan, Thomas W. Reps
2009 — conf
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.
SPIN
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps
2009 B conf
Finding Concurrency-Related Bugs Using Random Isolation.
VMCAI
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri
2009 J jnl
Reducing concurrent analysis under a context bound to sequential analysis.
Formal Methods Syst. Des.
Akash Lal, Thomas W. Reps
2009 J jnl
Simulating reachability using first-order logic with applications to verification of linked data structures
Log. Methods Comput. Sci.
Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh
2009 — conf
Symbolic Analysis via Semantic Reinterpretation.
SPIN
Junghee Lim, Akash Lal, Thomas W. Reps
2009 B conf
Verifying Information Flow Control over Unbounded Processes.
FM
William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps
2008 B conf
A System for Generating Static Analyzers for Machine Instructions.
CC
Junghee Lim, Thomas W. Reps
2008 A conf
Analyzing Stripped Device-Driver Executables.
TACAS
Gogul Balakrishnan, Thomas W. Reps
2008 B conf
Improved Memory-Access Analysis for x86 Executables.
CC
Thomas W. Reps, Gogul Balakrishnan
2008 A conf
Interprocedural Analysis of Concurrent Programs Under a Context Bound.
TACAS
Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps
2008 B conf
Language Strength Reduction.
SAS
Nicholas Kidd, Akash Lal, Thomas W. Reps
2008 A* conf
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis.
CAV
Akash Lal, Thomas W. Reps
2008 B conf
Solving Multiple Dataflow Queries Using WPDSs.
SAS
Akash Lal, Thomas W. Reps
2007 — ch.
A Next-Generation Platform for Analyzing Executables.
Malware Detection
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum
2007 B conf
Abstract Error Projection.
SAS
Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
2007 A* conf
Comparison Under Abstraction for Verifying Linearizability.
CAV
Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav
2007 B conf
Constructing Specialized Shape Analyses for Uniform Change.
VMCAI
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps
2007 B conf
DIVINE: DIscovering Variables IN Executables.
VMCAI
Gogul Balakrishnan, Thomas W. Reps
2007 B conf
Guided Static Analysis.
SAS
Denis Gopan, Thomas W. Reps
2007 A conf
Labelled Clauses.
CADE
Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv
2007 J jnl
Logical characterizations of heap abstractions.
ACM Trans. Comput. Log.
Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm
2007 A* conf
Low-Level Library Analysis and Summarization.
CAV
Denis Gopan, Thomas W. Reps
2007 — conf
Program Analysis Using Weighted Pushdown Systems.
FSTTCS
Thomas W. Reps, Akash Lal, Nicholas Kidd
2007 — ed.
Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Program Analysis and Compilation
Thomas W. Reps, Mooly Sagiv, Jörg Bauer
2007 A* conf
Revamping TVLA: Making Parametric Shape Analysis Competitive.
CAV
Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv
2007 — ch.
Shape Analysis and Applications.
The Compiler Design Handbook, 2nd ed.
Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm
2006 — conf
An Appreciation of the Work of Reinhard Wilhelm.
Program Analysis and Compilation
Thomas W. Reps, Mooly Sagiv, Jörg Bauer
2006 B conf
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm.
SAS
Alexey Loginov, Thomas W. Reps, Mooly Sagiv
2006 — conf
Extracting Output Formats from Executables.
WCRE
Junghee Lim, Thomas W. Reps, Ben Liblit
2006 A* conf
Improving Pushdown System Model Checking.
CAV
Akash Lal, Thomas W. Reps
2006 C conf
Intermediate-representation recovery from low-level code.
PEPM
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim
2006 A* conf
Lookahead Widening.
CAV
Denis Gopan, Thomas W. Reps
2006 B conf
Recency-Abstraction for Heap-Allocated Storage.
SAS
Gogul Balakrishnan, Thomas W. Reps
2006 A conf
Reducing the Dependence of SPKI/SDSI on PKI.
ESORICS
Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine
2006 — conf
Refinement-Based Verification for Possibly-Cyclic Lists.
Program Analysis and Compilation
Alexey Loginov, Thomas W. Reps, Mooly Sagiv
2006 A conf
Verifying Concurrent Message-Passing C Programs with Recursive Calls.
TACAS
Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
2006 J jnl
Verifying Temporal Heap Properties Specified via Evolution Logic.
Log. J. IGPL
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2006 A conf
Weighted Pushdown Systems and Trust-Management Systems.
TACAS
Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps
2005 B conf
A Next-Generation Platform for Analyzing Executables.
APLAS
Thomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum
2005 B conf
A Relational Abstraction for Functions.
SAS
Bertrand Jeannet, Denis Gopan, Thomas W. Reps
2005 A* conf
A framework for numeric analysis of array operations.
POPL
Denis Gopan, Thomas W. Reps, Shmuel Sagiv
2005 A* conf
A semantics for procedure local heaps and its abstractions.
POPL
Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2005 A* conf
Abstraction Refinement via Inductive Learning.
CAV
Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
2005 J jnl
Analysis of recursive state machines.
ACM Trans. Program. Lang. Syst.
Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis
2005 — conf
Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work.
AIOOL@VMCAI
Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv
2005 — conf
Automatic Verification of Strongly Dynamic Software Systems.
VSTTE
Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh
2005 A* conf
Automatic discovery of API-level exploits.
ICSE
Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant
2005 B conf
CodeSurfer/x86-A Platform for Analyzing x86 Executables.
CC
Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum
2005 A* conf
Extended Weighted Pushdown Systems.
CAV
Akash Lal, Thomas W. Reps, Gogul Balakrishnan
2005 A* conf
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++.
CAV
Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum
2005 A conf
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures.
CADE
Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh
2005 — conf
WYSINWYX: What You See Is Not What You eXecute.
VSTTE
Gogul Balakrishnan, Thomas W. Reps, David Melski, Tim Teitelbaum
2005 J jnl
Weighted pushdown systems and their application to interprocedural dataflow analysis.
Sci. Comput. Program.
Thomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski
2004 B conf
A Relational Approach to Interprocedural Shape Analysis.
SAS
Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
2004 B conf
Analyzing Memory Accesses in x86 Executables.
CC
Gogul Balakrishnan, Thomas W. Reps
2004 J jnl
Model checking SPKI/SDSI.
J. Comput. Secur.
Somesh Jha, Thomas W. Reps
2004 A conf
Numeric Domains with Summarized Dimensions.
TACAS
Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv
2004 A* conf
Static Program Analysis via 3-Valued Logic.
CAV
Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2004 B conf
Symbolic Implementation of the Best Transformer.
VMCAI
Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
2004 A conf
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis.
TACAS
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
2004 B conf
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics.
CSL
Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
2004 A* conf
Verification via Structure Simulation.
CAV
Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
2003 J jnl
Computational Divided Differencing and Divided-Difference Arithmetics.
High. Order Symb. Comput.
Thomas W. Reps, Louis B. Rall
2003 J jnl
Design and Implementation of a Fine-Grained Software Inspection Tool.
IEEE Trans. Software Eng.
Paul Anderson, Thomas W. Reps, Tim Teitelbaum
2003 A conf
Finite Differencing of Logical Formulas for Static Analysis.
ESOP
Thomas W. Reps, Shmuel Sagiv, Alexey Loginov
2003 J jnl
Logical Characterizations of Heap Abstractions
CoRR
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2003 — conf
On Generalized Authorization Problems.
CSFW
Stefan Schwoon, Somesh Jha, Thomas W. Reps, Stuart G. Stubblebine
2003 B conf
The Interprocedural Express-Lane Transformation.
CC
David Melski, Thomas W. Reps
2003 J jnl
Tool Support for Fine-Grained Software Inspection.
IEEE Softw.
Paul Anderson, Thomas W. Reps, Tim Teitelbaum, Mark Zarins
2003 A conf
Verifying Temporal Heap Properties Specified via Evolution Logic.
ESOP
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2003 B conf
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis.
SAS
Thomas W. Reps, Stefan Schwoon, Somesh Jha
2002 — conf
Analysis of SPKI/SDSI Certificates Using Model Checking.
CSFW
Somesh Jha, Thomas W. Reps
2002 J jnl
Parametric shape analysis via 3-valued logic.
ACM Trans. Program. Lang. Syst.
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
2002 J jnl
Program slicing for VHDL.
Int. J. Softw. Tools Technol. Transf.
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
2002 A* conf
Semantic Minimization of 3-Valued Propositional Formulae.
LICS
Thomas W. Reps, Alexey Loginov, Shmuel Sagiv
2002 — ch.
Shape Analysis and Applications.
The Compiler Design Handbook
Reinhard Wilhelm, Thomas W. Reps, Shmuel Sagiv
2002 — conf
Static Program Analysis via 3-Valued Logic.
APPIA-GULP-PRODE
Thomas W. Reps
2002 B conf
Static Program Analysis via 3-Valued Logic.
SAS
Thomas W. Reps
2001 — ch.
Algorithmic Differencing.
Perspectives on Enclosure Methods
Louis B. Rall, Thomas W. Reps
2001 B conf
Debugging via Run-Time Type Checking.
FASE
Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps
2001 A* conf
Model Checking of Unrestricted Hierarchical State Machines.
ICALP
Michael Benedikt, Patrice Godefroid, Thomas W. Reps
2001 A conf
Typestate Checking of Machine Code.
ESOP
Zhichen Xu, Thomas W. Reps, Barton P. Miller
2000 J jnl
Interconvertibility of a class of set constraints and context-free-language reachability.
Theor. Comput. Sci.
David Melski, Thomas W. Reps
2000 A* ed.
POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000
POPL
Mark N. Wegman, Thomas W. Reps
2000 A conf
Putting static analysis to work for verification: A case study.
ISSTA
Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
2000 A* conf
Safety checking of machine code.
PLDI
Zhichen Xu, Barton P. Miller, Thomas W. Reps
2000 B conf
Shape Analysis.
CC
Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps
2000 J jnl
Undecidability of context-sensitive data-independence analysis.
ACM Trans. Program. Lang. Syst.
Thomas W. Reps
1999 A conf
A Decidable Logic for Describing Linked Data Structures.
ESOP
Michael Benedikt, Thomas W. Reps, Shmuel Sagiv
1999 — conf
Coping with Type Casts in C.
ESEC / SIGSOFT FSE
Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas W. Reps
1999 J jnl
Identifying Modules via Concept Analysis.
IEEE Trans. Software Eng.
Michael Siff, Thomas W. Reps
1999 B conf
Interprocedural Path Profiling.
CC
David Melski, Thomas W. Reps
1999 A* conf
Parametric Shape Analysis via 3-Valued Logic.
POPL
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
1999 — conf
Physical Type Checking for C.
PASTE
Satish Chandra, Thomas W. Reps
1999 J jnl
Physical type checking for C.
ACM SIGSOFT Softw. Eng. Notes
Satish Chandra, Thomas W. Reps
1999 A* conf
Pointer Analysis for Programs with Structures and Casting.
PLDI
Suan Hsi Yong, Susan Horwitz, Thomas W. Reps
1999 — conf
Program Slicing of Hardware Description Languages.
CHARME
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
1998 J jnl
"Maximal-munch" Tokenization in Linear Time.
ACM Trans. Program. Lang. Syst.
Thomas W. Reps
1998 J jnl
Program analysis via graph reachability.
Inf. Softw. Technol.
Thomas W. Reps
1998 J jnl
Program comprehension and software reengineering.
ACM SIGSOFT Softw. Eng. Notes
Hausi A. Müller, Thomas W. Reps, Gregor Snelting
1998 J jnl
Solving Shape-Analysis Problems in Languages with Destructive Updating.
ACM Trans. Program. Lang. Syst.
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
1997 — conf
Identifying modules via concept analysis.
ICSM
Michael Siff, Thomas W. Reps
1997 C conf
Interconveritibility of Set Constraints and Context-Free Language Reachability.
PEPM
David Melski, Thomas W. Reps
1997 — conf
Program Analysis via Graph Reachability.
ILPS
Thomas W. Reps
1997 — conf
The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 Problem.
ESEC / SIGSOFT FSE
Thomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus
1997 — conf
The Use of Program Profiling for Software Testing.
GI Jahrestagung
Thomas W. Reps
1996 J jnl
An Incremental Algorithm for a Generalization of the Shortest-Path Problem.
J. Algorithms
G. Ramalingam, Thomas W. Reps
1996 J jnl
On the Computational Complexity of Dynamic Graph Problems.
Theor. Comput. Sci.
G. Ramalingam, Thomas W. Reps
1996 J jnl
On the Sequential Nature of Interprocedural Program-Analysis Problems.
Acta Informatica
Thomas W. Reps
1996 J jnl
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.
Theor. Comput. Sci.
Shmuel Sagiv, Thomas W. Reps, Susan Horwitz
1996 — conf
Program Generalization for Software Reuse: From C to C++.
SIGSOFT FSE
Michael Siff, Thomas W. Reps
1996 — conf
Program Specialization via Program Slicing.
Dagstuhl Seminar on Partial Evaluation
Thomas W. Reps, Todd Turnidge
1996 A* conf
Solving Shape-Analysis Problems in Languages with Destructive Updating.
POPL
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
1995 — conf
Demand Interprocedural Dataflow Analysis.
SIGSOFT FSE
Susan Horwitz, Thomas W. Reps, Shmuel Sagiv
1995 — conf
Precise Interprocedural Chopping.
SIGSOFT FSE
Thomas W. Reps, Genevieve Rosay
1995 A* conf
Precise Interprocedural Dataflow Analysis via Graph Reachability.
POPL
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv
1995 — conf
Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.
TAPSOFT
Shmuel Sagiv, Thomas W. Reps, Susan Horwitz
1995 J jnl
Program Integration for Languages with Procedure Calls.
ACM Trans. Softw. Eng. Methodol.
David W. Binkley, Susan Horwitz, Thomas W. Reps
1995 C conf
Semantic Foundations of Binding Time Analysis for Imperative Programs.
PEPM
Manuvir Das, Thomas W. Reps, Pascal Van Hentenryck
1995 C conf
Shape Analysis as a Generalized Path Problem.
PEPM
Thomas W. Reps
1994 A* conf
An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph.
POPL
G. Ramalingam, Thomas W. Reps
1994 J jnl
On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem.
Inf. Process. Lett.
G. Ramalingam, Thomas W. Reps
1994 B conf
Solving Demand Versions of Interprocedural Analysis Problems.
CC
Thomas W. Reps
1994 — conf
Speeding up Slicing.
SIGSOFT FSE
Thomas W. Reps, Susan Horwitz, Shmuel Sagiv, Genevieve Rosay
1993 A* conf
A Categorized Bibliography on Incremental Computation.
POPL
G. Ramalingam, Thomas W. Reps
1993 — conf
Demand Interprocedural Program Analysis Using Logic Databases.
Workshop on Programming with Logic Databases (Book), ILPS
Thomas W. Reps
1993 B conf
Scan Grammars: Parallel Attribute Evaluation via Data-Parallelism.
SPAA
Thomas W. Reps
1992 J jnl
A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations.
ACM Trans. Softw. Eng. Methodol.
Wuu Yang, Susan Horwitz, Thomas W. Reps
1992 J jnl
Programming environments: report on an international workshop at Dagstuhl Castle.
ACM SIGPLAN Notices
Paul Klint, Thomas W. Reps, Gregor Snelting
1992 A* conf
The Use of Program Dependence Graphs in Software Engineering.
ICSE
Susan Horwitz, Thomas W. Reps
1991 — conf
A Theory of Program Modifications.
TAPSOFT, Vol.2
G. Ramalingam, Thomas W. Reps
1991 J jnl
Algebraic Properties of Program Integration.
Sci. Comput. Program.
Thomas W. Reps
1991 J jnl
Efficient Comparison of Program Slices.
Acta Informatica
Susan Horwitz, Thomas W. Reps
1991 — conf
Modification Algebras.
AMAST
G. Ramalingam, Thomas W. Reps
1990 — conf
A program integration algorithm that accommodates semantics-preserving transformations.
SDE
Wuu Yang, Susan Horwitz, Thomas W. Reps
1990 A conf
Algebraic Properties of Program Integration.
ESOP
Thomas W. Reps
1990 J jnl
Interprocedural Slicing Using Dependence Graphs.
ACM Trans. Program. Lang. Syst.
Susan Horwitz, Thomas W. Reps, David W. Binkley
1989 A* conf
Dependence Analysis for Pointer Variables.
PLDI
Susan Horwitz, Phil Pfeiffer, Thomas W. Reps
1989 — conf
Illustrating Interference in Interfering Versions of Programs.
SCM
Thomas W. Reps, T. Bricker
1989 J jnl
Integrating Noninterfering Versions of Programs.
ACM Trans. Program. Lang. Syst.
Susan Horwitz, Jan F. Prins, Thomas W. Reps
1989 — conf
The Semantics of Program Slicing and Program Integration.
TAPSOFT, Vol.2
Thomas W. Reps, Wuu Yang
1989 — book
The Synthesizer Generator - A System for Constructing Language-Based Editors.
Thomas W. Reps, Tim Teitelbaum
1989 — book
The Synthesizer Generator Reference Manual, Third Edition.
Thomas W. Reps, Tim Teitelbaum
1988 J jnl
Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications.
Acta Informatica
Thomas W. Reps
1988 A* conf
Integrating Non-Interfering Versions of Programs.
POPL
Susan Horwitz, Jan F. Prins, Thomas W. Reps
1988 A* conf
Interprocedural Slicing Using Dependence Graphs.
PLDI
Susan Horwitz, Thomas W. Reps, David W. Binkley
1988 — conf
Interprocedural slicing using dependence graphs (with retrospective)
Best of PLDI
Susan Horwitz, Thomas W. Reps, David W. Binkley
1988 A* conf
On the Adequacy of Program Dependence Graphs for Representing Programs.
POPL
Susan Horwitz, Jan F. Prins, Thomas W. Reps
1988 A conf
Semantics-Based Program Integration.
ESOP
Thomas W. Reps, Susan Horwitz
1988 — conf
Support for Integrating Program Variants in an Environment for Programming in the Large.
SCM
Thomas W. Reps, Susan Horwitz, Jan F. Prins
1987 J jnl
Language Processing in Program Editors.
Computer
Thomas W. Reps, Tim Teitelbaum
1987 J jnl
Sublinear-Space Evaluation Algorithms for Attribute Grammars.
ACM Trans. Program. Lang. Syst.
Thomas W. Reps, Alan J. Demers
1986 A* conf
Remote Attribute Updating for Language-Based Editors.
POPL
Thomas W. Reps, Carla Marceau, Tim Teitelbaum
1984 — book
Generating Language-Based Environments.
Thomas W. Reps
1984 A* conf
Interactive Proof Checking.
POPL
Thomas W. Reps, Bowen Alpern
1984 — conf
The Synthesizer Generator.
Software Development Environments (SDE)
Thomas W. Reps, Tim Teitelbaum
1983 J jnl
Incremental Context-Dependent Analysis for Language-Based Editors.
ACM Trans. Program. Lang. Syst.
Thomas W. Reps, Tim Teitelbaum, Alan J. Demers
1982 — —
Generating Language-Based Environments.
Thomas W. Reps
1982 A* conf
Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors.
POPL
Thomas W. Reps
1981 A* conf
Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors.
POPL
Alan J. Demers, Thomas W. Reps, Tim Teitelbaum
1981 J jnl
The Cornell Program Synthesizer: A Syntax-Directed Programming Environment.
Commun. ACM
Tim Teitelbaum, Thomas W. Reps
1981 — conf
The why and wherefore of the Cornell Program Synthesizer.
SIGPLAN SIGOA Symposium on Text Manipulation
Tim Teitelbaum, Thomas W. Reps, Susan Horwitz