Robert DeLine
Robert DeLine
Principal Researcher, Microsoft Research
Verified email at microsoft.com
TitleCited byYear
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
12281995
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
9292005
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
5912006
Enforcing high-level protocols in low-level software
R DeLine, M Fähndrich
ACM SIGPLAN Notices 36 (5), 59-69, 2001
5372001
Information needs in collocated software development teams
AJ Ko, R DeLine, G Venolia
Proceedings of the 29th international conference on Software Engineering …, 2007
4872007
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
4062004
Adoption and focus: Practical linear types for imperative programming
M Fahndrich, R DeLine
ACM SIGPLAN Notices 37 (5), 13-24, 2002
3312002
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
3122000
Interactions with big data analytics
D Fisher, R DeLine, M Czerwinski, S Drucker
interactions 19 (3), 50-59, 2012
2862012
Typestates for objects
R DeLine, M Fähndrich
European Conference on Object-Oriented Programming, 465-490, 2004
2732004
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
2562007
A field study of API learning obstacles
MP Robillard, R Deline
Empirical Software Engineering 16 (6), 703-732, 2011
2292011
BoogiePL: A typed procedural language for checking object-oriented programs
R DeLine, KRM Leino
Technical Report MSR-TR-2005-70, Microsoft Research, 2005
1792005
Abstractions and implementations for architectural connections
M Shaw, R DeLine, G Zelesnik
Proceedings of International Conference on Configurable Distributed Systems …, 1996
1611996
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
1541995
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
1362005
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
1302014
Righting software
JR Larus, T Ball, M Das, R DeLine, M Fahndrich, J Pincus, SK Rajamani, ...
IEEE software 21 (3), 92-100, 2004
1272004
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
1231994
Social media for software engineering
A Begel, R DeLine, T Zimmermann
Proceedings of the FSE/SDP workshop on Future of software engineering …, 2010
1222010
The system can't perform the operation now. Try again later.
Articles 1–20