Matt Lewis

Identifiers

• name variant Matt Lewis 0.60 · backfill

Papers (6)

1. Using Program Synthesis for Program Analysis cs.LO · 2015 · author #3
2. Danger Invariants cs.PL · 2015 · author #3
3. Proving Safety with Trace Automata and Bounded Model Checking cs.FL · 2014 · author #2
4. Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs cs.LO · 2014 · author #3
5. Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs cs.LO · 2014 · author #3
6. Second-Order Propositional Satisfiability cs.LO · 2014 · author #3

Mentions

• 1508.07829 #3 · backfill · confidence 0.70 Matt Lewis
• 1503.05445 #3 · backfill · confidence 0.70 Matt Lewis
• 1410.5764 #2 · backfill · confidence 0.70 Matt Lewis
• 1410.5089 #3 · backfill · confidence 0.70 Matt Lewis
• 1410.5088 #3 · backfill · confidence 0.70 Matt Lewis
• 1409.4925 #3 · backfill · confidence 0.70 Matt Lewis

Frequent Coauthors

• Daniel Kroening 6 shared papers
• Cristina David 5 shared papers
• Georg Weissenbacher 1 shared papers