Write a Blog >>
ESEC/FSE 2021
Mon 23 - Sat 28 August 2021 Athens, Greece
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

ESEC/FSE 2021 Lightweight and Modular Resource Leak Verification
Lightweight Verification via Specialized Typecheckers
Show activities from other conferences

Using general profile