Matt Lewis

According to our database, Matt Lewis authored at least 15 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

From policy to practice: Lessons learned from an open science funding initiative.

Sonya B. Dumanis, Kristen Ratan, Souad McIntosh, Hetal V. Shah, Matt Lewis, Timothy H. Vines, Randy Schekman, Ekemini A. Riley

PLoS Comput. Biol., December, 2023

Fine-Grained Trackability in Protocol Executions.

Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

2018

Program Synthesis for Program Analysis.

Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis

ACM Trans. Program. Lang. Syst., 2018

2016

Danger Invariants.

Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis

Proceedings of the FM 2016: Formal Methods, 2016

2015

Under-approximating loops in C programs for fast counterexample detection.

Daniel Kroening, Matt Lewis, Georg Weissenbacher

Formal Methods Syst. Des., 2015

Danger Invariants.

Cristina David, Daniel Kroening, Matt Lewis

CoRR, 2015

Using Program Synthesis for Program Analysis.

Cristina David, Daniel Kroening, Matt Lewis

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Accelerating Invariant Generation.

Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Proving Safety with Trace Automata and Bounded Model Checking.

Daniel Kroening, Matt Lewis, Georg Weissenbacher

Proceedings of the FM 2015: Formal Methods, 2015

Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme.

David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs.

Cristina David, Daniel Kroening, Matt Lewis

Proceedings of the Programming Languages and Systems, 2015

Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs.

Cristina David, Daniel Kroening, Matt Lewis

Proceedings of the Programming Languages and Systems, 2015

2014

Precise verification of C programs.

Matt Lewis

PhD thesis, 2014

Second-Order SAT Solving using Program Synthesis.

Daniel Kroening, Matt Lewis

CoRR, 2014

2008

Steel, Cast Iron and Concrete: Security Engineering for Real World Wireless Sensor Networks.

Frank Stajano, Daniel Cvrcek, Matt Lewis

Proceedings of the Applied Cryptography and Network Security, 6th International Conference, 2008