Follow
Robert DeLine
Robert DeLine
Principal Researcher, Microsoft Research
Verified email at microsoft.com
Title
Cited by
Cited by
Year
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
13431995
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
13062006
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
10302019
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
9232006
Information needs in collocated software development teams
AJ Ko, R DeLine, G Venolia
29th International Conference on Software Engineering (ICSE'07), 344-353, 2007
7202007
Enforcing high-level protocols in low-level software
R DeLine, M Fähndrich
Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001
5772001
Interactions with big data analytics
D Fisher, R DeLine, M Czerwinski, S Drucker
interactions 19 (3), 50-59, 2012
4962012
A field study of API learning obstacles
MP Robillard, R DeLine
Empirical Software Engineering 16, 703-732, 2011
4812011
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
4622004
Adoption and focus: Practical linear types for imperative programming
M Fahndrich, R DeLine
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
3712002
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
3572007
Typestates for objects
R DeLine, M Fähndrich
European Conference on Object-Oriented Programming, 465-490, 2004
3142004
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
3122016
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
2902019
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
2642019
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
2562017
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
2562014
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
2322005
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
1971995
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
1802019
The system can't perform the operation now. Try again later.
Articles 1–20