| Inferred call path profiling T Mytkowicz, D Coughlin, A Diwan ACM SIGPLAN Notices 44 (10), 175-190, 2009 | 38 | 2009 |
| Program metamorphosis C Reichenbach, D Coughlin, A Diwan ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009 | 34 | 2009 |
| Fissile type analysis: modular checking of almost everywhere invariants D Coughlin, BYE Chang ACM SIGPLAN Notices 49 (1), 73-85, 2014 | 8 | 2014 |
| 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 | 7 | 2012 |
| 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 | 2 | 2012 |
| Type-Intertwined Separation Logic D Coughlin University of Colorado at Boulder, 2015 | 1 | 2015 |
| 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 | | |
