Haskell Symposium

Haskell Symposium
Name	Haskell Symposium
Status	Active
Genre	Academic conference
Frequency	Annual
First	2006
Organizer	SIGPLAN
Country	International

Haskell Symposium is an annual academic conference focusing on the Haskell programming language, its implementation, theory, tooling, and applications. The symposium attracts researchers and practitioners from institutions such as Microsoft Research, Google, Facebook, IBM Research, Nokia Research, ETH Zurich, University of Cambridge, Stanford University, Massachusetts Institute of Technology, and Princeton University. Speakers and attendees often include contributors to projects like GHC, Cabal, Stack, Hackage, and LLVM-related backends.

History

The event originated from workshops and meetings among researchers at ACM SIGPLAN, IFIP, IETF, USENIX, and IEEE gatherings, consolidating into a dedicated symposium that paralleled other venues such as ICFP, PLDI, POPL, OOPSLA, and ESOP. Early contributors hailed from labs including Bell Labs, Xerox PARC, AT&T Labs Research, Cambridge University Computer Laboratory, University of Glasgow, University of Oxford, and University of Edinburgh. Over time, program committees featured figures affiliated with DARPA, NSF, European Research Council, Wellcome Trust, Royal Society, and corporate research groups like Amazon Research and SAP Research. The symposium has intersected with other meetings such as Functional Programming (AFP), LambdaConf, Strange Loop, Scala Days, and PyCon.

Scope and Topics

The symposium covers language design, type systems, compiler construction, runtime systems, formal verification, concurrency, parallelism, and domain-specific languages, attracting submissions related to projects like GHCJS, Hakyll, Yesod, Snap Framework, and Servant. Topics often reference work from groups at Imperial College London, Brown University, Cornell University, University of California, Berkeley, University of California, San Diego, University of Pennsylvania, and University of Cambridge. Cross-disciplinary submissions relate to uses in NASA, ESA, CERN, Siemens, Goldman Sachs, Morgan Stanley, Barclays, Bloomberg L.P., and Stripe for finance, scientific computing, and large-scale engineering.

Organization and Sponsorship

Organized by program and organizing committees drawn from ACM, SIGPLAN, university departments such as Department of Computer Science, University of Oxford, and research labs like Microsoft Research Cambridge, Google Research, and Facebook AI Research. Sponsors have included Microsoft, Google, Facebook, Amazon, Jane Street Capital, Wellcome Trust, ERC Advanced Grant holders, and academic publishers such as ACM Press and Springer Nature. The symposium's governance intersects with professional bodies like Association for Computing Machinery, IEEE Computer Society, Royal Society of Chemistry for interdisciplinary tracks, and funding agencies including EPSRC, NSF Directorate for Computer and Information Science and Engineering, and national research councils from Germany, France, Japan, and Canada.

Proceedings and Publication

Proceedings are typically published by ACM Digital Library or distributed at meetings alongside collections in venues like Lecture Notes in Computer Science published by Springer. Authors often archive preprints on arXiv, submit tool code to GitHub, release data on Zenodo, and provide artifacts via Docker containers or Nix expressions. Peer review follows standards used at ICFP, POPL, and PLDI, with presentations, posters, and industrial talks; best-paper and artifact-evaluation awards align with recognition systems at ACM SIGPLAN conferences. Proceedings indexing appears in databases like DBLP, Scopus, Web of Science, and Google Scholar.

Notable Talks and Contributions

Prominent contributions have included advances in type inference and dependent types inspired by research groups at Carnegie Mellon University, University of Edinburgh, University of Kent, and University of Nottingham; innovations in garbage collection and runtime from teams at Oracle Labs, IBM Research, and Nokia Research Center; and influential libraries and tooling such as lens, QuickCheck, Stack, Cabal, and Hackage enhancements. Talks have showcased collaboration with applied projects at Mozilla, Red Hat, Canonical, Docker, Inc., Cloudflare, and Netlify and cross-pollination with formal methods communities at INRIA, TU Munich, EPFL, and Max Planck Institute for Software Systems.

Attendance and Community Impact

Attendance typically includes academics, industry engineers, doctoral students, and open-source contributors from organizations like Jane Street, IOHK, FP Complete, Well-Typed, PVS-Studio, and Kx Systems. The symposium supports community initiatives such as coding sprints, mentoring like programs modeled after Google Summer of Code, and collaborations with user groups including regional meetups in San Francisco, London, Berlin, Tokyo, Bangalore, Sydney, and Toronto. Its influence extends into curricula at universities such as MIT, UC Berkeley, Harvard University, and Yale University where Haskell-related research informs courses on programming languages and software engineering.

Category:Programming language conferences