Thomas W. Reps

ORCID

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 84

Top Venues

CoRR

Proc. ACM Program. Lang.

PLDI

ACM Trans. Program. Lang. Syst.

Publications

Shaan Nagy, Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs. CoRR (2024)
John Cyphert, Yotam Feldman, Zachary Kincaid, Thomas W. Reps
Optimal Symbolic Bound Synthesis. CoRR (2023)
Abhinav Jain, Chima Adiole, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine
Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback. CoRR (2023)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
Weighted Context-Free-Language Ordered Binary Decision Diagrams. CoRR (2023)
Kanghee Park, Loris D'Antoni, Thomas W. Reps
Synthesizing Specifications. CoRR (2023)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
Symbolic Quantum Simulation with Quasimodo. CAV (3) (2023)
Di Wang, Thomas W. Reps
Newtonian Program Analysis of Probabilistic Programs. CoRR (2023)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
Symbolic Quantum Simulation with Quasimodo. CoRR (2023)
Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden
slash: A Technique for Static Configuration-Logic Identification. CoRR (2023)
Yuanbo Li, Qirun Zhang, Thomas W. Reps
Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming. Proc. ACM Program. Lang. 7 (POPL) (2023)
Kanghee Park, Loris D'Antoni, Thomas W. Reps
Synthesizing Specifications. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps
Modular System Synthesis. CoRR (2023)
Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps
Modular System Synthesis. FMCAD (2023)
Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
Unrealizability Logic. Proc. ACM Program. Lang. 7 (POPL) (2023)
Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization. EuroS&P (2022)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. CoRR (2022)
Yuanbo Li, Qirun Zhang, Thomas W. Reps
Fast Graph Simplification for Interleaved-Dyck Reachability. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
Synthesizing abstract transformers. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
Unrealizability Logic. CoRR (2022)
Jordan Henkel, Goutham Ramakrishnan, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps
Semantic Robustness of Models of Source Code. SANER (2022)
Di Wang, Jan Hoffmann, Thomas W. Reps
Sound Probabilistic Inference via Guide Types. CoRR (2021)
Peizun Liu, Thomas Wahl, Thomas W. Reps
Interprocedural Context-Unbounded Program Analysis Using Observation Sequences. ACM Trans. Program. Lang. Syst. 42 (4) (2021)
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. ICSE (2021)
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. CoRR (2021)
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
Synthesizing Abstract Transformers. CoRR (2021)
Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Chris Jermaine
Neural Program Generation Modulo Static Analysis. CoRR (2021)
Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization. CoRR (2021)
Yuanbo Li, Qirun Zhang, Thomas W. Reps
On the complexity of bidirected interleaved Dyck-reachability. Proc. ACM Program. Lang. 5 (POPL) (2021)
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps
Semantics-guided synthesis. Proc. ACM Program. Lang. 5 (POPL) (2021)
Zachary Kincaid, Thomas W. Reps, John Cyphert
Algebraic Program Analysis. CAV (1) (2021)
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. ICSE (Companion Volume) (2021)
Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps
Programmable Program Synthesis. CAV (1) (2021)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
Synthesis with Asymptotic Resource Bounds. CoRR (2021)
Di Wang, Jan Hoffmann, Thomas W. Reps
Sound probabilistic inference via guide types. PLDI (2021)
Di Wang, Jan Hoffmann, Thomas W. Reps
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems. CoRR (2021)
Di Wang, Jan Hoffmann, Thomas W. Reps
Central moment analysis for cost accumulators in probabilistic programs. PLDI (2021)
Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Christopher M. Jermaine
Neural Program Generation Modulo Static Analysis. NeurIPS (2021)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
Synthesis with Asymptotic Resource Bounds. CAV (1) (2021)
Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps
Templates and Recurrences: Better Together. CoRR (2020)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems. CoRR (2020)
Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. PLDI (2020)
Di Wang, Jan Hoffmann, Thomas W. Reps
Tail Bound Analysis for Probabilistic Programs via Central Moments. CoRR (2020)
Yuanbo Li, Qirun Zhang, Thomas W. Reps
Fast graph simplification for interleaved Dyck-reachability. PLDI (2020)
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
A Dataset of Dockerfiles. CoRR (2020)
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
A Dataset of Dockerfiles. MSR (2020)
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
Learning from, understanding, and supporting DevOps artifacts for docker. ICSE (2020)
Goutham Ramakrishnan, Jordan Henkel, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps
Semantic Robustness of Models of Source Code. CoRR (2020)
Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps
Learning from, Understanding, and Supporting DevOps Artifacts for Docker. CoRR (2020)
Zi Wang, Ben Liblit, Thomas W. Reps
TOFU: Target-Orienter FUzzer. CoRR (2020)
Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps
Templates and recurrences: better together. PLDI (2020)
Michael Vaughn, Thomas W. Reps
A Generating-Extension-Generator for Machine Code. CoRR (2020)
Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps
Semantics-Guided Synthesis. CoRR (2020)
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
Proving Unrealizability for Syntax-Guided Synthesis. CAV (1) (2019)
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
Enabling Open-World Specification Mining via Unsupervised Learning. CoRR (2019)
Tushar Sharma, Thomas W. Reps
A new abstraction framework for affine transformers. Formal Methods Syst. Des. 54 (1) (2019)
Di Wang, Jan Hoffmann, Thomas W. Reps
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism. MFPS (2019)
John Cyphert, Jason Breck, Zachary Kincaid, Thomas W. Reps
Refinement of path expressions for static analysis. Proc. ACM Program. Lang. 3 (POPL) (2019)
Zachary Kincaid, Jason Breck, John Cyphert, Thomas W. Reps
Closed forms for numerical loops. Proc. ACM Program. Lang. 3 (POPL) (2019)
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps
Proving Unrealizability for Syntax-Guided Synthesis. CoRR (2019)
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
Code vectors: understanding programs through embedded abstracted symbolic traces. ESEC/SIGSOFT FSE (2018)
Thomas W. Reps
Program Analyses Using Newton's Method (Invited Paper). NETYS (2018)
Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. CoRR (2018)
Di Wang, Jan Hoffmann, Thomas W. Reps
PMAF: an algebraic framework for static analysis of probabilistic programs. PLDI (2018)
Zachary Kincaid, John Cyphert, Jason Breck, Thomas W. Reps
Non-linear reasoning for invariant synthesis. Proc. ACM Program. Lang. 2 (POPL) (2018)
William R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia
Program synthesis for interactive-security systems. Formal Methods Syst. Des. 51 (2) (2017)
Tushar Sharma, Thomas W. Reps
A New Abstraction Framework for Affine Transformers. SAS (2017)
Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps
Neural Attribute Machines for Program Generation. CoRR (2017)
Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps
Source Forager: A Search Engine for Similar Source Code. CoRR (2017)
Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps
Component-based synthesis for complex APIs. POPL (2017)
Venkatesh Srinivasan, Ara Vartanian, Thomas W. Reps
Model-assisted machine-code synthesis. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
David Bingham Brown, Michael Vaughn, Ben Liblit, Thomas W. Reps
The care and feeding of wild-caught mutants. ESEC/SIGSOFT FSE (2017)
Quentin Carbonneaux, Jan Hoffmann, Thomas W. Reps, Zhong Shao
Automated Resource Analysis with Coq Proof Objects. CAV (2) (2017)
Tushar Sharma, Thomas W. Reps
Sound Bit-Precise Numerical Domains. VMCAI (2017)
Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps
Compositional recurrence analysis revisited. PLDI (2017)
Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu
Newtonian Program Analysis via Tensor Product. ACM Trans. Program. Lang. Syst. 39 (2) (2017)
Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu
Newtonian program analysis via tensor product. POPL (2016)
Antoine Miné, Jason Breck, Thomas W. Reps
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs. ESOP (2016)
Venkatesh Srinivasan, Tushar Sharma, Thomas W. Reps
Speeding up machine-code synthesis. OOPSLA (2016)
Venkatesh Srinivasan, Thomas W. Reps
An improved algorithm for slicing machine code. OOPSLA (2016)
Thomas W. Reps, Aditya V. Thakur
Automating Abstract Interpretation. VMCAI (2016)
Venkatesh Srinivasan, Thomas W. Reps
Synthesis of machine code from semantics. PLDI (2015)
Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps
PostHat and All That: Automating Abstract Interpretation. Electron. Notes Theor. Comput. Sci. 311 (2015)
Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps
Recovering execution data from incomplete observations. WODA@SPLASH (2015)
Venkatesh Srinivasan, Thomas W. Reps
Partial evaluation of machine code. OOPSLA (2015)
Shachar Itzhaky, Nikolaj Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur
Property-Directed Shape Analysis. CAV (2014)
Aditya V. Thakur, Jason Breck, Thomas W. Reps
Satisfiability modulo abstraction for separation logic with linked lists. SPIN (2014)
Venkatesh Srinivasan, Thomas W. Reps
Recovery of Class Hierarchies and Composition Relationships from Machine Code. CC (2014)
Richard Joiner, Thomas W. Reps, Somesh Jha, Mohan Dhawan, Vinod Ganapathy
Efficient runtime-enforcement techniques for policy weaving. SIGSOFT FSE (2014)
Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps
Specialization slicing. PLDI (2014)
Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps
Abstract Domains of Affine Relations. ACM Trans. Program. Lang. Syst. 36 (4) (2014)
Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, Aditya V. Thakur
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). Dagstuhl Reports 4 (8) (2014)
Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps
Specialization Slicing. ACM Trans. Program. Lang. Syst. 36 (2) (2014)
William R. Harris, Somesh Jha, Thomas W. Reps, Jonathan Anderson, Robert N. M. Watson
Declarative, Temporal, and Practical Programming with Capabilities. IEEE Symposium on Security and Privacy (2013)
Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. Programming Logics (2013)
Somesh Jha, Thomas W. Reps, William R. Harris
Secure programs via game-based synthesis. FMCAD (2013)
Junghee Lim, Thomas W. Reps
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis. ACM Trans. Program. Lang. Syst. 35 (1) (2013)
Wei Zhang, Chong Sun, Junghee Lim, Shan Lu, Thomas W. Reps
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach. ACM Trans. Softw. Eng. Methodol. 22 (2) (2013)
Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). Dagstuhl Reports 2 (1) (2012)
Aditya V. Thakur, Matt Elder, Thomas W. Reps
Bilateral Algorithms for Symbolic Abstraction. SAS (2012)
William R. Harris, Somesh Jha, Thomas W. Reps
Secure Programming via Visibly Pushdown Safety Games. CAV (2012)

Thomas W. Reps.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas W. Reps