Robert Cartwright

66 papers A* 12A 9Misc 2Journal 14Unranked 27

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