COPLAS talk: Precomputation: A New Era in Multi-Stage Programming
Speaker:
Seyed Hossein Haeri is a former associate professor at the BLDL Institute at the University of Bergen, Norway. Hossein currently runs his own company, PLWorkz R&D, where he applies Programming Languages solutions to real-world industrial problems. PLWorkz R&D's clients include IOG (Hong Kong and later Singapore) and Entropy Software Foundation, Inc. (US). As a theoretical computer scientist, Hossein has been developing the mathematical foundation of ∆QSD. As a systems programmer, Hossein is the theory-minded member of the Xlang programming language design and implementation team at Entropy. Hossein's research is at the intersection between Programming Languages and Software Engineering. Over the past decade, his research has enjoyed a flavor of Distributed Systems on top.
Title:
Precomputation: A New Era in Multi-Stage Programming
Abstract:
Precomputate-time is a novel stage in its Multi-Stage Programming (MSP) sense that lies between compile-time and runtime. Precomputation is incorporated in the Xlang build toolchain, where Xlang is a new systems programming language being developed in the industry. Unlike traditional MSP, precomputation takes no meta-level syntax; neither does its usage take compiler construction or formal semantics expertise. Xlang achieves that via a paradigm shift in the programming model of MSP. Despite its potential for boosting efficiency dramatically, MSP was never widely deemed affordable even in rather academic languages. In this talk, we show how those two improvements offered by Xlang can amount to finally making MSP available to mainstream programming after a few decades of unappreciated MSP.
Host:
Fritz Henglein, DIKU
This is a public talk. All are welcome. No registration required. Feel free to forward this invitation.
The Copenhagen Programming Languages Seminar (COPLAS) is a collaboration between DTU, ITU, Roskilde University, UCPH and AAU. To post to and be informed about COPLAS activities and related talks, visit https://list.ku.dk/postorius/lists/sci-diku-prog-lang.list.ku.dk/.