Folgen
Devin Coughlin
Devin Coughlin
Bestätigte E-Mail-Adresse bei colorado.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Program metamorphosis
C Reichenbach, D Coughlin, A Diwan
European Conference on Object-Oriented Programming, 394-418, 2009
332009
Inferred call path profiling
T Mytkowicz, D Coughlin, A Diwan
ACM SIGPLAN Notices 44 (10), 175-190, 2009
312009
Fissile type analysis: modular checking of almost everywhere invariants
D Coughlin, BYE Chang
ACM SIGPLAN Notices 49 (1), 73-85, 2014
72014
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, B Evan, C Amer, D Jeremy, G Siek
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10