Martin Kellogg

Martin Kellogg is an Assistant Professor in the Department of Computer Science at the New Jersey Institute of Technology. His primary academic focus is on making software verification practical for everyday developers, aiming to integrate verification techniques as standard tools in the developer's toolkit similar to unit testing and code review.

Dr. Kellogg's research spans several key areas in programming languages and software engineering, with a particular emphasis on practical program verification. His work focuses on two main approaches: improving the expressivity of simple verification technologies to prove more facts about programs within developer constraints, and convincing developers of verification benefits through deployment in new domains and improved usability. His expertise includes pluggable type systems, abstract interpretation, and resource leak verification, with applications across various programming language paradigms and software development contexts.

Analysis of Dr. Kellogg's publication record reveals a consistent focus on making verification more accessible and practical for developers. His work spans foundational verification techniques like accumulation analysis for resource leaks and initialization, to practical applications in compliance verification. The research shows progression from theoretical foundations to practical implementations, with increasing emphasis on developer experience and integration into standard development workflows. His publications appear consistently in top-tier software engineering and programming languages conferences including ASE, ICSE, ESEC/FSE, and ISSTA.

Dr. Kellogg is actively involved in the academic community as a program committee member for numerous conferences including ASE, ESEC/FSE, PLDI, and ISSTA. He has served in various organizational roles such as Proceedings Chair for STATIC 2026 and Sponsorship Co-Chair for multiple conferences. His GitHub profile shows active contributions to open-source verification tools, particularly related to the Checker Framework for Java, demonstrating his commitment to translating research into practical tools that developers can use.

Through his work on repositories like the divide-by-zero checker and other verification tools, Dr. Kellogg maintains an active research lab focused on practical program analysis. His team develops and maintains specialized type checkers that address specific verification challenges, contributing to the broader ecosystem of static analysis tools for software developers.