ECOOP and ISSTA 2018 (series) / 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 2018 | Lightweight Verification of Array Indexing Lightweight Verification of Array Indexing | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ECOOP and ISSTA 2018-profile
View general profile
View general profile