Martin Kellogg

23 papers A* 5A 2Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
A New Approach to Evaluating Nullability Inference Tools.
Proc. ACM Softw. Eng.
Nima Karimipour, Erfan Arvan, Martin Kellogg, Manu Sridharan
2025 J jnl
LLM-Based Repair of Static Nullability Errors.
CoRR
Nima Karimipour, Michael Pradel, Martin Kellogg, Manu Sridharan
2025 J jnl
Lightweight and modular resource leak checking (extended version).
Int. J. Softw. Tools Technol. Transf.
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2025 J jnl
Relative Code Comprehensibility Prediction.
CoRR
Nadeeshan De Silva, Martin Kellogg, Oscar Chaparro
2025 A* conf
Repairing Leaks in Resource Wrappers.
ASE
Sanjay Malakar, Michael D. Ernst, Martin Kellogg, Manu Sridharan
2025 J jnl
Repairing Leaks in Resource Wrappers.
CoRR
Sanjay Malakar, Michael D. Ernst, Martin Kellogg, Manu Sridharan
2025 J jnl
Static Program Reduction via Type-Directed Slicing.
Proc. ACM Softw. Eng.
Loi Ngo Duc Nguyen, Tahiatul Islam, Theron Wang, Sam Lenz, Martin Kellogg
2024 J jnl
Inferring Pluggable Types with Machine Learning.
CoRR
Kazi Amanul Islam Siddiqui, Martin Kellogg
2023 J jnl
Automatic Inference of Resource Leak Specifications.
CoRR
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2023 J jnl
Inference of Resource Management Specifications.
Proc. ACM Program. Lang.
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
2023 — conf
On the Relationship between Code Verifiability and Understandability.
ESEC/SIGSOFT FSE
Kobi Feldman, Martin Kellogg, Oscar Chaparro
2023 J jnl
On the Relationship between Code Verifiability and Understandability.
CoRR
Kobi Feldman, Martin Kellogg, Oscar Chaparro
2023 A* conf
Pluggable Type Inference for Free.
ASE
Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst
2022 J jnl
Accumulation Analysis (Artifact).
Dagstuhl Artifacts Ser.
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
2022 A conf
Accumulation Analysis.
ECOOP
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
2022 — —
Lightweight Verification via Specialized Typecheckers
Martin Kellogg
2021 — conf
Lightweight and modular resource leak verification.
ESEC/SIGSOFT FSE
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
2021 — conf
Lightweight verification via specialized typecheckers.
ESEC/SIGSOFT FSE
Martin Kellogg
2020 A* conf
Continuous Compliance.
ASE
Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst
2020 A* conf
Verifying object construction.
ICSE
Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst
2019 A* conf
Compile-Time Detection of Machine Image Sniping.
ASE
Martin Kellogg
2018 A conf
Lightweight verification of array indexing.
ISSTA
Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst
2016 — conf
Combining bug detection and test case generation.
SIGSOFT FSE
Martin Kellogg