R. Deline
Artificial Intelligence · 2001–2019
A researcher in the Science corpus: 12 papers; trusts 19 researchers and is trusted by 47 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 48 citations into it; #4,740 of 35,345 by trust here, #6,193 by citations
- Safety, Robustness & Interpretability — 23 citations into it
- Computer Vision and Pattern Recognition — 21 citations into it
- Information Systems — 19 citations into it; #3,889 of 8,771 by trust here, #1,707 by citations
- Software — 12 citations into it; #731 of 1,227 by trust here, #718 by citations
- Human-Computer Interaction — 11 citations into it
- Computer Science Applications — 7 citations into it; #979 of 1,855 by trust here, #991 by citations
- Information Systems and Management — 7 citations into it; #3,227 of 3,842 by trust here, #1,865 by citations
Whom R. Deline trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Manuel Fähndrich
- Greg Nelson
- Dawson R. Engler
- Gloria Mark
- B. Chelf
- S. Goldin‐Meadow
- Amy J. Ko
- Cormac Flanagan
- Minsuk Kahng
- Chandrasekhar Boyapati
Who trusts R. Deline overall
- Manuel Fähndrich
- Mike Barnett
- Greg Nelson
- Martín Abadi
- Thomas Ball
- David E. Gay
- Simon J. Gay
- Manuvir Das
- John Whaley
- Andrzej Wasylkowski
Papers from R. Deline's perspective
Ordered by how strongly the researchers R. Deline trusts endorse each paper. Same corpus, a different order for every researcher.
- ImageNet classification with deep convolutional neural networks
- Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- The mythos of model interpretability
- Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)
- Towards A Rigorous Science of Interpretable Machine Learning
- Mastering the game of Go without human knowledge
- An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
- Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
- INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
- Explanation in Artificial Intelligence: Insights from the Social Sciences
Their papers
- Gamut: A Design Probe to Understand How Data Scientists Understand Machine Learning Models (2019) — 281 citations
- Maintaining mental models: a study of developer work habits (2006) — 779 citations
- Boogie: A Modular Reusable Verifier for Object-Oriented Programs (2005) — 1,068 citations
- Verification of Object-Oriented Programs with Invariants (2003) — 396 citations
- Adoption and focus: practical linear types for imperative programming (2002) — 306 citations
- Typestates for Objects (2004) — 298 citations
- Software Engineering for Machine Learning: A Case Study (2019) — 1,033 citations
- Interactions with big data analytics (2012) — 360 citations
- A field study of API learning obstacles (2011) — 407 citations
- Information Needs in Collocated Software Development Teams (2007) — 562 citations
- Let's go to the whiteboard: how and why software developers use drawings (2007) — 302 citations
- Enforcing high-level protocols in low-level software (2001) — 486 citations