Martin Kellogg

Registered user since Thu 24 Mar 2016

Name:Martin Kellogg
Bio:

I’m a Ph.D. student at the University of Washington Paul G. Allen School of Computer Science & Engineering. I work in the PLSE group on lightweight software verification. My advisor is Mike Ernst.

My current work is focused on building type systems on top of the Checker Framework to solve practical problems in software engineering.

Country:United States
Affiliation:University of Washington
Research interests:Software Engineering and Programming Languages

Contributions

ECOOP 2022 Author of Accumulation Analysis within the Research Papers-track
ESEC/FSE 2022 Author of Lightweight and Modular Resource Leak Verification within the ESEC/FSE 2021-track
ESEC/FSE 2021 Author of Lightweight and Modular Resource Leak Verification within the Research Papers-track
Author of Lightweight Verification via Specialized Typecheckers within the Doctoral Symposium-track
SPLASH 2022 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ASE 2020 Author of Continuous Compliance within the Research Papers-track
ICST 2020 Programme Committee in Program Committee within the Testing Tools Track-track
VMCAI 2020 Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track
PLDI 2020 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
ASE 2019 Author of Compile-time detection of machine image sniping within the Student Research Competition-track
ICSE 2020 Author of Verifying Object Construction within the Technical Papers-track
ISSTA 2018 Author of Lightweight Verification of Array Indexing within the ISSTA Technical Papers-track
Author of Lightweight Verification of Array Indexing within the ISSTA Artifacts-track