Matt Lewis

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

Frequent Coauthors

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