Brussels / 2 & 3 February 2019

schedule

K.4.201


Day Start End Track(s)
Saturday 10:30 18:20 Minimalistic Languages
Sunday 09:00 17:00 LLVM
09 10 11 12 13 14 15 16 17 18
Saturday A small, FRP DSL for distributed systems
Mgmt Config: The Language
Why JSON when you can DSL?
Your problematics deserve their own language
Templating Languages for Interactive Fiction Tcl - An Embeddable Long-lever with a Comfortable Grip, that fits in your Pocket. Minimalism matters Minimalism versus Types
An experience report on the development of Titan, a statically-typed Lua-like language
Luerl: Lua in Erlang
Luerl introduction emphasizing its trade-off as scripting skin on top of the BEAM ecosystem.
Never
Functional Programming Language
GWL: GNU Workflow Language Perl 6 as a new tool for language compilers
Using Perl 6 grammars to design and implement a programming language
Experience with wisp
5 years with fewer parens
Building a whole distro on top of a minimalistic language
The story of GNU Guix
GNU Mes
Reduced Binary Seed bootstrap for GuixSD
Guile 3: Faster programs via just-in-time compilation A Guiler's Year of Racket Fractalide and Cantor
A Racket application built with Flow-Based Programming
Make your own language with Racket
A kickstart workshop for the creative minds
Sunday Roll your own compiler with LLVM
Easy IR generation
Rewriting Pointer Dereferences in bcc with Clang
Syntactic sugar for BPF programs
Building an LLVM-based tool
Lessons Learned
Debug info in optimized code - how far can we go?
Improving LLVM debug info with function entry values
Lessons in TableGen LLVM for the Apollo Guidance Computer llvm.mix
Multi-stage compiler-assisted specializer generator built on LLVM
SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer What makes LLD so fast? Compiling the Linux kernel with LLVM tools It was working yesterday! Investigating regressions with llvmbisect
A hands-on introduction to llvmbisect

Events

Title Track Start End

Saturday

  A small, FRP DSL for distributed systems
Mgmt Config: The Language
Minimalistic Languages 10:30 10:55
  Why JSON when you can DSL?
Your problematics deserve their own language
Minimalistic Languages 10:55 11:15
  Templating Languages for Interactive Fiction Minimalistic Languages 11:15 11:40
  Tcl - An Embeddable Long-lever with a Comfortable Grip, that fits in your Pocket. Minimalistic Languages 11:40 12:05
  Minimalism matters Minimalistic Languages 12:05 12:25
  Minimalism versus Types
An experience report on the development of Titan, a statically-typed Lua-like language
Minimalistic Languages 12:25 12:50
  Luerl: Lua in Erlang
Luerl introduction emphasizing its trade-off as scripting skin on top of the BEAM ecosystem.
Minimalistic Languages 12:50 13:10
  Never
Functional Programming Language
Minimalistic Languages 13:10 13:35
  GWL: GNU Workflow Language Minimalistic Languages 13:35 14:00
  Perl 6 as a new tool for language compilers
Using Perl 6 grammars to design and implement a programming language
Minimalistic Languages 14:00 14:25
  Experience with wisp
5 years with fewer parens
Minimalistic Languages 14:25 14:50
  Building a whole distro on top of a minimalistic language
The story of GNU Guix
Minimalistic Languages 14:50 15:20
  GNU Mes
Reduced Binary Seed bootstrap for GuixSD
Minimalistic Languages 15:20 15:50
  Guile 3: Faster programs via just-in-time compilation Minimalistic Languages 15:50 16:20
  A Guiler's Year of Racket Minimalistic Languages 16:20 16:50
  Fractalide and Cantor
A Racket application built with Flow-Based Programming
Minimalistic Languages 16:50 17:20
  Make your own language with Racket
A kickstart workshop for the creative minds
Minimalistic Languages 17:20 18:20

Sunday

  Roll your own compiler with LLVM
Easy IR generation
LLVM 09:00 09:40
  Rewriting Pointer Dereferences in bcc with Clang
Syntactic sugar for BPF programs
LLVM 09:45 10:25
  Building an LLVM-based tool
Lessons Learned
LLVM 10:30 11:10
  Debug info in optimized code - how far can we go?
Improving LLVM debug info with function entry values
LLVM 11:15 11:55
  Lessons in TableGen LLVM 12:00 12:40
  LLVM for the Apollo Guidance Computer LLVM 12:45 13:25
  llvm.mix
Multi-stage compiler-assisted specializer generator built on LLVM
LLVM 13:30 14:10
  SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer LLVM 14:15 14:55
  What makes LLD so fast? LLVM 15:00 15:40
  Compiling the Linux kernel with LLVM tools LLVM 15:45 16:25
  It was working yesterday! Investigating regressions with llvmbisect
A hands-on introduction to llvmbisect
LLVM 16:30 17:00