Thomas Wahl

Identifiers

• name variant Thomas Wahl 0.60 · backfill

Papers (9)

1. Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript) cs.PL · 2019 · author #2
2. CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript) cs.PL · 2018 · author #2
3. IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report) cs.SE · 2017 · author #2
4. Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report) cs.SE · 2016 · author #2
5. Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report) cs.LO · 2015 · author #2
6. Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report) cs.PL · 2014 · author #3
7. Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report) cs.PL · 2011 · author #4
8. Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report) cs.LO · 2010 · author #4
9. Craig Interpolation for Quantifier-Free Presburger Arithmetic cs.LO · 2008 · author #3

Mentions

• 1505.02637 #2 · backfill · confidence 0.70 Thomas Wahl
• 1406.5715 #3 · backfill · confidence 0.70 Thomas Wahl
• 1102.2330 #4 · backfill · confidence 0.70 Thomas Wahl
• 1011.1036 #4 · backfill · confidence 0.70 Thomas Wahl
• 0811.3521 #3 · backfill · confidence 0.70 Thomas Wahl

Frequent Coauthors

• Peizun Liu 5 shared papers
• Daniel Kroening 4 shared papers
• Alexander Kaiser 2 shared papers
• Angelo Brillout 2 shared papers
• Akash Lal 1 shared papers
• Alastair Donaldson 1 shared papers
• Philipp Ruemmer 1 shared papers