Martin Kellogg

According to our database, Martin Kellogg authored at least 14 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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., October, 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

On the Relationship between Code Verifiability and Understandability.

Kobi Feldman, Martin Kellogg, Oscar Chaparro

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Pluggable Type Inference for Free.

Martin Kellogg, Daniel Daskiewicz, Loi Ngo Duc Nguyen, Muyeed Ahmed, Michael D. Ernst

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Lightweight Verification via Specialized Typecheckers

Martin Kellogg

PhD thesis, 2022

Accumulation Analysis (Artifact).

Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst

Dagstuhl Artifacts Ser., 2022

Accumulation Analysis.

Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Lightweight and modular resource leak verification.

Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Lightweight verification via specialized typecheckers.

Martin Kellogg

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Continuous Compliance.

Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Verifying object construction.

Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Compile-Time Detection of Machine Image Sniping.

Martin Kellogg

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Lightweight verification of array indexing.

Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2016

Combining bug detection and test case generation.

Martin Kellogg

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016