| 2022 | Onward | GOAL: Supporting General and Dynamic Adaptation in Computing Systems. | Ahsan Pervaiz, Yao-Hsiang Yang, Adam Duracz, Ferenc A. Bartha, Ryuichi Sai, Connor Imes, Robert Cartwright, Krishna V. Palem, Shan Lu, Henry Hoffmann |
| 2014 | HPCC | Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). | Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia Kilchenman O'Malley, Robert Cartwright |
| 2011 | GI | The trouble with real numbers (Invited paper). | Walid Taha, Robert Cartwright |
| 2010 | SIGCSE | Test-first Java concurrency for the classroom. | Mathias Ricken, Robert Cartwright |
| 2008 | OOPSLA | Java type inference is broken: can we fix it? | Daniel Smith, Robert Cartwright |
| 2007 | OOPSLA | Component nextgen: a sound and expressive component framework for java. | James Sasitorn, Robert Cartwright |
| 2007 | SAC | Deriving components from genericity. | James Sasitorn, Robert Cartwright |
| 2006 | SAC | Efficient first-class generics on stock Java virtual machines. | James Sasitorn, Robert Cartwright |
| 2005 | SIGCSE | Taming Java for the classroom. | James I. Hsia, Elspeth Simpson, Daniel Smith, Robert Cartwright |
| 2004 | SIGCSE | Taming a professional IDE for the classroom. | Charles Reis, Robert Cartwright |
| 2003 | OOPSLA | A first-class approach to genericity. | Eric E. Allen, Jonathan Bannet, Robert Cartwright |
| 2003 | OOPSLA | A friendly face for Eclipse. | Charles Reis, Robert Cartwright |
| 2003 | SIGCSE | Production programming in the classroom. | Eric E. Allen, Robert Cartwright, Charles Reis |
| 2002 | SIGCSE | DrJava: a lightweight pedagogic environment for Java. | Eric E. Allen, Robert Cartwright, Brian Stoler |
| 1998 | OOPSLA | Compatible Genericity with Run-Time Types for the Java Programming Language. | Robert Cartwright, Guy L. Steele Jr. |
| 1993 | ICALP | What is a Universal Higher-Order Programming Language? | Ramarao Kanneganti, Robert Cartwright |
| 1992 | POPL | Observable Sequentiality and Full Abstraction. | Robert Cartwright, Matthias Felleisen |
| 1991 | PLDI | Soft Typing. | Robert Cartwright, Mike Fagan |
| 1991 | PLDI | Soft typing (with retrospective) | Robert Cartwright, Mike Fagan |
| 1989 | PLDI | The Semantics of Program Dependence. | Robert Cartwright, Matthias Felleisen |
| 1988 | LICS | The Topology of Program Termination | Robert Cartwright, Alan J. Demers |
| 1985 | POPL | Types as Intervals. | Robert Cartwright |
| 1981 | POPL | Formal Program Testing. | Robert Cartwright |
| 1981 | POPL | Paths: An Abstract Alternative to Pointers. | Robert Cartwright, Robert Hood, Philip Mathews |
| 1979 | POPL | First Order Programming Logic. | Robert Cartwright, John McCarthy |
| 1978 | POPL | Unrestricted Procedure Calls in Hoare's Logic. | Robert Cartwright, Derek C. Oppen |
| 1976 | ICALP | User-Defined Data Types as an Aid to Verifying LISP Programs. | Robert Cartwright |