John O'Donnell

According to our database, John O'Donnell authored at least 46 papers between 1985 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Experience Report: Identifying Unexpected Programming Misconceptions with a Computer Systems Approach.

Fionnuala Johnson, Stephen McQuistin, John O'Donnell, Quintin I. Cutts

Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

2020

Analysis of Student Misconceptions using Python as an Introductory Programming Language.

Fionnuala Johnson, Stephen McQuistin, John O'Donnell

Proceedings of the CEP 2020: Computing Education Practice 2020, 2020

2016

Pointlessness is Better than Listlessness.

John T. O'Donnell, Cordelia V. Hall

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Extensible sparse functional arrays with circuit parallelism.

John T. O'Donnell

Sci. Comput. Program., 2015

PDSEC Introduction and Committees.

Peter E. Strazdins, Raphaël Couturier, Keita Teranishi, John O'Donnell, Thomas Rauber, Gudula Rünger, Laurence T. Yang

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

2013

Active Data Structures on GPGPUs.

John T. O'Donnell, Cordelia V. Hall, Stuart Monro

Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

2012

Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language

John T. O'Donnell

Proceedings of the Proceedings First International Workshop on Trends in Functional Programming in Education, 2012

Regular Expressions as Violin Bowing Patterns.

Cordelia V. Hall, John T. O'Donnell

Comput. Music. J., 2012

Optimisation and Parallelism in Synchronous Digital Circuit Simulators.

John T. O'Donnell, Cordelia V. Hall

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2011

PDSEC Introduction.

Peter Strazdins, Thomas Rauber, Gudula Rünger, John O'Donnell, Laurence Tianruo Yang

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010

A framework for FPGA functional units in high performance computing.

Andreas Koltes, John T. O'Donnell

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2009

Bowing Models for String Players.

Cordelia V. Hall, John T. O'Donnell, Bill Findlay

Proceedings of the 2009 International Computer Music Conference, 2009

Using Regular Expressions to Express Bowing Patterns for String Players.

Cordelia V. Hall, John T. O'Donnell

Proceedings of the 2009 International Computer Music Conference, 2009

2008

A Hardware Relaxation Paradigm for Solving NP-Hard Problems.

Paul Cockshott, Andreas Koltes, John T. O'Donnell, Patrick Prosser, Wim Vanderbauwhede

Proceedings of the Visions of Computer Science, 2008

2007

Parallelism through Digital Circuit Design.

John O'Donnell

Proceedings of the Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007, 2007

2006

Discrete mathematics using a computer (2. ed.).

John T. O'Donnell, Cordelia V. Hall, Rex L. Page

Springer, ISBN: 978-1-84628-241-6, 2006

2005

Supporting tasks with adaptive groups in data parallel programming.

John O'Donnell

Int. J. Comput. Sci. Eng., 2005

Message from the Chairs.

Lorenzo Verdoscia, Laurence Tianruo Yang, Ricky Yu-Kwong Kwok, John O'Donnell

Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), 2005

Motion Space Reduction in a Haptic Model of Violin and Viola Bowin.

Sarah Baillie, Stephen A. Brewster, Cordelia V. Hall, John T. O'Donnell

Proceedings of the First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, 2005

2004

Derivation of a logarithmic time carry lookahead addition circuit.

John T. O'Donnell, Gudula Rünger

J. Funct. Program., 2004

Functional Realization of Coordination Environments for Mixed Parallelism.

John O'Donnell, Thomas Rauber, Gudula Rünger

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

Embedding a Hardware Description Language in Template Haskell.

John T. O'Donnell

Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

DSL Implementation in MetaOCaml, Template Haskell, and C++.

Krzysztof Czarnecki, John T. O'Donnell, Jörg Striegnitz, Walid Taha

Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

2002

Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design.

John O'Donnell

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001

Introduction of Static Load Balancing in Incremental Parallel Programming.

Joy Goodman, John O'Donnell

Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000

Abstract Parallel Machines.

John O'Donnell, Gudula Rünger

Comput. Artif. Intell., 2000

A Side-Effect-Free Hierarchical Radiosity Algorithm.

John O'Donnell, Thomas Rauber, Gudula Rünger

Proceedings of the Applied Computing 2000, 2000

Cost Hierarchies for Abstract Parallel Machines.

John O'Donnell, Thomas Rauber, Gudula Rünger

Proceedings of the Languages and Compilers for Parallel Computing, 2000

The Collective Semantics in Functional SPMD Programming.

John O'Donnell

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

Discrete mathematics using a computer.

Cordelia V. Hall, John T. O'Donnell

Springer, ISBN: 978-1-85233-089-7, 2000

1999

Single-chip processor for media applications: the MAP1000™.

Chris Basoglu, Robert J. Gove, Keiji Kojima, John O'Donnell

Int. J. Imaging Syst. Technol., 1999

1997

Parallel Distributed Programming with Haskell + PVM.

Noel William Winstanley, John O'Donnell

Proceedings of the Euro-Par '97 Parallel Processing, 1997

A Methodology for Deriving Parallel Programs with a Family of Parallel Abstract Machines.

John O'Donnell, Gudula Rünger

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1995

Formal Specification of Interconnection Networks.

John O'Donnell, Gudula Rünger

Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1994

A Correctness Proof of Parallel Scan.

John T. O'Donnell

Parallel Process. Lett., 1994

A Case Study in Parallel Program Derivation: the Heat Equation Algorithm.

John O'Donnell, Gudula Rünger

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

1993

Data Parallel Implementation of Extensible Sparse Functional Arrays.

John T. O'Donnell

Proceedings of the PARLE '93, 1993

Bidirectional Fold and Scan.

John T. O'Donnell

Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

1992

Generating Netlists from Executable Circuit Specifications.

John T. O'Donnell

Proceedings of the Functional Programming, 1992

1990

An Algorithmic and Semantic Approach to Debugging.

Cordelia V. Hall, Kevin Hammond, John T. O'Donnell

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

1989

Expressing and Reasoning About Non-Deterministic Functional Programs.

John Hughes, John O'Donnell

Proceedings of the Functional Programming, 1989

1988

Debugging in Applicative Languages.

John T. O'Donnell, Cordelia V. Hall

LISP Symb. Comput., 1988

A VLSI implementation of an architecture for applicative programming.

John T. O'Donnell, Timothy Bridges, Sidney W. Kitchel

Future Gener. Comput. Syst., 1988

1985

Dialogues: A basis for constructing programming environments.

John T. O'Donnell

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

Debugging in a side effect free programming environment.

Cordelia V. Hall, John T. O'Donnell

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

An Architecture that Efficiently Updates Associative Aggregates in Applicative Programing Languages.

John T. O'Donnell

Proceedings of the Functional Programming Languages and Computer Architecture, 1985