An Architecture that Efficiently Updates Associative Aggregates in Applicative Programing Languages. - John T. O'Donnell (FPCA, 1985)

Debugging in a side effect free programming environment. - Cordelia V. Hall; John T. O'Donnell (SLIPE, 1985)

Dialogues: A basis for constructing programming environments. - John T. O'Donnell (SLIPE, 1985)

A VLSI implementation of an architecture for applicative programming. - John T. O'Donnell; Timothy Bridges; Sidney W. Kitchel (Future Gener. Comput. Syst., 1988)

Debugging in Applicative Languages. - John T. O'Donnell; Cordelia V. Hall (LISP Symb. Comput., 1988)

Expressing and Reasoning About Non-Deterministic Functional Programs. - John Hughes 001; John O'Donnell 001 (Functional Programming, 1989)

An Algorithmic and Semantic Approach to Debugging. - Cordelia V. Hall; Kevin Hammond; John T. O'Donnell (Functional Programming, 1990)

Generating Netlists from Executable Circuit Specifications. - John T. O'Donnell (Functional Programming, 1992)

Bidirectional Fold and Scan. - John T. O'Donnell (Functional Programming, 1993)

Data Parallel Implementation of Extensible Sparse Functional Arrays. - John T. O'Donnell (PARLE, 1993)

A Case Study in Parallel Program Derivation: the Heat Equation Algorithm. - John O'Donnell 001; Gudula Rünger (Functional Programming, 1994)

A Correctness Proof of Parallel Scan. - John T. O'Donnell (Parallel Process. Lett., 1994)

Formal Specification of Interconnection Networks. - John O'Donnell 001; Gudula Rünger (Functional Programming, 1995)

A Methodology for Deriving Parallel Programs with a Family of Parallel Abstract Machines. - John O'Donnell 001; Gudula Rünger (Euro-Par, 1997)

Parallel Distributed Programming with Haskell + PVM. - Noel William Winstanley; John O'Donnell 001 (Euro-Par, 1997)

Single-chip processor for media applications: the MAP1000™. - Chris Basoglu; Robert J. Gove; Keiji Kojima; John O'Donnell 001 (Int. J. Imaging Syst. Technol., 1999)

Discrete mathematics using a computer. - Cordelia V. Hall; John T. O'Donnell (Springer, 2000)

The Collective Semantics in Functional SPMD Programming. - John O'Donnell 001 (IFL, 2000)

Cost Hierarchies for Abstract Parallel Machines. - John O'Donnell 001; Thomas Rauber; Gudula Rünger (LCPC, 2000)

A Side-Effect-Free Hierarchical Radiosity Algorithm. - John O'Donnell 001; Thomas Rauber; Gudula Rünger (SAC (2), 2000)

Abstract Parallel Machines. - John O'Donnell 001; Gudula Rünger (Comput. Artif. Intell., 2000)

Introduction of Static Load Balancing in Incremental Parallel Programming. - Joy Goodman; John O'Donnell 001 (Euro-Par, 2001)

Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design. - John O'Donnell 001 (IPDPS, 2002)

DSL Implementation in MetaOCaml, Template Haskell, and C++. - Krzysztof Czarnecki 001; John T. O'Donnell; Jörg Striegnitz; Walid Taha (Domain-Specific Program Generation, 2003)

Embedding a Hardware Description Language in Template Haskell. - John T. O'Donnell (Domain-Specific Program Generation, 2003)

Functional Realization of Coordination Environments for Mixed Parallelism. - John O'Donnell 001; Thomas Rauber; Gudula Rünger (IPDPS, 2004)

Derivation of a logarithmic time carry lookahead addition circuit. - John T. O'Donnell; Gudula Rünger (J. Funct. Program., 2004)

Motion Space Reduction in a Haptic Model of Violin and Viola Bowin. - Sarah Baillie; Stephen A. Brewster; Cordelia V. Hall; John T. O'Donnell (WHC, 2005)

Message from the Chairs. - Lorenzo Verdoscia; Laurence Tianruo Yang; Ricky Yu-Kwong Kwok; John O'Donnell 001 (ICPP Workshops, 2005)

Supporting tasks with adaptive groups in data parallel programming. - John O'Donnell 001 (Int. J. Comput. Sci. Eng., 2005)

Discrete mathematics using a computer (2. ed.). - John T. O'Donnell; Cordelia V. Hall; Rex L. Page (Springer, 2006)

Parallelism through Digital Circuit Design. - John O'Donnell 001 (Programming Models for Ubiquitous Parallelism, 2007)

A Hardware Relaxation Paradigm for Solving NP-Hard Problems. - Paul Cockshott; Andreas Koltes; John T. O'Donnell; Patrick Prosser; Wim Vanderbauwhede (BCS Int. Acad. Conf., 2008)

Using Regular Expressions to Express Bowing Patterns for String Players. - Cordelia V. Hall; John T. O'Donnell (ICMC, 2009)

Bowing Models for String Players. - Cordelia V. Hall; John T. O'Donnell; Bill Findlay (ICMC, 2009)

A framework for FPGA functional units in high performance computing. - Andreas Koltes; John T. O'Donnell (IPDPS Workshops, 2010)

PDSEC Introduction. - Peter Strazdins; Thomas Rauber; Gudula Rünger; John O'Donnell 001; Laurence Tianruo Yang (IPDPS Workshops, 2011)

Optimisation and Parallelism in Synchronous Digital Circuit Simulators. - John T. O'Donnell; Cordelia V. Hall (CSE, 2012)

Regular Expressions as Violin Bowing Patterns. - Cordelia V. Hall; John T. O'Donnell (Comput. Music. J., 2012)

Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language - John T. O'Donnell (TFPIE, 2012)

Active Data Structures on GPGPUs. - John T. O'Donnell; Cordelia V. Hall; Stuart Monro (Euro-Par Workshops, 2013)

PDSEC Introduction and Committees. - Peter E. Strazdins; Raphaël Couturier; Keita Teranishi; John O'Donnell 001; Thomas Rauber; Gudula Rünger; Laurence T. Yang (IPDPS Workshops, 2015)

Extensible sparse functional arrays with circuit parallelism. - John T. O'Donnell (Sci. Comput. Program., 2015)

Pointlessness is Better than Listlessness. - John T. O'Donnell; Cordelia V. Hall (A List of Successes That Can Change the World, 2016)

Analysis of Student Misconceptions using Python as an Introductory Programming Language. - Fionnuala Johnson; Stephen McQuistin; John O'Donnell 001 (CEP, 2020)

Experience Report: Identifying Unexpected Programming Misconceptions with a Computer Systems Approach. - Fionnuala Johnson; Stephen McQuistin; John O'Donnell 001; Quintin I. Cutts (ITiCSE (1), 2022)