Travelled to:1 × Norway
1 × Russia
2 × United Kingdom
Collaborated with:D.Kröning C.David G.Weissenbacher D.Landsberg H.Chockler
Talks about:program (3) termin (3) safeti (2) counterexampl (1) unrestrict (1) proposit (1) automata (1) argument (1) approxim (1) statist (1)
Person: Matt Lewis
DBLP: Lewis:Matt
Contributed to:
2015
2015
2015
2013Wrote 5 papers:
- ESOP-2015-DavidKL #source code #strict #termination
- Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs (CD, DK, ML), pp. 183–204.
- ESOP-2015-DavidKL15a #reasoning #safety #source code #termination
- Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs (CD, DK, ML), pp. 661–684.
- FASE-2015-LandsbergCKL #evaluation #fault #locality #metric #optimisation #statistics
- Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme (DL, HC, DK, ML), pp. 115–129.
- FM-2015-KroeningLW #automaton #bound #model checking #proving #safety
- Proving Safety with Trace Automata and Bounded Model Checking (DK, ML, GW), pp. 325–341.
- CAV-2013-KroeningLW #approximate #c #detection #performance #source code
- Under-Approximating Loops in C Programs for Fast Counterexample Detection (DK, ML, GW), pp. 381–396.