Follow
Devin Coughlin
Devin Coughlin
Verified email at colorado.edu - Homepage
Title
Cited by
Cited by
Year
Inferred call path profiling
T Mytkowicz, D Coughlin, A Diwan
ACM SIGPLAN Notices 44 (10), 175-190, 2009
372009
Program metamorphosis
C Reichenbach, D Coughlin, A Diwan
ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009
322009
Fissile type analysis: modular checking of almost everywhere invariants
D Coughlin, BYE Chang
ACM SIGPLAN Notices 49 (1), 73-85, 2014
82014
Measuring enforcement windows with symbolic trace interpretation: What well-behaved programs say
D Coughlin, BYE Chang, A Diwan, JG Siek
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
72012
Measuring enforcement windows with symbolic trace interpretation: What well-behaved programs say (extended version)
D Coughlin, BYE Chang, A Diwan, JG Siek
Technical Report CU-CS-1093-12, CU-Boulder, 2012
22012
Type-Intertwined Separation Logic
D Coughlin
University of Colorado at Boulder, 2015
12015
Synthesizing Short-Circuiting Validation of Data Structure Invariants
YF Tsai, D Coughlin, BYE Chang, X Rival
arXiv preprint arXiv:1511.04846, 2015
2015
Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say; CU-CS-1093-12
D Coughlin, BYE Chang, A Diwan, J Siek
2012
Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say; CU-CS-1093-12
A Diwan, D Coughlin, J Siek, BYE Chang
Testing the Static Checkability of Dynamic Languages with Source to Sink Traces
A Beal, BYE Chang, D Coughlin, K Anderson, J Siek
The system can't perform the operation now. Try again later.
Articles 1–10