Matt Lewis

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 13

Top Venues

CoRR

ESOP

NDSS

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider
Fine-Grained Trackability in Protocol Executions. NDSS (2023)
Sonya B. Dumanis, Kristen Ratan, Souad McIntosh, Hetal V. Shah, Matt Lewis, Timothy H. Vines, Randy Schekman, Ekemini A. Riley
From policy to practice: Lessons learned from an open science funding initiative. PLoS Comput. Biol. 19 (12) (2023)
Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
Program Synthesis for Program Analysis. ACM Trans. Program. Lang. Syst. 40 (2) (2018)
Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
Danger Invariants. FM (2016)
Daniel Kroening, Matt Lewis, Georg Weissenbacher
Proving Safety with Trace Automata and Bounded Model Checking. FM (2015)
Cristina David, Daniel Kroening, Matt Lewis
Using Program Synthesis for Program Analysis. LPAR (2015)
Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas
Accelerating Invariant Generation. FMCAD (2015)
David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. FASE (2015)
Daniel Kroening, Matt Lewis, Georg Weissenbacher
Under-approximating loops in C programs for fast counterexample detection. Formal Methods Syst. Des. 47 (1) (2015)
Cristina David, Daniel Kroening, Matt Lewis
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs. ESOP (2015)
Cristina David, Daniel Kroening, Matt Lewis
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. ESOP (2015)
Cristina David, Daniel Kroening, Matt Lewis
Using Program Synthesis for Program Analysis. CoRR (2015)
Cristina David, Daniel Kroening, Matt Lewis
Danger Invariants. CoRR (2015)
Daniel Kroening, Matt Lewis
Second-Order SAT Solving using Program Synthesis. CoRR (2014)
Cristina David, Daniel Kroening, Matt Lewis
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs. CoRR (2014)
Cristina David, Daniel Kroening, Matt Lewis
Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs. CoRR (2014)
Daniel Kroening, Matt Lewis, Georg Weissenbacher
Proving Safety with Trace Automata and Bounded Model Checking. CoRR (2014)
Daniel Kroening, Matt Lewis, Georg Weissenbacher
Under-Approximating Loops in C Programs for Fast Counterexample Detection. CAV (2013)
Frank Stajano, Daniel Cvrcek, Matt Lewis
Steel, Cast Iron and Concrete: Security Engineering for Real World Wireless Sensor Networks. ACNS (2008)

Matt Lewis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matt Lewis