Blogs (61) >>
Martin Kellogg

Registered user since Thu 24 Mar 2016

Name: Martin Kellogg

Bio: I’m a graduate student at the UW, working with the fantastic Mike Ernst toward a PhD. My research interests center around automating parts of the development process; I think that my friends in The Real World should get to spend their time at work on interesting problems, just like I do! To that end, I like to work on problems where we automate some boring, time-consuming, or otherwise not-the-best-thing ever part of a developer’s life. That way, we can all spend our time working on the tough problems the machines can’t solve! (yet?)

Country: United States

Affiliation: University of Washington, Seattle

Personal website:

Research interests: Software Engineering and Programming Languages


ISSTA 2018 Lightweight Verification of Array Indexing
Lightweight Verification of Array Indexing
Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile