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.

Outside of work, I enjoy playing games, skiing, and sharing beverages with friends. Favorite games include Civilization, dungeons and dragons, and Dominion. Favorite beverages include tea and absinthe.

News

Feb 11

I gave a talk at the University of Utah to Pavel Panchekha’s lab.

Feb 7

Our paper “Verifying Object Construction” was accepted at ICSE 2020’s technical track!

2019 Nov

“Compile-time Detection of Machine Image Sniping” won first place at the ASE student research competition!

2019 Sep

I’m excited to rejoin the AWS Automated Reasoning Group for an internship this fall!

2019 Aug

I updated my website!

Papers

Verifying Object Construction
International Conference on Software Engineering, May 2020
[bibtex] [code] [artifact (VM image)]
Compile-time Detection of Machine Image Sniping
  • Martin Kellogg
ASE 2019 Student Research Competition, Graduate Division, November 2019
Won 1st place at ASE ‘19’s Student Research Competition
[bibtex] [slides (PDF)] [poster (PDF)]
Lightweight Verification of Array Indexing
Internation Symposium on Software Testing and Analysis, July 2018
[bibtex] [slides (PDF)] [slides (PPTX)] [artifact] [docker image]
Combining Bug Detection and Test Case Generation
  • Martin Kellogg
FSE 2016 Student Research Competition, Undergraduate Division, November 2016
Won 1st place at FSE ‘16 and 3rd place in the SRC Grand Finals
[bibtex]
Combining Bug Detection and Test Case Generation
Technical Report, September 2016
[bibtex]