|
|
|
Conal Elliott
Recent
July 2023 Paper: Timely Computation. Appeared at ICFP 2023. September 2022 Invitation for collaboration and mentoring. August 2022 Interview (part 2): Denotational Design. May 2022 Interview (part 1): The Lost Elegance of Computation. March 2021 Paper: Symbolic and Automatic Differentiation of Languages. Appeared at ICFP 2021. August 2020 I am open to employment and collaboration opportunities, including mentoring. If you have a project and/or group you think matches my skills and interest, please let me know. March 2019 Paper: Generalized convolution and efficient language recognition March 2018 Paper: The simple essence of automatic differentiation February 2017 Paper: Compiling to categories February 2017 Paper: Generic parallel functional programming June 2016 Joined Target as distinguished scientist, working in data sciences and optimization, continuing to explore elegant and principled techniques from math and programming language theory for building fast, correct, and beautiful software, including rethinking parallel programming and machine learning. January 2015 Sadly, Tabula closed down. October 2011 I'm working at Tabula and having a great time. I'm helping with chip specification and working out how to compile Haskell to hardware. May 2009 Paper: Push-pull functional reactive programming March 2009 Paper: Beautiful differentiation March 2009 Paper: Denotational design with type class morphisms January 2008 New technical blog November 2007 Google tech talk: Tangible Functional Programming: a modern marriage of usability and composability October 2007 The paper Functional Reactive Animation, co-authored with Paul Hudak, was awarded as the most influential paper of ICFP '97. July 2007 My paper Tangible Functional Programming was accepted and will appear in ICFP 2007. Paper slightly updated. April 2007 I've moved from the Seattle area to San Andreas, CA
CV
Here is my CV as a PDF (updated December 8, 2023).
Software
See my software repositories on GitHub and Hackage.
Publications (link)
Blog (link)
Some talks
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency
- Can Tensor Programming Be Liberated from the Fortran Data Paradigm?
- Symbolic and Automatic Differentiation of Languages
- Compiling gracefully
- A functional reboot for deep learning
- The simple essence of automatic differentiation
- Compiling to categories
- Generic functional parallel algorithms: Scan and FFT
- Teaching New Tricks to Old Programs
- Generic FFT
- Functional programming and parallelism
- From Haskell to Hardware via CCCs
- The essence and origins of Functional Reactive Programming
- A more elegant specification for FRP, previously part of the essence-and-origins talk
- The Haskell Cast (podcast) interview on FRP and Denotational Design
- Denotational Design: from meanings to programs
- Elegant memoization
- Understanding efficient parallel scan
- Circuit timing analysis, linear maps, and semantic morphisms
- Folds and unfolds all around us
- Reimagining matrices
- Beautiful differentiation
- Tangible Functional Programming: a modern marriage of usability and composability
Academic Background
- Ph.D. 1990 from Carnegie Mellon University. School of Computer Science. My dissertation was Extensions and Applications of Higher-Order Unification. I also worked on Lambda Prolog, a higher-order logic programming language.
- B.A. 1982 from University of California at Santa Barbara, in the College of Creative Studies, majoring in mathematics.
Compassionate Communication
Since April of 2003, I have been learning and practicing nonviolent communication (NVC), also called "compassionate communication". NVC is a consciousness and small set of inner and outer practices designed to nurture compassion in ourselves and others by how we speak and listen. Together with my partner Holly, I do training, mediation, and empathic listening for groups, couples, and individuals. Our working partnership is called Awakening Compassion.
My interest is in living and sharing the consciousness of NVC, rather than a particular process or model, i.e., the "sacred place" rather than the "raft". (See this dialog.) For this reason, I have chosen internal rather than external certification and have seeded two community-open web sites aimed at evolving NVC practice into deeper alignment with NVC consciousness.
- Emergence of NVC: a Life-inspired, self-organizing (power-with) vision for sharing and evolving NVC. See discussion group.
- NVC Evolves: a blog-space for explorations in evolving the understanding, living, and teaching of NVC. See discussion group.
Favorite quotations (link)
Miscellany
 |
I first saw this spiky ball high up on a rotating post in a used car lot somewhere in Florida. Here are a bigger version (256x256, 24 bit, 30f/s AVI, 866 KB), and a really big version (512x512, 2.15MB). Turn on the auto-repeat property in the AVI viewer to keep it running. |
| Here's a lovely fractal
I happened upon. Click on it for more info. Utero Universalis
|
|
See the web site of Fr. Magnus Wenninger, OSB, containing pictures of many beautiful polyhedra he has constructed by hand. I had the honor of meeting Fr. Wenninger during the Mosaic 2000 conference in Seattle. Here is a polyhedron he made while there.
Contact Information
If my conal-dot-net email breaks, please resend to first.last-at-gmail-dot-com.
You can also catch me via Google Hangouts, Skype (first_last), or #haskell IRC (first).
My last name really, really does end in two "t"s. Honest.