Matt Lewis
Matt Lewis
Computer Science Department, University of Oxford
Verified email at cs.ox.ac.uk
Title
Cited by
Cited by
Year
Network security assessment: know your network
C McNab
" O'Reilly Media, Inc.", 2007
1732007
Under-approximating loops in C programs for fast counterexample detection
D Kroening, M Lewis, G Weissenbacher
Formal methods in system design 47 (1), 75-92, 2015
432015
Unrestricted termination and non-termination arguments for bit-vector programs
C David, D Kroening, M Lewis
European Symposium on Programming Languages and Systems, 183-204, 2015
232015
Evaluation of measures for statistical fault localisation and an optimising scheme
D Landsberg, H Chockler, D Kroening, M Lewis
International Conference on Fundamental Approaches to Software Engineering …, 2015
222015
Steel, cast iron and concrete: Security engineering for real world wireless sensor networks
F Stajano, D Cvrcek, M Lewis
International Conference on Applied Cryptography and Network Security, 460-478, 2008
182008
Using program synthesis for program analysis
C David, D Kroening, M Lewis
Logic for programming, artificial intelligence, and reasoning, 483-498, 2015
162015
Accelerating invariant generation
K Madhukar, B Wachter, D Kroening, M Lewis, M Srivas
2015 Formal Methods in Computer-Aided Design (FMCAD), 105-111, 2015
102015
Proving safety with trace automata and bounded model checking
D Kroening, M Lewis, G Weissenbacher
International Symposium on Formal Methods, 325-341, 2015
102015
Danger invariants
C David, P Kesseli, D Kroening, M Lewis
International Symposium on Formal Methods, 182-198, 2016
92016
Second-order SAT solving using program synthesis
D Kroening, M Lewis
CoRR, abs/1409.4925, 2014
92014
Propositional reasoning about safety and termination of heap-manipulating programs
C David, D Kroening, M Lewis
European Symposium on Programming Languages and Systems, 661-684, 2015
42015
Unrestricted termination and non-termination proofs for bit-vector programs
C David, D Kroening, M Lewis
ESOP, 2015
42015
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
32018
Second-order propositional satisfiability
C David, D Kroening, M Lewis
arXiv preprint arXiv:1409.4925, 2014
22014
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, 2011
2011
Basic Integer Overflows
blexim
Phrack, 2002
2002
The system can't perform the operation now. Try again later.
Articles 1–17