CALL FOR PARTICIPATION

======================

1st International Workshop on Hardware Acceleration of Functional and Declarative Languages (HAFDAL).

https://haflang.github.io/workshops/hafdal24.html

In conjunction with:

The International Symposium on High-Performance Computer Architecture (HPCA) 2024.

https://hpca-conf.org/2024/

Edinburgh, UK, March, 2024

==========================

The 1960s and 1970s saw LISP machines for supporting AI workloads. The 1980s saw graph reductions machines for functional language workloads. After a 30 year lull, modern hardware technology has attracted renewed interest in hardware acceleration of high level languages. This workshop brings together computer architects and programming language implementers to identify software/hardware co-designs of these high level execution models.

This workshop invites two forms of participation: (1) full paper submissions for 30 minute talks, (2) 5-10 minute lightning talks about related projects and early results. For full papers, we are looking for submissions that cover the motivation, design, or real-world application of accelerators for functional/declarative languages and their compilers. The work should target truly custom (e.g. ASIC/FPGA) hardware, or exploit modern hardware features for functional/declarative language implementation, across the design space of:

- Special-purpose processor architectures for functional or declarative languages.

- Automatic, high-level synthesis of custom accelerators from plain, high-level software functions.

- Hardware description languages embedded in, or hosted by, high-level software languages.

Submitted papers will be reviewed by our Programme Committee. Our intention is to publish accepted papers in the ACM Digital Library within its International Conference Proceedings Series.

Key Dates

=========

- Paper submission deadline : 20 November 2023

- Author notification       : 18 December 2023

- Final manuscript due      : 15 January  2024

- Workshop                  : March 2024

Submission Instructions

=======================

The EasyChair submission page for this workshop is

https://easychair.org/conferences/?conf=hafdal24

Submissions should be 8-10 pages in ACM double-column format. Authors should follow the information for formatting ACM SIGPLAN conference papers, which can be found at http://www.acm.org/publications/proceedings-template. Full submission details are on the workshop web page.

Organisation

============

Program Chairs

Craig Ramsay, Heriot-Watt University

Rob Stewart, Heriot-Watt University

PC Members

Phil Trinder, University of Glasgow

Cristiaan Baaj, QBayLogic

Matthew Naylor, University of Cambridge

Mary Sheeran, Chalmers University

Jonathan Balkind, UC Santa Barbara

Satnan Singh, Groq

Kevin Hammond, IOHK

Rachit Nigam, Cornell University

Contact

Please email inquiries concerning the workshop to: Craig.Ramsay@hw.ac.uk