About this Event
SPEAKER
Nicholas Wu, Imperial College London
SUMMARY
In this talk, we describe how embedded domain-specific languages with flexible and varied semantics can be composed out of smaller constituent parts using algebraic effects and handlers.
AGENDA
3.30-4.00pm Networking for attendees (coffee/tea biscuits)
4.00-5.00pm FACS AGM
5.15-6.00pm Networking for physical/online attendees (tea/coffee/biscuits)
6.00-7.00pm Talk
7.00-7.15pm Questions
7.15-8.30pm Networking for physical attendees (light refreshments)
SYNOPSIS
A domain specific problem is usually best solved with a domain specific language that was crafted with the peculiarities of the problem in mind, but the difficulty is that building a new standalone language is a large and difficult task. This effort can be vastly reduced by embedding a domain-specific language into an existing host language and reusing much of its infrastructure, such as the parser, type system, compiler, and runtime system. In this talk, we describe how embedded domain-specific languages with flexible and varied semantics can be composed out of smaller constituent parts using algebraic effects and handlers. This technique has been used by GitHub as part of their Semantic framework to allow the analysis of every push to repositories hosting code in multiple languages, without having to reimplement each analysis for each language.
SPEAKER BIOGRAPHY
Nicolas Wu is a Reader in Computer Science at Imperial College London where he leads the Functional Programming Group. His research interests are centred around programming languages, where he has made advances in applications of category theory for giving the semantics of programs and algorithms. His main contributions have been exploring the connections between domain specific languages, algebraic effect handlers, and structured recursion schemes.
The FACS 2022 AGM will be a hybrid event at the BCS London office and on Zoom 4PM start of AGM.
Agenda:
1. Apologies (Jonathan Bowen)
2. Minutes of the previous AGM (Roger Carsley/Jonathan Bowen)
3. Chairman's Report (Jonathan Bowen)
4. Liaison Reports – LMS/FME/NPL/Refinement Workshop
(Andrei Popescu/Ana Calvalcanti/Keith Lines/Brijesh Dongol)
5. Inclusion Report (Margaret West)
6. Statement of Accounts (John Cooke)
7. Election of Officers and Committee Members (Jonathan Bowen)
8. Future events (Jonathan Bowen et al.)
9. FACS FACTS newsletter (Tim Denvir/Brian Monahan)
10. Any other business
THIS EVENT IS BROUGHT TO YOU BY:
BCS FACS SG - Formal Aspects of Computing
https://www.bcs.org/membership-and-registrations/member-communities/facs-formal-aspects-of-computing-science-group/
Our events are for adults aged 16 years and over.
BCS is a membership organisation. If you enjoy this event, please consider joining BCS. You’ll be very welcome. You’ll receive access to many exclusive career development tools, an introduction to a thriving professional community and also help us Make IT Good For Society. Join BCS today:
https://www.bcs.org/membership/events
For overseas delegates who wish to attend the event, please note that BCS does not issue invitation letters.
COVID-19
BCS is following government guidelines and we would ask attendees to continue to also follow these guidelines. Please go to https://www.nhs.uk/conditions/coronavirus-covid-19/ for more information, advice, and instructions.
Event Venue & Nearby Stays
BCS, The Chartered Institute for IT, 25 Copthall Ave, London, United Kingdom
GBP 0.00