


Остановите войну!
for scientists:


default search action
Thomas 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
- 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) - [i28]Kanghee Park, Loris D'Antoni, Thomas W. Reps:
Synthesizing Specifications. CoRR abs/2301.11117 (2023) - [i27]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
Symbolic Quantum Simulation with Quasimodo. CoRR abs/2302.04349 (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 - [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 - [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 - [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 - [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]Evan Driscoll, Aditya V. Thakur, Thomas W. Reps:
OpenNWA: A Nested-Word Automaton Library. CAV 2012: 665-671 - [c124]Aditya V. Thakur, Matt Elder, Thomas W. Reps:
Bilateral Algorithms for Symbolic Abstraction. SAS 2012: 111-128 - [c123]Aditya V. Thakur, Thomas W. Reps:
A Generalization of Stålmarck's Method. SAS 2012: 334-351 - [i2]Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon:
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). Dagstuhl Reports 2(1): 100-116 (2012) - 2011
- [j43]Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps:
A decision procedure for detecting atomicity violations for communicating processes with locks. Int. J. Softw. Tools Technol. Transf. 13(1): 37-60 (2011) - [j42]Junghee Lim, Akash Lal, Thomas W. Reps:
Symbolic analysis via semantic reinterpretation. Int. J. Softw. Tools Technol. Transf. 13(1): 61-87 (2011) - [j41]Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri:
Finding concurrency-related bugs using random isolation. Int. J. Softw. Tools Technol. Transf. 13(6): 495-518 (2011) - [c122]Wei Zhang, Junghee Lim, Ramya Olichandran, Joel Scherpelz, Guoliang Jin, Shan Lu
, Thomas W. Reps:
ConSeq: detecting concurrency bugs through sequential errors. ASPLOS 2011: 251-264 - [c121]Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps:
Abstract Domains of Affine Relations. SAS 2011: 198-215 - [c120]Evan Driscoll, Amanda Burton, Thomas W. Reps:
Checking conformance of a producer and a consumer. SIGSOFT FSE 2011: 113-123 - 2010
- [b5]Anupam Datta, Somesh Jha, Ninghui Li, David Melski, Thomas W. Reps:
Analysis Techniques for Information Security. Synthesis Lectures on Information Security, Privacy, and Trust, Morgan & Claypool Publishers 2010 - [j40]Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv:
A relational approach to interprocedural shape analysis. ACM Trans. Program. Lang. Syst. 32(2): 5:1-5:52 (2010) - [j39]Gogul Balakrishnan, Thomas W. Reps:
WYSINWYX: What you see is not what you eXecute. ACM Trans. Program. Lang. Syst. 32(6): 23:1-23:84 (2010) - [j38]Thomas W. Reps, Mooly Sagiv, Alexey Loginov:
Finite differencing of logical formulas for static analysis. ACM Trans. Program. Lang. Syst. 32(6): 24:1-24:55 (2010) - [c119]Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal:
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. CAV 2010: 41-56 - [c118]Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps:
Directed Proof Generation for Machine Code. CAV 2010: 288-305 - [c117]William R. Harris, Somesh Jha, Thomas W. Reps:
DIFC programs by automatic instrumentation. CCS 2010: 284-296 - [c116]Bill McCloskey, Thomas W. Reps, Mooly Sagiv:
Statically Inferring Complex Heap, Array, and Numeric Invariants. SAS 2010: 71-99 - [c115]Matt Elder, Denis Gopan, Thomas W. Reps:
View-Augmented Abstractions. NSAD@SAS 2010: 43-57
2000 – 2009
- 2009
- [j37]Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh:
Simulating reachability using first-order logic with applications to verification of linked data structures. Log. Methods Comput. Sci. 5(2) (2009) - [j36]Akash Lal, Thomas W. Reps:
Reducing concurrent analysis under a context bound to sequential analysis. Formal Methods Syst. Des. 35(1): 73-97 (2009) - [c114]William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps:
Verifying Information Flow Control over Unbounded Processes. FM 2009: 773-789 - [c113]Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps:
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks. SPIN 2009: 125-142 - [c112]Junghee Lim, Akash Lal, Thomas W. Reps:
Symbolic Analysis via Semantic Reinterpretation. SPIN 2009: 148-168 - [c111]Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri:
Finding Concurrency-Related Bugs Using Random Isolation. VMCAI 2009: 198-213 - 2008
- [c110]Akash Lal, Thomas W. Reps:
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. CAV 2008: 37-51 - [c109]Thomas W. Reps, Gogul Balakrishnan:
Improved Memory-Access Analysis for x86 Executables. CC 2008: 16-35 - [c108]Junghee Lim, Thomas W. Reps:
A System for Generating Static Analyzers for Machine Instructions. CC 2008: 36-52 - [c107]Akash Lal, Thomas W. Reps:
Solving Multiple Dataflow Queries Using WPDSs. SAS 2008: 93-109 - [c106]Nicholas Kidd, Akash Lal, Thomas W. Reps:
Language Strength Reduction. SAS 2008: 283-298 - [c105]Gogul Balakrishnan, Thomas W. Reps:
Analyzing Stripped Device-Driver Executables. TACAS 2008: 124-140 - [c104]Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps:
Interprocedural Analysis of Concurrent Programs Under a Context Bound. TACAS 2008: 282-298 - 2007
- [j35]Greta Yorsh, Thomas W. Reps, Mooly Sagiv, Reinhard Wilhelm:
Logical characterizations of heap abstractions. ACM Trans. Comput. Log. 8(1): 5 (2007) - [c103]Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv:
Labelled Clauses. CADE 2007: 311-327 - [c102]Denis Gopan, Thomas W. Reps:
Low-Level Library Analysis and Summarization. CAV 2007: 68-81 - [c101]Igor Bogudlov, Tal Lev-Ami, Thomas W. Reps, Mooly Sagiv:
Revamping TVLA: Making Parametric Shape Analysis Competitive. CAV 2007: 221-225 - [c100]Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav:
Comparison Under Abstraction for Verifying Linearizability. CAV 2007: 477-490 - [c99]