Martin Kellogg (@kellogg_martin) 's Twitter Profile
Martin Kellogg

@kellogg_martin

PhD student at @uwplse, future assistant prof at @NJIT CS. I use verification techniques to solve real problems in software.

ID: 1214731252973989888

linkhttps://homes.cs.washington.edu/~kelloggm/ calendar_today08-01-2020 02:11:21

19 Tweet

231 Takipçi

313 Takip Edilen

Martin Kellogg (@kellogg_martin) 's Twitter Profile Photo
Martin Kellogg
@kellogg_martin

5 years ago

Our paper "Verifying Object Construction" was accepted at ICSE! You can find a pre-print here if you're interested: homes.cs.washington.edu/~kelloggm/pape…