Haskell-Cafe

Download

haskell-cafe@haskell.org

February 2024

21 participants
12 discussions

Call for Participation: HAFDAL workshop, 3rd March in Edinburgh
by Rob Stewart 08 Feb '24

08 Feb '24

*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

1 0

PhD studentship in functional programming (closing date 9th Feb)
by Graham Hutton 01 Feb '24

01 Feb '24

Dear all, If you are interested in applying for the advertised PhD studentship in functional programming, please note that the closing date is now one week away (9th February). Best wishes, Graham +-----------------------------------------------------------+ Fully-Funded PhD Studentship Functional Programming Lab School of Computer Science University of Nottingham, UK http://tinyurl.com/fplab-phd Applications are invited for a fully-funded PhD studentship under the supervision of Prof Graham Hutton, starting on 1st October 2024. The successful applicant will join the Functional Programming Lab, an internationally-leading centre for programming language research. The topic for the studentship is open, but should relate to the research interests of Prof Hutton on the mathematics of program construction. The studentship forms part of the recently-funded EPSRC project on Semantics-Directed Compiler Construction, which seeks to develop new techniques for constructing certified compilers from semantics. The studentship is open to home and international students, is fully-funded for three and a half years, and includes a stipend of £18,622 per year and tuition fees. Applicants are expected to have a first-class Masters or Bachelors degree (or equivalent) in Computer Science and/or Mathematics, and an excellent ability and interest in the mathematical foundations of programming (topics such as logic and semantics), together with experience of programming in a functional language. Further information and advice for prospective applicants is available from http://tinyurl.com/369xwzc7. Funding for this studentship is already in place. To apply, please submit the following items by email to graham.hutton(a)nottingham.ac.uk: (1) a brief covering letter that describes your reasons for wishing to undertake a PhD and any ideas you have about potential topics; (2) a copy of your CV, including your actual or expected degree class(es) and results of all university examinations; (3) an example of your technical writing, such as a report or dissertation; (4) email addresses for two academic referees. Closing date for applications: Friday 9th February 2024. +-----------------------------------------------------------+ -- Professor Graham Hutton School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~pszgmh This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0