Thomas W. Reps - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Thomas W. Reps' as author, editor, or advisor:

Abstract Domains of Affine RelationsMatt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps. SAS 2011: 198-215 [doi]
Compositional recurrence analysis revisitedZachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps. PLDI 2017: 248-262 [doi]
Synthesizing SpecificationsKanghee Park, Loris D'Antoni, Thomas W. Reps. PACMPL, 7(OOPSLA2):1787-1816, October 2023. [doi]
Model-assisted machine-code synthesisVenkatesh Srinivasan, Ara Vartanian, Thomas W. Reps. PACMPL, 1(OOPSLA), 2017. [doi]
Symbolic Quantum Simulation with QuasimodoMeghana Sistla, Swarat Chaudhuri, Thomas W. Reps. cav 2023: 213-225 [doi]
Semantics-guided synthesisJinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps. PACMPL, 5(POPL):1-32, 2021. [doi]
Component-based synthesis for complex APIsYu Feng, Ruben Martins, Yuepeng Wang 0001, Isil Dillig, Thomas W. Reps. POPL 2017: 599-612 [doi]
Program comprehension and software reengineeringHausi A. Müller, Thomas W. Reps, Gregor Snelting. sigsoft, 23(5):36-44, 1998. [doi]
A Denotational Semantics for Low-Level Probabilistic Programs with NondeterminismDi Wang, Jan Hoffmann 0002, Thomas W. Reps. mfps 2019: 303-324 [doi]
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric ProgramsAntoine Miné, Jason Breck, Thomas W. Reps. ESOP 2016: 560-588 [doi]
Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear ProgrammingYuanbo Li, Qirun Zhang, Thomas W. Reps. PACMPL, 7(POPL):1003-1026, January 2023. [doi]
Abstract Domains of Affine RelationsMatt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps. TOPLAS, 36(4):11, 2014. [doi]
Physical type checking for CSatish Chandra, Thomas W. Reps. sigsoft, 24(5):66-75, 1999. [doi]
DIFC programs by automatic instrumentationWilliam R. Harris, Somesh Jha, Thomas W. Reps. ccs 2010: 284-296 [doi]
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051)Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon. dagstuhl-reports, 2(1):100-116, 2012. [doi]
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problemsQinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps. PLDI 2020: 1128-1142 [doi]
Bilateral Algorithms for Symbolic AbstractionAditya V. Thakur, Matt Elder, Thomas W. Reps. SAS 2012: 111-128 [doi]
On the complexity of bidirected interleaved Dyck-reachabilityYuanbo Li, Qirun Zhang, Thomas W. Reps. PACMPL, 5(POPL):1-28, 2021. [doi]
Satisfiability modulo abstraction for separation logic with linked listsAditya V. Thakur, Jason Breck, Thomas W. Reps. spin 2014: 58-67 [doi]
Checking conformance of a producer and a consumerEvan Driscoll, Amanda Burton, Thomas W. Reps. FSE 2011: 113-123 [doi]
Recovering execution data from incomplete observationsPeter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps. OOPSLA 2015: 19-24 [doi]
The synthesizer generator - a system for constructing language-based editorsThomas W. Reps, Tim Teitelbaum. Texts and monographs in computer science, Springer, 1989.
Language Processing in Program EditorsThomas W. Reps, Tim Teitelbaum. Computer, 20(11):29-40, 1987. [doi]
An improved algorithm for slicing machine codeVenkatesh Srinivasan, Thomas W. Reps. OOPSLA 2016: 378-393 [doi]
The why and wherefore of the Cornell Program SynthesizerTim Teitelbaum, Thomas W. Reps, Susan Horwitz. SIGPLAN, 16(6):8-16, 1981. [doi]
Code vectors: understanding programs through embedded abstracted symbolic tracesJordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps. FSE 2018: 163-174 [doi]
Algorithmic DifferencingLouis B. Rall, Thomas W. Reps. In Ulrich W. Kulisch, Rudolf Lohner, Axel Facius, editors, Perspectives on Enclosure Methods. pages 133-146, Springer, 2001. [doi]
Fast graph simplification for interleaved Dyck-reachabilityYuanbo Li, Qirun Zhang, Thomas W. Reps. PLDI 2020: 780-793 [doi]
Analysis Techniques for Information SecurityAnupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps. Synthesis Lectures on Information Security, Privacy, and Trust, Morgan & Claypool Publishers, 2010. [doi]
Fast Graph Simplification for Interleaved-Dyck ReachabilityYuanbo Li, Qirun Zhang, Thomas W. Reps. TOPLAS, 44(2), 2022. [doi]
Shape Analysis and ApplicationsThomas W. Reps, Mooly Sagiv, Reinhard Wilhelm. In The Compiler Design Handbook, 2nd ed.. pages 12, 2007.
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, Aditya V. Thakur. dagstuhl-reports, 4(8):89-106, 2014. [doi]
A program integration algorithm that accommodates semantics-preserving transformationsWuu Yang, Susan Horwitz, Thomas W. Reps. SDE 1990: 133-143 [doi]
The care and feeding of wild-caught mutantsDavid Bingham Brown, Michael Vaughn, Ben Liblit, Thomas W. Reps. FSE 2017: 511-522 [doi]
Generating Language-Based EnvironmentsThomas W. Reps. MIT Press, 1984. [doi]
ConSeq: detecting concurrency bugs through sequential errorsWei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu, Thomas W. Reps. asplos 2011: 251-264 [doi]
Program Analyses Using Newton's Method (Invited Paper)Thomas W. Reps. netys 2019: 3-16 [doi]
Closed forms for numerical loopsZachary Kincaid, Jason Breck, John Cyphert, Thomas W. Reps. PACMPL, 3, 2019. [doi]
Shipwright: A Human-in-the-Loop System for Dockerfile RepairJordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps. ICSE 2021: 1148-1160 [doi]
There s Plenty of Room at the Bottom: Analyzing and Verifying Machine CodeThomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal. cav 2010: 41-56 [doi]
A Next-Generation Platform for Analyzing ExecutablesThomas W. Reps, Gogul Balakrishnan, Junghee Lim, Tim Teitelbaum. In Mihai Christodorescu, Somesh Jha, Douglas Maughan, Dawn Song, Cliff Wang, editors, Malware Detection. Volume 27 of Advances in Information Security, pages 43-61, Springer, 2007. [doi]
Synthesizing abstract transformersPankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy. PACMPL, 6(OOPSLA2):1291-1319, 2022. [doi]
Partial evaluation of machine codeVenkatesh Srinivasan, Thomas W. Reps. OOPSLA 2015: 860-879 [doi]
Automating Abstract InterpretationThomas W. Reps, Aditya V. Thakur. vmcai 2016: 3-40 [doi]
The Synthesizer Generator: A System for Constructing Language-Based EditorsThomas W. Reps, Tim Teitelbaum. 1989.
The synthesizer generator reference manual (3. ed.)Thomas W. Reps, Tim Teitelbaum. Texts and monographs in computer science, Springer, 1989.
Efficient runtime-enforcement techniques for policy weavingRichard Joiner, Thomas W. Reps, Somesh Jha, Mohan Dhawan, Vinod Ganapathy. FSE 2014: 224-234 [doi]
PostHat and All That: Automating Abstract InterpretationAditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps. ENTCS, 311:15-32, 2015. [doi]
OpenNWA: A Nested-Word Automaton LibraryEvan Driscoll, Aditya V. Thakur, Thomas W. Reps. cav 2012: 665-671 [doi]
Synthesis with Asymptotic Resource BoundsQinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps. cav 2021: 783-807 [doi]
A Dataset of DockerfilesJordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps. msr 2020: 528-532 [doi]
Specialization SlicingMin Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps. TOPLAS, 36(2):5, 2014. [doi]
PMAF: an algebraic framework for static analysis of probabilistic programsDi Wang, Jan Hoffmann 0002, Thomas W. Reps. PLDI 2018: 513-528 [doi]
Speeding up machine-code synthesisVenkatesh Srinivasan, Tushar Sharma, Thomas W. Reps. OOPSLA 2016: 165-180 [doi]
A decision procedure for detecting atomicity violations for communicating processes with locksNicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps. STTT, 13(1):37-60, 2011. [doi]
Non-linear reasoning for invariant synthesisZachary Kincaid, John Cyphert, Jason Breck, Thomas W. Reps. PACMPL, 2(POPL), 2018. [doi]
Neural Program Generation Modulo Static AnalysisRohan Mukherjee 0001, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Christopher M. Jermaine. nips 2021: 18984-18996 [doi]
Specialization slicingMin Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps. PLDI 2014: 19 [doi]
Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction RefinementMatthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran. cav 2012: 548-563 [doi]
WYSINWYX: What you see is not what you eXecuteGogul Balakrishnan, Thomas W. Reps. TOPLAS, 32(6), 2010. [doi]
Shipwright: A Human-in-the-Loop System for Dockerfile RepairJordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps. ICSE 2021: 198-199 [doi]
Recovery of Class Hierarchies and Composition Relationships from Machine CodeVenkatesh Srinivasan, Thomas W. Reps. CC 2014: 61-84 [doi]
Directed Proof Generation for Machine CodeAditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps. cav 2010: 288-305 [doi]
View-Augmented AbstractionsMatt Elder, Denis Gopan, Thomas W. Reps. ENTCS, 267(1):43-57, 2010. [doi]
A Generalization of Stålmarck's MethodAditya V. Thakur, Thomas W. Reps. SAS 2012: 334-351 [doi]
Newtonian Program Analysis via Tensor ProductThomas W. Reps, Emma Turetsky, Prathmesh Prabhu. TOPLAS, 39(2), 2017. [doi]
Interprocedural Shape Analysis for Effectively Cutpoint-Free ProgramsJörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav. BIRTHDAY 2013: 414-445 [doi]
Finite differencing of logical formulas for static analysisThomas W. Reps, Mooly Sagiv, Alexey Loginov. TOPLAS, 32(6), 2010. [doi]
Property-Directed Shape AnalysisShachar Itzhaky, Nikolaj Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur. cav 2014: 35-51 [doi]
Finding concurrency-related bugs using random isolationNicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri. STTT, 13(6):495-518, 2011. [doi]
Central moment analysis for cost accumulators in probabilistic programsDi Wang, Jan Hoffmann 0002, Thomas W. Reps. PLDI 2021: 559-573 [doi]
Secure programs via game-based synthesisSomesh Jha, Thomas W. Reps, William R. Harris. FMCAD 2013: 12-13 [doi]
Learning from, understanding, and supporting DevOps artifacts for dockerJordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps. ICSE 2020: 38-49 [doi]
POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000Mark N. Wegman, Thomas W. Reps, editors, ACM, 2000. [doi]
Interprocedural Context-Unbounded Program Analysis Using Observation SequencesPeizun Liu, Thomas Wahl, Thomas W. Reps. TOPLAS, 42(4), 2021. [doi]
Automated Resource Analysis with Coq Proof ObjectsQuentin Carbonneaux, Jan Hoffmann 0002, Thomas W. Reps, Zhong Shao. cav 2017: 64-85 [doi]
Symbolic analysis via semantic reinterpretationJunghee Lim, Akash Lal, Thomas W. Reps. STTT, 13(1):61-87, 2011. [doi]
Static Program Analysis via 3-Valued LogicThomas W. Reps. agp 2002: 5 [doi]
Newtonian program analysis via tensor productThomas W. Reps, Emma Turetsky, Prathmesh Prabhu. POPL 2016: 663-677 [doi]
Lightweight, Multi-Stage, Compiler-Assisted Application SpecializationMohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps. eurosp 2022: 251-269 [doi]
Synthesis of machine code from semanticsVenkatesh Srinivasan, Thomas W. Reps. PLDI 2015: 596-607 [doi]
Programmable Program SynthesisLoris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps. cav 2021: 84-109 [doi]
Unrealizability LogicJinwoo Kim, Loris D'Antoni, Thomas W. Reps. PACMPL, 7(POPL):659-688, January 2023. [doi]
Sound Bit-Precise Numerical DomainsTushar Sharma, Thomas W. Reps. vmcai 2017: 500-520 [doi]
Algebraic Program AnalysisZachary Kincaid, Thomas W. Reps, John Cyphert. cav 2021: 46-83 [doi]
Semantic Robustness of Models of Source CodeJordan Henkel, Goutham Ramakrishnan, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps. WCRE 2022: 526-537 [doi]
Statically Inferring Complex Heap, Array, and Numeric InvariantsBill McCloskey, Thomas W. Reps, Mooly Sagiv. SAS 2010: 71-99 [doi]
Modular System SynthesisKanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps. FMCAD 2023: 257-267 [doi]
A new abstraction framework for affine transformersTushar Sharma, Thomas W. Reps. fmsd, 54(1):110-143, 2019. [doi]
A Method for Symbolic Computation of Abstract OperationsAditya V. Thakur, Thomas W. Reps. cav 2012: 174-192 [doi]
A New Abstraction Framework for Affine TransformersTushar Sharma, Thomas W. Reps. SAS 2017: 342-363 [doi]
Templates and recurrences: better togetherJason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps. PLDI 2020: 688-702 [doi]
Refinement of path expressions for static analysisJohn Cyphert, Jason Breck, Zachary Kincaid, Thomas W. Reps. PACMPL, 3, 2019. [doi]
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented ApproachWei Zhang 0022, Chong Sun, Junghee Lim, Shan Lu, Thomas W. Reps. TOSEM, 22(2):10, 2013. [doi]
Proving Unrealizability for Syntax-Guided SynthesisQinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps. cav 2019: 335-352 [doi]
Sound probabilistic inference via guide typesDi Wang, Jan Hoffmann 0002, Thomas W. Reps. PLDI 2021: 788-803 [doi]
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code AnalysisJunghee Lim, Thomas W. Reps. TOPLAS, 35(1):4, 2013. [doi]
Secure Programming via Visibly Pushdown Safety GamesWilliam R. Harris, Somesh Jha, Thomas W. Reps. cav 2012: 581-598 [doi]
Program synthesis for interactive-security systemsWilliam R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia. fmsd, 51(2):362-394, 2017. [doi]
Declarative, Temporal, and Practical Programming with CapabilitiesWilliam R. Harris, Somesh Jha, Thomas W. Reps, Jonathan Anderson, Robert N. M. Watson. sp 2013: 18-32 [doi]
Generating language-based environmentsReps, Thomas W.. Massachusetts Institute of Technology, Cambridge, MA, USA, 1984.

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Thomas W. Reps's Profile

Unidentified Publications