Martin Kellogg

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 15

Top Topics

Object Position

Resource Management

Inference Mechanism

Top Venues

ESEC/SIGSOFT FSE

Proc. ACM Program. Lang.

Publications

Kazi Amanul Islam Siddiqui, Martin Kellogg
Inferring Pluggable Types with Machine Learning. CoRR (2024)
Kobi Feldman, Martin Kellogg, Oscar Chaparro
On the Relationship between Code Verifiability and Understandability. CoRR (2023)
Kobi Feldman, Martin Kellogg, Oscar Chaparro
On the Relationship between Code Verifiability and Understandability. ESEC/SIGSOFT FSE (2023)
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Automatic Inference of Resource Leak Specifications. CoRR (2023)
Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst
Pluggable Type Inference for Free. ASE (2023)
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Inference of Resource Management Specifications. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
Accumulation Analysis (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
Accumulation Analysis. ECOOP (2022)
Martin Kellogg
Lightweight verification via specialized typecheckers. ESEC/SIGSOFT FSE (2021)
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
Lightweight and modular resource leak verification. ESEC/SIGSOFT FSE (2021)
Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst
Continuous Compliance. ASE (2020)
Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst
Verifying object construction. ICSE (2020)
Martin Kellogg
Compile-Time Detection of Machine Image Sniping. ASE (2019)
Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst
Lightweight verification of array indexing. ISSTA (2018)
Martin Kellogg
Combining bug detection and test case generation. SIGSOFT FSE (2016)