SBCL's 20th Anniversary Workshop

SBCL was announced to the world in December 1999. To celebrate, there will be a workshop in Vienna at Bundesrechenzentrum, the Federal Computing Center of Austria on Monday 9th and Tuesday 10th December 2019, with bonding and social activities taking place on Sunday 8th December. (There was a 10th anniversary workshop in London in 2009)

General information

Please register! (Registration for the workshop may involve a nominal fee, no more than €50)

Local information about Vienna

Students/unwaged: apply for travel subsidy (deadline: Friday 27th September)

Programme

The SBCL20 workshop is intended to give a space and time so that interested parties can discuss ideas, hear other peoples' use cases and desires, and work on blue-sky design in collaboration. There will be a few more extended talks to serve as motivation, but most of the workshop will be held in rooms with numerous flipcharts, network connections, and access to caffeinated beverages. Towards the end of each day, all participants will be invited to give lightning talks on anything that they have worked on during that time, or any other topic of interest.

Speakers

Robert Smith: SBCL for Quantum Computing at Rigetti Rigetti Computing develops quantum integrated circuits and quantum computers, and provides a compiler and virtual machine allowing users to experiment with quantum algorithms. I'll talk about using SBCL to build quantum computing tools, why I have been a long advocate of a port to the 64-bit POWER architecture, and offer thoughts on how Common Lisp can stay alive in the quantum computing future. Douglas Katzman: SBCL, playing nice with Unix (finally) Douglas Katzman works on SBCL as a member of the Google Flights team. I'll talk about memory management, signal handling, stack examination, binary file formats, and recent work in making SBCL behave more like a regular Unix executable, with benefits for interoperability and operating system support. Charles Zhang: Experiences in porting SBCL to RISC-V Charles Zhang is an undergraduate student with specialisms in Mathematics and Linguistics. I'll talk about my experience in taking the barest-bones start of a port of SBCL to a new architecture through to completion, discussing what was easy and what was surprisingly difficult.

Other contributions

Monday afternoon

Marco Heisig: SIMD in SBCL [bugfix]

James Anderson: Garbage Collection – a controversial? opinion

Philipp Marek: Alexandria 2

Luís Oliveira: Header files and incremental compilation

Tuesday afternoon

Siebe de Vos: Tuning SBCL's Garbage Collector

Masatoshi SANO: SWIG for SBCL

Charles Zhang: Contification (what is contification? Contification using dominators)



Harald Judt: container-lisp / s2i-lisp

Christophe Rhodes: reading floating-point non-numbers

Robert Smith: strictly and strongly-typed functional programming

Vsevolod Dyomkin: what's missing in SBCL from the user point of view

Jim Newton: Binary decision diagrams in SBCL

Jon Godbout: Boston Lisp

Rui Silva: Tracing FLET and LABELS

James Anderson: DEFINE-DECLARATION and why it is useful

Luís Oliveira: Feeding 1MLoC into SBCL

Philipp Marek: SBCL development infrastructure

Charles Zhang: Future Projects in SBCL-land [fix 30-year-old bug loop invariant hoisting proof-of-concept]

Hallway track