| Abstractions for software architecture and tools to support them M Shaw, R DeLine, DV Klein, TL Ross, DM Young, G Zelesnik IEEE transactions on software engineering 21 (4), 314-335, 1995 | 1252 | 1995 |
| Boogie: A modular reusable verifier for object-oriented programs M Barnett, BYE Chang, R DeLine, B Jacobs, KRM Leino International Symposium on Formal Methods for Components and Objects, 364-387, 2005 | 949 | 2005 |
| Maintaining mental models: a study of developer work habits TD LaToza, G Venolia, R DeLine Proceedings of the 28th international conference on Software engineering …, 2006 | 604 | 2006 |
| Enforcing high-level protocols in low-level software R DeLine, M Fähndrich Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001 | 536 | 2001 |
| Information needs in collocated software development teams AJ Ko, R DeLine, G Venolia 29th International Conference on Software Engineering (ICSE'07), 344-353, 2007 | 496 | 2007 |
| Verification of Object-Oriented Programs with Invariants. M Barnett, R DeLine, M Fähndrich, KRM Leino, W Schulte Journal of Object Technology 3 (6), 27-56, 2004 | 407 | 2004 |
| Adoption and focus: Practical linear types for imperative programming M Fahndrich, R DeLine Proceedings of the ACM SIGPLAN 2002 conference on Programming language …, 2002 | 334 | 2002 |
| Alice: lessons learned from building a 3D system for novices M Conway, S Audia, T Burnette, D Cosgrove, K Christiansen Proceedings of the SIGCHI conference on Human Factors in Computing Systems …, 2000 | 310 | 2000 |
| Interactions with big data analytics D Fisher, R DeLine, M Czerwinski, S Drucker interactions 19 (3), 50-59, 2012 | 291 | 2012 |
| Typestates for objects R DeLine, M Fähndrich European Conference on Object-Oriented Programming, 465-490, 2004 | 274 | 2004 |
| Let's go to the whiteboard: how and why software developers use drawings M Cherubini, G Venolia, R DeLine, AJ Ko Proceedings of the SIGCHI conference on Human factors in computing systems …, 2007 | 258 | 2007 |
| A field study of API learning obstacles MP Robillard, R Deline Empirical Software Engineering 16 (6), 703-732, 2011 | 234 | 2011 |
| BoogiePL: A typed procedural language for checking object-oriented programs R DeLine, KRM Leino Technical Report MSR-TR-2005-70, Microsoft Research, 2005 | 182 | 2005 |
| Abstractions and implementations for architectural connections M Shaw, R DeLine, G Zelesnik Proceedings of International Conference on Configurable Distributed Systems …, 1996 | 166 | 1996 |
| Alice: Rapid prototyping system for virtual reality R Pausch, T Burnette, AC Capeheart, M Conway, D Cosgrove, R DeLine, ... IEEE Computer Graphics and Applications 15 (3), 8-11, 1995 | 155 | 1995 |
| Easing program comprehension by sharing navigation data R DeLine, M Czerwinski, G Robertson 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC …, 2005 | 139 | 2005 |
| Trill: A high-performance incremental query processor for diverse analytics B Chandramouli, J Goldstein, M Barnett, R DeLine, D Fisher, JC Platt, ... Proceedings of the VLDB Endowment 8 (4), 401-412, 2014 | 132 | 2014 |
| Social media for software engineering A Begel, R DeLine, T Zimmermann Proceedings of the FSE/SDP workshop on Future of software engineering …, 2010 | 125 | 2010 |
| Righting software JR Larus, T Ball, M Das, R DeLine, M Fahndrich, J Pincus, SK Rajamani, ... IEEE software 21 (3), 92-100, 2004 | 125 | 2004 |
| Developing calendar visualizers for the information visualizer JD Mackinlay, GG Robertson, R DeLine Proceedings of the 7th annual ACM symposium on User interface software and …, 1994 | 122 | 1994 |
