John T. O'Donnell

28 papers A 4C 1Journal 6Unranked 15

Year	Rank	Type	Title / Venue / Authors
2016	—	`conf`	Pointlessness is Better than Listlessness. A List of Successes That Can Change the World John T. O'Donnell, Cordelia V. Hall
2015	J	`jnl`	Extensible sparse functional arrays with circuit parallelism. Sci. Comput. Program. John T. O'Donnell
2013	—	`conf`	Active Data Structures on GPGPUs. Euro-Par Workshops John T. O'Donnell, Cordelia V. Hall, Stuart Monro
2013	C	`conf`	Extensible sparse functional arrays with circuit parallelism. PPDP John T. O'Donnell
2012	—	`conf`	Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language TFPIE John T. O'Donnell
2012	—	`conf`	Optimisation and Parallelism in Synchronous Digital Circuit Simulators. CSE John T. O'Donnell, Cordelia V. Hall
2012	J	`jnl`	Regular Expressions as Violin Bowing Patterns. Comput. Music. J. Cordelia V. Hall, John T. O'Donnell
2010	—	`conf`	A framework for FPGA functional units in high performance computing. IPDPS Workshops Andreas Koltes, John T. O'Donnell
2009	—	`conf`	Bowing Models for String Players. ICMC Cordelia V. Hall, John T. O'Donnell, Bill Findlay
2009	—	`conf`	Using Regular Expressions to Express Bowing Patterns for String Players. ICMC Cordelia V. Hall, John T. O'Donnell
2008	—	`conf`	A Hardware Relaxation Paradigm for Solving NP-Hard Problems. BCS Int. Acad. Conf. Paul Cockshott, Andreas Koltes, John T. O'Donnell, Patrick Prosser, Wim Vanderbauwhede
2006	—	`book`	Discrete mathematics using a computer (2. ed.). John T. O'Donnell, Cordelia V. Hall, Rex L. Page
2005	—	`conf`	Motion Space Reduction in a Haptic Model of Violin and Viola Bowin. WHC Sarah Baillie, Stephen A. Brewster, Cordelia V. Hall, John T. O'Donnell
2004	J	`jnl`	Derivation of a logarithmic time carry lookahead addition circuit. J. Funct. Program. John T. O'Donnell, Gudula Rünger
2003	—	`conf`	DSL Implementation in MetaOCaml, Template Haskell, and C++. Domain-Specific Program Generation Krzysztof Czarnecki, John T. O'Donnell, Jörg Striegnitz, Walid Taha
2003	—	`conf`	Embedding a Hardware Description Language in Template Haskell. Domain-Specific Program Generation John T. O'Donnell
2000	—	`book`	Discrete mathematics using a computer. Cordelia V. Hall, John T. O'Donnell
1994	J	`jnl`	A Correctness Proof of Parallel Scan. Parallel Process. Lett. John T. O'Donnell
1994	A	`ed.`	Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993 Functional Programming John T. O'Donnell, Kevin Hammond
1993	A	`conf`	Bidirectional Fold and Scan. Functional Programming John T. O'Donnell
1993	—	`conf`	Data Parallel Implementation of Extensible Sparse Functional Arrays. PARLE John T. O'Donnell
1992	A	`conf`	Generating Netlists from Executable Circuit Specifications. Functional Programming John T. O'Donnell
1990	A	`conf`	An Algorithmic and Semantic Approach to Debugging. Functional Programming Cordelia V. Hall, Kevin Hammond, John T. O'Donnell
1988	J	`jnl`	A VLSI implementation of an architecture for applicative programming. Future Gener. Comput. Syst. John T. O'Donnell, Timothy Bridges, Sidney W. Kitchel
1988	J	`jnl`	Debugging in Applicative Languages. LISP Symb. Comput. John T. O'Donnell, Cordelia V. Hall
1985	—	`conf`	An Architecture that Efficiently Updates Associative Aggregates in Applicative Programing Languages. FPCA John T. O'Donnell
1985	—	`conf`	Debugging in a side effect free programming environment. SLIPE Cordelia V. Hall, John T. O'Donnell
1985	—	`conf`	Dialogues: A basis for constructing programming environments. SLIPE John T. O'Donnell