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: https://homes.cs.washington.edu/~kelloggm/

Research interests: Software Engineering and Programming Languages

Contributions

ISSTA 2018Author of Lightweight Verification of Array Indexing within the ISSTA Technical Papers-track
Author of Lightweight Verification of Array Indexing within the ISSTA Artifacts-track
Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile