Travelled to:1 × Italy
3 × USA
Collaborated with:A.Diwan B.E.Chang C.Reichenbach T.Mytkowicz J.G.Siek
Talks about:program (2) metamorphosi (1) interpret (1) everywher (1) modular (1) analysi (1) window (1) symbol (1) profil (1) measur (1)
Person: Devin Coughlin
DBLP: Coughlin:Devin
Contributed to:
2014
2012
2009
2009Wrote 4 papers:
- POPL-2014-CoughlinC #analysis #composition #invariant
- Fissile type analysis: modular checking of almost everywhere invariants (DC, BYEC), pp. 73–86.
- ISSTA-2012-CoughlinCDS #source code #what
- Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say (DC, BYEC, AD, JGS), pp. 276–286.
- ECOOP-2009-ReichenbachCD
- Program Metamorphosis (CR, DC, AD), pp. 394–418.
- OOPSLA-2009-MytkowiczCD #profiling
- Inferred call path profiling (TM, DC, AD), pp. 175–190.