I'm pleased to announce that Alexey Radul will present his work on the "DysVunctional Language" and its compiler at the next Boston Lisp meeting. The meeting will take place on Thursday, 8 August at 6:00 PM, in the Star Conference room at MIT's Stata Center (MIT 32-D463; http://whereis.mit.edu/?go=32).
Abstract: The "Sufficiently Clever Compiler" has become something of a trope in the Lisp community: the mythical beast that promises language and interface designers near-unlimited freedom, and leaves their output in a performance lurch by its non-appearance. A few years ago, I was young enough to join a research project to build one of these things. Neglecting a raft of asterisks, footnotes, and caveats, we ended up making something whose essence is pretty impressive: you pay for abstraction boundaries in compile-time resources, but they end up free at runtime. The prototype was just open-sourced recently, so that makes a good occasion to talk about it.
Bio: Alexey Radul earned his PhD in computer science from the Massachusetts Institute of Technology in 2009. His research interests focus on programming languages, compilers, high-performance computing, and how advances in the design and implementation of programming languages can enable novel applications by expanding the complexity horizon.