Martin Kellogg

Orcid: 0000-0002-3185-2340

According to our database1, Martin Kellogg authored at least 15 papers between 2016 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Inferring Pluggable Types with Machine Learning.
CoRR, 2024

2023
Inference of Resource Management Specifications.
Proc. ACM Program. Lang., October, 2023

Automatic Inference of Resource Leak Specifications.
CoRR, 2023

On the Relationship between Code Verifiability and Understandability.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Pluggable Type Inference for Free.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022
Lightweight Verification via Specialized Typecheckers
PhD thesis, 2022

Accumulation Analysis (Artifact).
Dagstuhl Artifacts Ser., 2022

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

2021
Lightweight and modular resource leak verification.
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.
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.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Verifying object construction.
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.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018
Lightweight verification of array indexing.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2016
Combining bug detection and test case generation.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016


  Loading...