default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas W. Reps
Person information
- affiliation: University of Wisconsin-Madison, Madison, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j68]Di Wang
, Thomas W. Reps:
Newtonian Program Analysis of Probabilistic Programs. Proc. ACM Program. Lang. 8(OOPSLA1): 305-333 (2024)- [j67]Shaan Nagy, Jinwoo Kim, Thomas W. Reps, Loris D'Antoni:
Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs. Proc. ACM Program. Lang. 8(OOPSLA2): 113-139 (2024) - [j66]Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni:
Synthesizing Formal Semantics from Executable Interpreters. Proc. ACM Program. Lang. 8(OOPSLA2): 362-388 (2024) - [j65]Keith J. C. Johnson, Rahul Krishnan, Thomas W. Reps, Loris D'Antoni:
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics. Proc. ACM Program. Lang. 8(OOPSLA2): 935-961 (2024) - [j64]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
Weighted Context-Free-Language Ordered Binary Decision Diagrams. Proc. ACM Program. Lang. 8(OOPSLA2): 1390-1419 (2024) - [j63]Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps:
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. ACM Trans. Program. Lang. Syst. 46(2): 7 (2024) - [c174]Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni:
The SemGuS Toolkit. CAV (3) 2024: 27-40 - [i43]Shaan Nagy, Jinwoo Kim, Loris D'Antoni, Thomas W. Reps:
Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs. CoRR abs/2401.13244 (2024) - [i42]Abhinav Jain, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine:
Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation. CoRR abs/2405.15282 (2024) - [i41]Xusheng Zhi, Thomas W. Reps:
Polynomial Bounds of CFLOBDDs against BDDs. CoRR abs/2406.01525 (2024) - [i40]Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni:
The SemGuS Toolkit. CoRR abs/2406.01792 (2024) - [i39]Pankaj Kumar Kalita, Thomas W. Reps, Subhajit Roy:
Synthesizing Abstract Transformers for Reduced-Product Domains. CoRR abs/2408.04040 (2024) - [i38]Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni:
Synthesizing Formal Semantics from Executable Interpreters. CoRR abs/2408.14668 (2024) - [i37]Charlie Murphy, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni:
Verifying Solutions to Semantics-Guided Synthesis Problems. CoRR abs/2408.15475 (2024) - [i36]Keith J. C. Johnson, Rahul Krishnan, Thomas W. Reps, Loris D'Antoni:
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics. CoRR abs/2408.15822 (2024) - [i35]Jinwoo Kim, Shaan Nagy, Thomas W. Reps, Loris D'Antoni:
Semantics of Sets of Programs. CoRR abs/2410.16102 (2024) - 2023
- [j62]Kanghee Park, Loris D'Antoni, Thomas W. Reps:
Synthesizing Specifications. Proc. ACM Program. Lang. 7(OOPSLA2): 1787-1816 (2023) - [j61]Jinwoo Kim, Loris D'Antoni, Thomas W. Reps:
Unrealizability Logic. Proc. ACM Program. Lang. 7(POPL): 659-688 (2023) - [j60]Yuanbo Li, Qirun Zhang, Thomas W. Reps:
Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming. Proc. ACM Program. Lang. 7(POPL): 1003-1026 (2023) - [c173]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
Symbolic Quantum Simulation with Quasimodo. CAV (3) 2023: 213-225 - [c172]Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps:
Modular System Synthesis. FMCAD 2023: 257-267 - [d9]Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps:
Quasimodo. Version 1. Zenodo, 2023 [all versions]
- [d8]Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps:
Quasimodo. Version 2. Zenodo, 2023 [all versions] - [i34]Kanghee Park, Loris D'Antoni, Thomas W. Reps:
Synthesizing Specifications. CoRR abs/2301.11117 (2023) - [i33]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
Symbolic Quantum Simulation with Quasimodo. CoRR abs/2302.04349 (2023) - [i32]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
Weighted Context-Free-Language Ordered Binary Decision Diagrams. CoRR abs/2305.13610 (2023) - [i31]Abhinav Jain, Chima Adiole, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine:
Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback. CoRR abs/2305.18341 (2023) - [i30]Di Wang, Thomas W. Reps:
Newtonian Program Analysis of Probabilistic Programs. CoRR abs/2307.09064 (2023) - [i29]Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps:
Modular System Synthesis. CoRR abs/2308.06956 (2023) - [i28]Mohannad Alhanahnah, Philipp Dominik Schubert, Thomas W. Reps, Somesh Jha, Eric Bodden:
slash: A Technique for Static Configuration-Logic Identification. CoRR abs/2310.06758 (2023) - [i27]John Cyphert, Yotam Feldman, Zachary Kincaid, Thomas W. Reps:
Optimal Symbolic Bound Synthesis. CoRR abs/2310.13144 (2023) - 2022
- [j59]Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy:
Synthesizing abstract transformers. Proc. ACM Program. Lang. 6(OOPSLA2): 1291-1319 (2022) - [j58]Yuanbo Li, Qirun Zhang, Thomas W. Reps:
Fast Graph Simplification for Interleaved-Dyck Reachability. ACM Trans. Program. Lang. Syst. 44(2): 11:1-11:28 (2022) - [c171]Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps:
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization. EuroS&P 2022: 251-269 - [c170]Jordan Henkel, Goutham Ramakrishnan, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps:
Semantic Robustness of Models of Source Code. SANER 2022: 526-537 - [d7]Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy:
Synthesizing Abstract Transformers. Version 1.0. Zenodo, 2022 [all versions] - [d6]Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy:
Synthesizing Abstract Transformers. Version 1.0. Zenodo, 2022 [all versions] - [i26]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. CoRR abs/2211.06818 (2022) - [i25]Jinwoo Kim, Loris D'Antoni, Thomas W. Reps:
Unrealizability Logic. CoRR abs/2211.07117 (2022) - 2021
- [j57]Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps:
Semantics-guided synthesis. Proc. ACM Program. Lang. 5(POPL): 1-32 (2021) - [j56]Yuanbo Li, Qirun Zhang, Thomas W. Reps:
On the complexity of bidirected interleaved Dyck-reachability. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021) - [j55]Peizun Liu, Thomas Wahl, Thomas W. Reps:
Interprocedural Context-Unbounded Program Analysis Using Observation Sequences. ACM Trans. Program. Lang. Syst. 42(4): 16:1-16:34 (2021) - [c169]Zachary Kincaid, Thomas W. Reps, John Cyphert:
Algebraic Program Analysis. CAV (1) 2021: 46-83 - [c168]Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps:
Programmable Program Synthesis. CAV (1) 2021: 84-109 - [c167]Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps:
Synthesis with Asymptotic Resource Bounds. CAV (1) 2021: 783-807 - [c166]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: 198-199 - [c165]Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps:
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. ICSE 2021: 1148-1160 - [c164]Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Christopher M. Jermaine:
Neural Program Generation Modulo Static Analysis. NeurIPS 2021: 18984-18996 - [c163]Di Wang, Jan Hoffmann, Thomas W. Reps:
Central moment analysis for cost accumulators in probabilistic programs. PLDI 2021: 559-573 - [c162]Di Wang, Jan Hoffmann, Thomas W. Reps:
Sound probabilistic inference via guide types. PLDI 2021: 788-803 - [d5]Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps:
ICSE'21 Artifact for the paper Shipwright: A Human-in-the-Loop System for Dockerfile Repair. Zenodo, 2021 - [i24]Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps:
Shipwright: A Human-in-the-Loop System for Dockerfile Repair. CoRR abs/2103.02591 (2021) - [i23]Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps:
Synthesis with Asymptotic Resource Bounds. CoRR abs/2103.04188 (2021) - [i22]Di Wang, Jan Hoffmann, Thomas W. Reps:
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems. CoRR abs/2103.16105 (2021) - [i21]Di Wang, Jan Hoffmann, Thomas W. Reps:
Sound Probabilistic Inference via Guide Types. CoRR abs/2104.03598 (2021) - [i20]Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy:
Synthesizing Abstract Transformers. CoRR abs/2105.00493 (2021) - [i19]Mohannad Alhanahnah, Rithik Jain, Vaibhav Rastogi, Somesh Jha, Thomas W. Reps:
Lightweight, Multi-Stage, Compiler-Assisted Application Specialization. CoRR abs/2109.02775 (2021) - [i18]Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Chris Jermaine:
Neural Program Generation Modulo Static Analysis. CoRR abs/2111.01633 (2021) - 2020
- [c161]Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps:
Learning from, understanding, and supporting DevOps artifacts for docker. ICSE 2020: 38-49 - [c160]Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps:
A Dataset of Dockerfiles. MSR 2020: 528-532 - [c159]Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps:
Templates and recurrences: better together. PLDI 2020: 688-702 - [c158]Yuanbo Li, Qirun Zhang, Thomas W. Reps:
Fast graph simplification for interleaved Dyck-reachability. PLDI 2020: 780-793 - [c157]Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps:
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. PLDI 2020: 1128-1142 - [d4]Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps:
ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker. Zenodo, 2020 - [i17]Di Wang, Jan Hoffmann, Thomas W. Reps:
Tail Bound Analysis for Probabilistic Programs via Central Moments. CoRR abs/2001.10150 (2020) - [i16]Goutham Ramakrishnan, Jordan Henkel, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps:
Semantic Robustness of Models of Source Code. CoRR abs/2002.03043 (2020) - [i15]Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps:
Learning from, Understanding, and Supporting DevOps Artifacts for Docker. CoRR abs/2002.03064 (2020) - [i14]Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps:
A Dataset of Dockerfiles. CoRR abs/2003.12912 (2020) - [i13]Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps:
Templates and Recurrences: Better Together. CoRR abs/2003.13515 (2020) - [i12]Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps:
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems. CoRR abs/2004.00878 (2020) - [i11]Zi Wang, Ben Liblit, Thomas W. Reps:
TOFU: Target-Orienter FUzzer. CoRR abs/2004.14375 (2020) - [i10]Michael Vaughn, Thomas W. Reps:
A Generating-Extension-Generator for Machine Code. CoRR abs/2005.06645 (2020) - [i9]Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps:
Semantics-Guided Synthesis. CoRR abs/2008.09836 (2020)
2010 – 2019
- 2019
- [j54]Tushar Sharma, Thomas W. Reps:
A new abstraction framework for affine transformers. Formal Methods Syst. Des. 54(1): 110-143 (2019) - [j53]John Cyphert, Jason Breck, Zachary Kincaid, Thomas W. Reps:
Refinement of path expressions for static analysis. Proc. ACM Program. Lang. 3(POPL): 45:1-45:29 (2019) - [j52]Zachary Kincaid, Jason Breck, John Cyphert, Thomas W. Reps:
Closed forms for numerical loops. Proc. ACM Program. Lang. 3(POPL): 55:1-55:29 (2019) - [c156]Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps:
Proving Unrealizability for Syntax-Guided Synthesis. CAV (1) 2019: 335-352 - [c155]Di Wang, Jan Hoffmann, Thomas W. Reps:
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism. MFPS 2019: 303-324 - [i8]Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Enabling Open-World Specification Mining via Unsupervised Learning. CoRR abs/1904.12098 (2019) - [i7]Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps:
Proving Unrealizability for Syntax-Guided Synthesis. CoRR abs/1905.05800 (2019) - 2018
- [j51]Zachary Kincaid, John Cyphert, Jason Breck, Thomas W. Reps:
Non-linear reasoning for invariant synthesis. Proc. ACM Program. Lang. 2(POPL): 54:1-54:33 (2018) - [c154]Thomas W. Reps:
Program Analyses Using Newton's Method (Invited Paper). NETYS 2018: 3-16 - [c153]Di Wang, Jan Hoffmann, Thomas W. Reps:
PMAF: an algebraic framework for static analysis of probabilistic programs. PLDI 2018: 513-528 - [c152]Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Code vectors: understanding programs through embedded abstracted symbolic traces. ESEC/SIGSOFT FSE 2018: 163-174 - [d3]Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. Version v1.0.0. Zenodo, 2018 [all versions] - [d2]Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. Version v1.0.1. Zenodo, 2018 [all versions] - [d1]Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. Version v1.1.1. Zenodo, 2018 [all versions] - [i6]Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps:
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. CoRR abs/1803.06686 (2018) - 2017
- [j50]William R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia:
Program synthesis for interactive-security systems. Formal Methods Syst. Des. 51(2): 362-394 (2017) - [j49]Venkatesh Srinivasan, Ara Vartanian, Thomas W. Reps:
Model-assisted machine-code synthesis. Proc. ACM Program. Lang. 1(OOPSLA): 61:1-61:26 (2017) - [j48]Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu:
Newtonian Program Analysis via Tensor Product. ACM Trans. Program. Lang. Syst. 39(2): 9:1-9:72 (2017) - [c151]Quentin Carbonneaux, Jan Hoffmann, Thomas W. Reps, Zhong Shao:
Automated Resource Analysis with Coq Proof Objects. CAV (2) 2017: 64-85 - [c150]Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps:
Compositional recurrence analysis revisited. PLDI 2017: 248-262 - [c149]Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps:
Component-based synthesis for complex APIs. POPL 2017: 599-612 - [c148]Tushar Sharma, Thomas W. Reps:
A New Abstraction Framework for Affine Transformers. SAS 2017: 342-363 - [c147]David Bingham Brown, Michael Vaughn, Ben Liblit, Thomas W. Reps:
The care and feeding of wild-caught mutants. ESEC/SIGSOFT FSE 2017: 511-522 - [c146]Tushar Sharma, Thomas W. Reps:
Sound Bit-Precise Numerical Domains. VMCAI 2017: 500-520 - [i5]Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps:
Neural Attribute Machines for Program Generation. CoRR abs/1705.09231 (2017) - [i4]Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps:
Source Forager: A Search Engine for Similar Source Code. CoRR abs/1706.02769 (2017) - 2016
- [c145]Antoine Miné, Jason Breck, Thomas W. Reps:
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs. ESOP 2016: 560-588 - [c144]Venkatesh Srinivasan, Tushar Sharma, Thomas W. Reps:
Speeding up machine-code synthesis. OOPSLA 2016: 165-180 - [c143]Venkatesh Srinivasan, Thomas W. Reps:
An improved algorithm for slicing machine code. OOPSLA 2016: 378-393 - [c142]Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu:
Newtonian program analysis via tensor product. POPL 2016: 663-677 - [c141]Thomas W. Reps, Aditya V. Thakur:
Automating Abstract Interpretation. VMCAI 2016: 3-40 - 2015
- [c140]Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps:
Recovering execution data from incomplete observations. WODA@SPLASH 2015: 19-24 - [c139]Venkatesh Srinivasan, Thomas W. Reps:
Partial evaluation of machine code. OOPSLA 2015: 860-879 - [c138]Venkatesh Srinivasan, Thomas W. Reps:
Synthesis of machine code from semantics. PLDI 2015: 596-607 - 2014
- [j47]Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps:
Specialization Slicing. ACM Trans. Program. Lang. Syst. 36(2): 5:1-5:67 (2014) - [j46]Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps:
Abstract Domains of Affine Relations. ACM Trans. Program. Lang. Syst. 36(4): 11:1-11:73 (2014) - [c137]Shachar Itzhaky, Nikolaj S. Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur:
Property-Directed Shape Analysis. CAV 2014: 35-51 - [c136]Venkatesh Srinivasan, Thomas W. Reps:
Recovery of Class Hierarchies and Composition Relationships from Machine Code. CC 2014: 61-84 - [c135]Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps:
Specialization slicing. PLDI 2014: 167 - [c134]Richard Joiner, Thomas W. Reps, Somesh Jha, Mohan Dhawan, Vinod Ganapathy:
Efficient runtime-enforcement techniques for policy weaving. SIGSOFT FSE 2014: 224-234 - [c133]Aditya V. Thakur, Jason Breck, Thomas W. Reps:
Satisfiability modulo abstraction for separation logic with linked lists. SPIN 2014: 58-67 - [i3]Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, Aditya V. Thakur:
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). Dagstuhl Reports 4(8): 89-106 (2014) - 2013
- [j45]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): 4:1-4:59 (2013) - [j44]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): 10:1-10:33 (2013) - [c132]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: 414-445 - [c131]Somesh Jha, Thomas W. Reps, William R. Harris:
Secure programs via game-based synthesis. FMCAD 2013: 12-13 - [c130]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: 18-32 - [c129]Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps:
PostHat and All That: Automating Abstract Interpretation. TAPAS@SAS 2013: 15-32 - 2012
- [c128]Aditya V. Thakur, Thomas W. Reps:
A Method for Symbolic Computation of Abstract Operations. CAV 2012: 174-192 - [c127]Matthew Fredrikson, Richard Joiner, Somesh Jha, Thomas W. Reps, Phillip A. Porras, Hassen Saïdi, Vinod Yegneswaran:
Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement. CAV 2012: 548-563 - [c126]William R. Harris, Somesh Jha, Thomas W. Reps:
Secure Programming via Visibly Pushdown Safety Games. CAV 2012: 581-598 - [c125]