Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Martin Kellogg

Registered user since Thu 24 Mar 2016

Name:Martin Kellogg

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, Seattle
Research interests:Software Engineering and Programming Languages


ASE 2019 Compile-time detection of machine image sniping
Show activities from other conferences

ASE 2019-profile
View general profile