Follow
Matt Lewis
Matt Lewis
Computer Science Department, University of Oxford
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
Under-approximating loops in C programs for fast counterexample detection
D Kroening, M Lewis, G Weissenbacher
Formal methods in system design 47, 75-92, 2015
592015
Evaluation of measures for statistical fault localisation and an optimising scheme
D Landsberg, H Chockler, D Kroening, M Lewis
Fundamental Approaches to Software Engineering: 18th International …, 2015
362015
Unrestricted termination and non-termination arguments for bit-vector programs
C David, D Kroening, M Lewis
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
302015
Priorities to inform research on marine plastic pollution in Southeast Asia
LCM Omeyer, EM Duncan, K Aiemsomboon, N Beaumont, S Bureekul, ...
Science of the Total Environment 841, 156704, 2022
292022
Using program synthesis for program analysis
C David, D Kroening, M Lewis
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
272015
Steel, cast iron and concrete: Security engineering for real world wireless sensor networks
F Stajano, D Cvrcek, M Lewis
Applied Cryptography and Network Security: 6th International Conference …, 2008
252008
Danger invariants
C David, P Kesseli, D Kroening, M Lewis
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
232016
Accelerating invariant generation
K Madhukar, B Wachter, D Kroening, M Lewis, M Srivas
2015 Formal Methods in Computer-Aided Design (FMCAD), 105-111, 2015
162015
Proving safety with trace automata and bounded model checking
D Kroening, M Lewis, G Weissenbacher
International Symposium on Formal Methods, 325-341, 2015
132015
Program synthesis for program analysis
C David, P Kesseli, D Kroening, M Lewis
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (2), 1-45, 2018
92018
Propositional reasoning about safety and termination of heap-manipulating programs
C David, D Kroening, M Lewis
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
82015
Second-order SAT solving using program synthesis
D Kroening, M Lewis
CoRR, abs/1409.4925, 2014
82014
Unrestricted termination and non-termination proofs for bit-vector programs
C David, D Kroening, M Lewis
ESOP, 2015
52015
Second-order propositional satisfiability
C David, D Kroening, M Lewis
arXiv preprint arXiv:1409.4925, 2014
32014
Developing as a mathematics teacher educator: Learning from the Oxford MSc experience
S Thornton, N Beaumont, M Lewis, C Penfold
International Handbook of Mathematics Teacher Education: Volume 4, 35-52, 2020
12020
Precise verification of C programs
M Lewis
Oxford University, UK, 2014
12014
Proceedings-International Conference on Software Engineering: Preface
S Kim, S Uchitel, D Garbervetsky, B Aktemur, D Kroening, A Orso, ...
Proceedings-International Conference on Software Engineering, v-vi, 2011
2011
Basic Integer Overflows
blexim
Phrack, 2002
2002
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme
H Chockler, D Kroening, D Landsberg, M Lewis
King’s Research Portal
D Landsberg, H Chockler, D Kroening, M Lewis
The system can't perform the operation now. Try again later.
Articles 1–20