Seguir
Robert DeLine
Robert DeLine
Principal Researcher, Microsoft Research
Dirección de correo verificada de microsoft.com
Título
Citado por
Citado por
Año
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
13471995
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
13162005
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
10822019
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
9352006
Information needs in collocated software development teams
AJ Ko, R DeLine, G Venolia
29th International Conference on Software Engineering (ICSE'07), 344-353, 2007
7252007
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
5022012
A field study of API learning obstacles
MP Robillard, R DeLine
Empirical Software Engineering 16, 703-732, 2011
4902011
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
4662004
Adoption and focus: Practical linear types for imperative programming
M Fahndrich, R DeLine
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
3732002
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
3632007
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
3192016
Typestates for objects
R DeLine, M Fähndrich
European Conference on Object-Oriented Programming, 465-490, 2004
3142004
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
2982019
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
2812019
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
2662017
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
2582014
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
2342005
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
1981995
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
1862019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20