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 | 1341 | 1995 |
Boogie: A modular reusable verifier for object-oriented programs M Barnett, BYE Chang, R DeLine, B Jacobs, KRM Leino Formal Methods for Components and Objects: 4th International Symposium, FMCO …, 2006 | 1290 | 2006 |
Software engineering for machine learning: A case study S Amershi, A Begel, C Bird, R DeLine, H Gall, E Kamar, N Nagappan, ... 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 993 | 2019 |
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 | 909 | 2006 |
Information needs in collocated software development teams AJ Ko, R DeLine, G Venolia 29th International Conference on Software Engineering (ICSE'07), 344-353, 2007 | 712 | 2007 |
Enforcing high-level protocols in low-level software R DeLine, M Fähndrich Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001 | 574 | 2001 |
Interactions with big data analytics D Fisher, R DeLine, M Czerwinski, S Drucker interactions 19 (3), 50-59, 2012 | 493 | 2012 |
A field study of API learning obstacles MP Robillard, R DeLine Empirical Software Engineering 16, 703-732, 2011 | 477 | 2011 |
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 | 461 | 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 | 369 | 2002 |
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 | 355 | 2007 |
Typestates for objects R DeLine, M Fähndrich European Conference on Object-Oriented Programming, 465-490, 2004 | 312 | 2004 |
The emerging role of data scientists on software development teams M Kim, T Zimmermann, R DeLine, A Begel Proceedings of the 38th International Conference on Software Engineering, 96-107, 2016 | 307 | 2016 |
Gamut: A design probe to understand how data scientists understand machine learning models F Hohman, A Head, R Caruana, R DeLine, SM Drucker Proceedings of the 2019 CHI conference on human factors in computing systems …, 2019 | 278 | 2019 |
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 | 255 | 2014 |
Data scientists in software teams: State of the art and challenges M Kim, T Zimmermann, R DeLine, A Begel IEEE Transactions on Software Engineering 44 (11), 1024-1038, 2017 | 253 | 2017 |
Software engineering for machine learning: a case study. In 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) S Amershi, A Begel, C Bird, R DeLine, H Gall, E Kamar, N Nagappan, ... IEEE, 2019 | 251 | 2019 |
BoogiePL: A typed procedural language for checking object-oriented programs R DeLine, KRM Leino Technical Report MSR-TR-2005-70, Microsoft Research 10 (1.212), 7449, 2005 | 232 | 2005 |
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 | 197 | 1995 |
Managing messes in computational notebooks A Head, F Hohman, T Barik, SM Drucker, R DeLine Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems …, 2019 | 178 | 2019 |