Conal Elliott

Registered user since Mon 3 Jul 2017

Name:Conal Elliott

Conal Elliott has been working (and playing) in functional programming since 1980. He especially enjoys applying semantic elegance and rigor to library design and optimized implementation. He invented the paradigm now known as “functional reactive programming” in the early 1990s, and then pioneered compilation techniques for high-performance, high-level embedded domain-specific languages, with applications including 2D and 3D computer graphics. The latter work included the first compilation of Haskell programs to GPU code, while maintaining precise and simple denotation and powerful composability, as well as a high degree of optimization. Conal earned a BA in math with honors from the College of Creative Studies at UC Santa Barbara in 1982 and a PhD in Computer Science from Carnegie Mellon University in 1990. He previously worked as software architect at Sun Microsystems, graphics researcher at Microsoft Research, principal engineer at Tabula Inc (on chip specification and compiling Haskell to hardware for massively parallel execution), and (most recently) distinguished data/AI scientist at Target. He has also coached couples and led conscious relationship workshops together with his partner Holly Croydon, with whom he now lives on 20 acres in the woods in the California Gold Country. Conal currently studies jazz piano and is open to well-suited employment and collaboration opportunities. For publications, CV, professional blog, etc, see

Country:United States
Personal website:


ICFP 2021 Author of Symbolic and Automatic Differentiation of Languages within the Research Papers-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
PEPM 2018 Invited Speaker of The Simple Essence of Automatic Differentiation (Invited Talk) within the PEPM 2018-track
ICFP 2018 Author of The Simple Essence of Automatic Differentiation within the Research Papers-track
ICFP 2017 Author of Compiling to Categories within the Research Papers-track
Author of Generic Functional Parallel Algorithms: Scan and FFT within the Research Papers-track