Robert Cartwright

Publication Activity (10 Years)

Years Active: 1976-2022
Publications (10 Years): 6

Top Topics

Computing Systems

Cyber Physical Systems

Top Venues

Publications

Ahsan Pervaiz, Yao-Hsiang Yang, Adam Duracz, Ferenc A. Bartha, Ryuichi Sai, Connor Imes, Robert Cartwright, Krishna V. Palem, Shan Lu, Henry Hoffmann
GOAL: Supporting General and Dynamic Adaptation in Computing Systems. Onward! (2022)
Yao-Hsiang Yang, Adam Duracz, Ferenc A. Bartha, Ryuichi Sai, Ahsan Pervaiz, Saeid Barati, Dung Nguyen, Robert Cartwright, Henry Hoffmann, Krishna V. Palem
Language Support for Adaptation: Intent-Driven Programming in FAST. CoRR (2019)
Saeid Barati, Ferenc A. Bartha, Swarnendu Biswas, Robert Cartwright, Adam Duracz, Donald S. Fussell, Henry Hoffmann, Connor Imes, Jason E. Miller, Nikita Mishra, Arvind, Dung Nguyen, Krishna V. Palem, Yan Pei, Keshav Pingali, Ryuichi Sai, Andrew Wright, Yao-Hsiang Yang, Sizhuo Zhang
Proteus: Language and Runtime Support for Self-Adaptive Software Development. IEEE Softw. 36 (2) (2019)
Moez A. AbdelGawad, Robert Cartwright
NOOP: A Domain-Theoretic Model of Nominally-Typed OOP. CoRR (2018)
Robert Cartwright, Rebecca Parsons, Moez A. AbdelGawad
Domain Theory: An Introduction. CoRR (2016)
Walid Taha, Yingfu Zeng, Adam Duracz, Fei Xu, Kevin Atkinson, Paul Brauner, Robert Cartwright, Roland Philippsen
Developing a first course on cyber-physical systems. SIGBED Rev. 14 (1) (2016)
Walid Taha, Adam Duracz, Yingfu Zeng, Kevin Atkinson, Ferenc A. Bartha, Paul Brauner, Jan Duracz, Fei Xu, Robert Cartwright, Michal Konecný, Eugenio Moggi, Jawad Masood, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) (2015)
Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia K. O'Malley, Robert Cartwright
Modeling Basic Aspects of Cyber-Physical Systems, Part II. CoRR (2014)
Yingfu Zeng, Chad G. Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia Kilchenman O'Malley, Robert Cartwright
Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). HPCC/CSS/ICESS (2014)
Walid Taha, Robert Cartwright, Roland Philippsen, Yingfu Zeng
Developing A First Course on Cyber-Physical Systems. WESE (2014)
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). ICDCS Workshops (2012)
Walid Taha, Robert Cartwright
The trouble with real numbers (Invited paper). GI-Jahrestagung (2011)
Walid Taha, Paul Brauner, Robert Cartwright, Verónica Gaspes, Aaron D. Ames, Alexandre Chapoutot
A core language for executable models of cyber physical systems: work in progress report. SIGBED Rev. 8 (2) (2011)
Jarred Payne, Vincent Cavé, Raghavan Raman, Mathias Ricken, Robert Cartwright, Vivek Sarkar
DrHJ: a lightweight pedagogic IDE for Habanero Java. PPPJ (2011)
Angela Yun Zhu, Edwin M. Westbrook, Jun Inoue, Alexandre Chapoutot, Cherif R. Salama, Marisa Linnea Peralta, Travis Martin, Walid Taha, Marcia K. O'Malley, Robert Cartwright, Aaron D. Ames, Raktim Bhattacharya
Mathematical equations as executable models of mechanical systems. ICCPS (2010)
Mathias Ricken, Robert Cartwright
Test-first Java concurrency for the classroom. SIGCSE (2010)
Mathias Ricken, Robert Cartwright
ConcJUnit: unit testing for concurrent programs. PPPJ (2009)
Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
In Pursuit of Real Answers. ICESS (2009)
Daniel Smith, Robert Cartwright
Java type inference is broken: can we fix it? OOPSLA (2008)
James Sasitorn, Robert Cartwright
Component nextgen: a sound and expressive component framework for java. OOPSLA (2007)
James Sasitorn, Robert Cartwright
Deriving components from genericity. SAC (2007)
James Sasitorn, Robert Cartwright
Efficient first-class generics on stock Java virtual machines. SAC (2006)
Eric E. Allen, Robert Cartwright
Safe instantiation in Generic Java. Sci. Comput. Program. 59 (1-2) (2006)
James I. Hsia, Elspeth Simpson, Daniel Smith, Robert Cartwright
Taming Java for the classroom. SIGCSE (2005)
Eric E. Allen, Robert Cartwright
Safe instantiation in generic Java. PPPJ (2004)
Charles Reis, Robert Cartwright
Taming a professional IDE for the classroom. SIGCSE (2004)
Charles Reis, Robert Cartwright
A friendly face for Eclipse. eTX (2003)
Eric E. Allen, Robert Cartwright, Charles Reis
Production programming in the classroom. SIGCSE (2003)
Eric E. Allen, Jonathan Bannet, Robert Cartwright
A first-class approach to genericity. OOPSLA (2003)
Eric E. Allen, Robert Cartwright, Brian Stoler
Efficient Implementation of Run-time Generic Types for Java. Generic Programming (2002)
Eric E. Allen, Robert Cartwright, Brian Stoler
DrJava: a lightweight pedagogic environment for Java. SIGCSE (2002)
Eric E. Allen, Robert Cartwright
The case for run-time types in generic Java. PPPJ/IRE (2002)
Matthias Felleisen, Robert Cartwright
Safety as a Metric. CSEE&T (1999)
Robert Cartwright, Guy L. Steele Jr.
Compatible Genericity with Run-Time Types for the Java Programming Language. OOPSLA (1998)
Andrew K. Wright, Robert Cartwright
A Practical Soft Type System for Scheme. ACM Trans. Program. Lang. Syst. 19 (1) (1997)
Jia-Huai You, Robert Cartwright, Ming Li
Iterative Belief Revision in Extended Logic Programming. Theor. Comput. Sci. 170 (1-2) (1996)
Robert Cartwright, Matthias Felleisen
Program Verification Through Soft Typing. ACM Comput. Surv. 28 (2) (1996)
Robert Cartwright, Matthias Felleisen
Extensible Denotational Language Specifications. TACS (1994)
Robert Cartwright, Pierre-Louis Curien, Matthias Felleisen
Fully Abstract Semantics for Observably Sequential Languages Inf. Comput. 111 (2) (1994)
Jia-Huai You, Robert Cartwright
Tractable Argumentation Semantics via Iterative Belief Revision. ILPS (1994)
Andrew K. Wright, Robert Cartwright
A Practical Soft Type System for Scheme. LISP and Functional Programming (1994)
Ramarao Kanneganti, Robert Cartwright
What is a Universal Higher-Order Programming Language? ICALP (1993)
Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version). REX Workshop (1992)
Robert Cartwright, Matthias Felleisen
Observable Sequentiality and Full Abstraction. POPL (1992)
Robert Cartwright
Lambda: the Ultimate Combinator. Artificial and Mathematical Theory of Computation (1991)
Robert Cartwright, Mike Fagan
Soft typing (with retrospective) Best of PLDI (1991)
Robert Cartwright, Mike Fagan
Soft Typing. PLDI (1991)
Robert Cartwright, Matthias Felleisen
The Semantics of Program Dependence. PLDI (1989)
Robert Cartwright, Alan J. Demers
The Topology of Program Termination LICS (1988)
Hans-Juergen Boehm, Robert Cartwright, Mark Riggle, Michael J. O'Donnell
Exact Real Arithmetic: A Case Study in Higher Order Programming. LISP and Functional Programming (1986)
Robert Cartwright
Types as Intervals. POPL (1985)
Robert Cartwright
Recursive Programs as Definitions in First Order Logic. SIAM J. Comput. 13 (2) (1984)
Robert Cartwright
Non-Standard Fixed Points in First Order Logic. Logic of Programs (1983)
Robert Cartwright, James E. Donahue
The Semantics of Lazy (and Industrious) Evaluation. Symposium on LISP and Functional Programming (1982)
Robert Cartwright
Formal Program Testing. POPL (1981)
Robert Cartwright
Toward a Logical Thoery of Program Data. Logic of Programs (1981)
Robert Cartwright, Robert Hood, Philip Mathews
Paths: An Abstract Alternative to Pointers. POPL (1981)
Robert Cartwright, Derek C. Oppen
The Logic of Aliasing. Acta Informatica 15 (1981)
Robert Cartwright
A Constructive Alternative to Axiomatic Data Type Definitions. LISP Conference (1980)
Robert Cartwright, John McCarthy
First Order Programming Logic. POPL (1979)
Robert Cartwright, Derek C. Oppen
Unrestricted Procedure Calls in Hoare's Logic. POPL (1978)
Robert Cartwright, John McCarthy
Recursive programs as functions in a first order theory. Mathematical Studies of Information Processing (1978)
Robert Cartwright
User-Defined Data Types as an Aid to Verifying LISP Programs. ICALP (1976)