John O'Donnell

Affiliations:
  • University of Glasgow, UK


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Experience Report: Identifying Unexpected Programming Misconceptions with a Computer Systems Approach.
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.
Proceedings of the CEP 2020: Computing Education Practice 2020, 2020

2016
Pointlessness is Better than Listlessness.
Proceedings of the A List of Successes That Can Change the World, 2016

2015
Extensible sparse functional arrays with circuit parallelism.
Sci. Comput. Program., 2015

PDSEC Introduction and Committees.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

2013
Active Data Structures on GPGPUs.
Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

2012
Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language
Proceedings of the Proceedings First International Workshop on Trends in Functional Programming in Education, 2012

Regular Expressions as Violin Bowing Patterns.
Comput. Music. J., 2012

Optimisation and Parallelism in Synchronous Digital Circuit Simulators.
Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

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

2010
A framework for FPGA functional units in high performance computing.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2009
Bowing Models for String Players.
Proceedings of the 2009 International Computer Music Conference, 2009

Using Regular Expressions to Express Bowing Patterns for String Players.
Proceedings of the 2009 International Computer Music Conference, 2009

2008
A Hardware Relaxation Paradigm for Solving NP-Hard Problems.
Proceedings of the Visions of Computer Science, 2008

2007
Parallelism through Digital Circuit Design.
Proceedings of the Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007, 2007

2006
Discrete mathematics using a computer (2. ed.).
Springer, ISBN: 978-1-84628-241-6, 2006

2005
Supporting tasks with adaptive groups in data parallel programming.
Int. J. Comput. Sci. Eng., 2005

Message from the Chairs.
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.
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.
J. Funct. Program., 2004

Functional Realization of Coordination Environments for Mixed Parallelism.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003
Embedding a Hardware Description Language in Template Haskell.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

DSL Implementation in MetaOCaml, Template Haskell, and C++.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

2002
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001
Introduction of Static Load Balancing in Incremental Parallel Programming.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
Abstract Parallel Machines.
Comput. Artif. Intell., 2000

A Side-Effect-Free Hierarchical Radiosity Algorithm.
Proceedings of the Applied Computing 2000, 2000

Cost Hierarchies for Abstract Parallel Machines.
Proceedings of the Languages and Compilers for Parallel Computing, 2000

The Collective Semantics in Functional SPMD Programming.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

Discrete mathematics using a computer.
Springer, ISBN: 978-1-85233-089-7, 2000

1999
Single-chip processor for media applications: the MAP1000™.
Int. J. Imaging Syst. Technol., 1999

1997
Parallel Distributed Programming with Haskell + PVM.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

A Methodology for Deriving Parallel Programs with a Family of Parallel Abstract Machines.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

1995
Formal Specification of Interconnection Networks.
Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995

1994
A Correctness Proof of Parallel Scan.
Parallel Process. Lett., 1994

A Case Study in Parallel Program Derivation: the Heat Equation Algorithm.
Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

1993
Data Parallel Implementation of Extensible Sparse Functional Arrays.
Proceedings of the PARLE '93, 1993

Bidirectional Fold and Scan.
Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

1992
Generating Netlists from Executable Circuit Specifications.
Proceedings of the Functional Programming, 1992

1990
An Algorithmic and Semantic Approach to Debugging.
Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

1989
Expressing and Reasoning About Non-Deterministic Functional Programs.
Proceedings of the Functional Programming, 1989

1988
Debugging in Applicative Languages.
LISP Symb. Comput., 1988

A VLSI implementation of an architecture for applicative programming.
Future Gener. Comput. Syst., 1988

1985
Dialogues: A basis for constructing programming environments.
Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985

Debugging in a side effect free programming environment.
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.
Proceedings of the Functional Programming Languages and Computer Architecture, 1985


  Loading...