PWLConf 2023
who it's for
programming languages researchers, language designers, compiler engineers, runtime engineers, academic researchers, distributed systems engineers, systems programmers, applied PL engineers
topics
concatenative stack transformer semantics; Uxn virtual machine on tiny hardware; in-place Wasm interpreter (Wizard); baseline compiler with compatible stacks; information-flow type system for replicas; iso keyword for banning destructive races; typed boundaries for multi-language linking; lump and natural embedding for FFIs; EPPL packet-packing preprocessor for distributed code; geometric algebra with ganja.js
| title | author | length |
|---|---|---|
| Why Programming Languages Matter | Andrew Black | 57m |
Over forty-five years work on six languages yields concrete lessons: a small preprocessor (EPPL) hides packet packing and makes distributed code usable… | ||
| Programming Distributed Systems | Mae Milano | 41m |
Claims that small imperative-language tweaks provably eliminate common replica-consistency and concurrency bugs, implemented as the mixt language backed by an… | ||
| Concatenative programming and stack-based languages | Douglas A. Creager | 41m |
Shows that concatenative stack languages give a precise stack transformer semantics and that syntactic concatenation equals semantic composition so pieces… | ||
| Inside the Wizard Research Engine | Ben L. Titzer | 44m |
Claims a new research Wasm engine named Wizard with an in-place interpreter and probe-based instrumentation that supports inserting and removing probes at… | ||
| Formal semantics for multi-language programs | Amal Ahmed | 40m |
Claims that a 2007 recipe gives a practical operational semantics for linking two source languages by adding typed boundaries and two concrete mechanisms: the… | ||
| Experimentation: putting research papers into prod | Leemay Nassery | 32m |
Claims specific enough to act on: interleaving is two orders of magnitude more sensitive than classic A/B for ranking, but requires an abstraction library plus… | ||
| War Time Proofs and Futuristic Programs | Valeria de Paiva | 41m |
Claims that Gödel’s Dialectica interpretation yields a concrete type‑theory bridge to linear logic and that the 1940s construction can be modeled… | ||
| From Geometry to Algebra and Back Again: 4000 Years of Papers | Jack Rusher | 32m |
The claim is concrete: replace our ad hoc vector/matrix toolkit with Geometric Algebra so rotations, areas and volumes share one algebraic protocol. The talk… | ||
| nothing matches | ||