SAS 2023
Sun 22 - Tue 24 October 2023 Cascais, Portugal
co-located with SPLASH 2023
Martin Kellogg

Registered user since Thu 24 Mar 2016

Name:Martin Kellogg
Bio:

I’m an assistant professor at the New Jersey Institute of Technology, in the Department of Computer Science. My research focuses on making software verification practical for every developer: that is, on making verification a standard part of every developer’s toolkit, in the way that techniques like unit testing or code review are today. My focus is primarily on two approaches to making verification more practical:

  • improving the expressivity of simple verification technologies: making it possible to prove more facts about a program within the constraints that developers actually work under. Examples of this approach include my work on accumulation analysis for resource leaks (ESEC/FSE 2021) and for initialization (ICSE 2020).
  • convincing developers of the benefits of verification: by deploying verification technologies in new domains, and by improving the usability of verification. An example of this approach is my work on compliance verification (ASE 2020).
Country:United States
Affiliation:New Jersey Institute of Technology
Research interests:Practical Program Verification, Software Engineering, Programming Languages, Pluggable Type Systems, Abstract Interpretation

Contributions

Show activities from other conferences

SPLASH 2023-profile
View general profile