[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    [Haskell-cafe] Call for Participation: HAFDAL workshop, 3rd March in Edinburgh
From:       Rob Stewart <robstewart57 () gmail ! com>
Date:       2024-02-08 9:22:52
Message-ID: CA+ZOasKm8AxHHC0WYrCrRBEfvDi85pzhYQTgLEN_Ubc5ZQD0oA () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


*Call for Participation*

The Hardware Acceleration of Functional and Declarative Languages (HAFDAL)
workshop on 3rd March is co-located with HPCA, CGO, CC and PPoPP in
Edinburgh.

Confirmed speakers are:

*Reflections on compiling Haskell to Hardware*, Christiaan Baaij (QBayLogic)

*The Cephalopode Project: Creating a low-power IoT device aimed at
functional language execution*, Carl-Johan Seger (Chalmers University of
Technology)

*Prefetching in Functional Languages: a Hardware-Software Retrospective*,
Sam Ainsworth (Research Consultant and University of Edinburgh)

*Heron: A graph reduction processor with concurrent garbage collection*,
Craig Ramsay (Heriot-Watt University)

*PipelineC: Easier hardware description between RTL and HLS*, Julian
Kemmerer (Deepwave Digital)

*From Open Hardware Design to Silicon: Lessons From Some Big (Academic)
Chips*, Jon Balkind (UC Santa Barbara)

*BRAT: Compositional programming for hybrid quantum algorithms*, Craig Roy
(Quantinuum)

Workshop registration includes lunch, coffee and access to industry
tutorials in the morning.

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

Best wishes,

--
Rob Stewart
Associate Professor
Computer Science, Heriot-Watt University
W: https://www.macs.hw.ac.uk/~rs46

[Attachment #5 (text/html)]

<div dir="ltr"><b>Call for Participation</b><br><br>The Hardware Acceleration of \
Functional and Declarative Languages (HAFDAL) workshop on 3rd March is co-located \
with HPCA, CGO, CC and PPoPP in Edinburgh.<br><br>Confirmed speakers \
are:<br><br><i>Reflections on compiling Haskell to Hardware</i>, Christiaan Baaij \
(QBayLogic)<br><br><i>The Cephalopode Project: Creating a low-power IoT device aimed \
at functional language execution</i>, Carl-Johan Seger (Chalmers University of \
Technology)<br><br><i>Prefetching in Functional Languages: a Hardware-Software \
Retrospective</i>, Sam Ainsworth (Research Consultant and University of \
Edinburgh)<br><br><i>Heron: A graph reduction processor with concurrent garbage \
collection</i>, Craig Ramsay (Heriot-Watt University)<br><br><i>PipelineC: Easier \
hardware description between RTL and HLS</i>, Julian Kemmerer (Deepwave \
Digital)<br><br><i>From Open Hardware Design to Silicon: Lessons From Some Big \
(Academic) Chips</i>, Jon Balkind (UC Santa Barbara)<br><br><i>BRAT: Compositional \
programming for hybrid quantum algorithms</i>, Craig Roy (Quantinuum)<br><br>Workshop \
registration includes lunch, coffee and access to industry tutorials in the \
morning.<br><br><a href="https://haflang.github.io/workshops/hafdal24.html">https://haflang.github.io/workshops/hafdal24.html</a><br><br>Best \
wishes,<br><br>--<br>Rob Stewart<br>Associate Professor<br>Computer Science, \
Heriot-Watt University<br>W: <a \
href="https://www.macs.hw.ac.uk/~rs46">https://www.macs.hw.ac.uk/~rs46</a><br></div>


[Attachment #6 (text/plain)]

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.

[prev in list] [next in list] [prev in thread] [next in thread]