Devin Coughlin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2014
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | POPL | Fissile type analysis: modular checking of almost everywhere invariants. | Devin Coughlin, Bor-Yuh Evan Chang |
| 2012 | ISSTA | Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. | Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek |
| 2009 | ECOOP | Program Metamorphosis. | Christoph Reichenbach, Devin Coughlin, Amer Diwan |
| 2009 | OOPSLA | Inferred call path profiling. | Todd Mytkowicz, Devin Coughlin, Amer Diwan |