Combining bug detection and test case generation. - Martin Kellogg (SIGSOFT FSE, 2016)

Lightweight verification of array indexing. - Martin Kellogg; Vlastimil Dort; Suzanne Millstein; Michael D. Ernst (ISSTA, 2018)

Compile-Time Detection of Machine Image Sniping. - Martin Kellogg (ASE, 2019)

Verifying object construction. - Martin Kellogg; Manli Ran; Manu Sridharan; Martin Schäf; Michael D. Ernst (ICSE, 2020)

Continuous Compliance. - Martin Kellogg; Martin Schäf; Serdar Tasiran; Michael D. Ernst (ASE, 2020)

Lightweight verification via specialized typecheckers. - Martin Kellogg (ESEC/SIGSOFT FSE, 2021)

Lightweight and modular resource leak verification. - Martin Kellogg; Narges Shadab; Manu Sridharan; Michael D. Ernst (ESEC/SIGSOFT FSE, 2021)

Accumulation Analysis. - Martin Kellogg; Narges Shadab; Manu Sridharan; Michael D. Ernst (ECOOP, 2022)

Accumulation Analysis (Artifact). - Martin Kellogg; Narges Shadab; Manu Sridharan; Michael D. Ernst (Dagstuhl Artifacts Ser., 2022)

Lightweight Verification via Specialized Typecheckers - Martin Kellogg (2022)

Pluggable Type Inference for Free. - Martin Kellogg; Daniel Daskiewicz; Loi Ngo Duc Nguyen; Muyeed Ahmed; Michael D. Ernst (ASE, 2023)

On the Relationship between Code Verifiability and Understandability. - Kobi Feldman; Martin Kellogg; Oscar Chaparro (ESEC/SIGSOFT FSE, 2023)

Automatic Inference of Resource Leak Specifications. - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (CoRR, 2023)

Inference of Resource Management Specifications. - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Proc. ACM Program. Lang., 2023)

Inferring Pluggable Types with Machine Learning. - Kazi Amanul Islam Siddiqui; Martin Kellogg (CoRR, 2024)

A New Approach to Evaluating Nullability Inference Tools. - Nima Karimipour; Erfan Arvan; Martin Kellogg; Manu Sridharan (Proc. ACM Softw. Eng., 2025)

Static Program Reduction via Type-Directed Slicing. - Loi Ngo Duc Nguyen; Tahiatul Islam; Theron Wang; Sam Lenz; Martin Kellogg (Proc. ACM Softw. Eng., 2025)

Lightweight and modular resource leak checking (extended version). - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Int. J. Softw. Tools Technol. Transf., 2025)

LLM-Based Repair of Static Nullability Errors. - Nima Karimipour; Michael Pradel; Martin Kellogg; Manu Sridharan (CoRR, 2025)