An informal, weekly meetup where we discuss topics related to Compilers, Programming Languages and neighboring areas.
We have an ongoing list of presenters, which is just a GDoc. Each week, a presenter is assigned in round-robin order from that list. Anyone can join, but one doesn't have to join and no one joins automatically.
The presenter chooses the week's topic. It can be a tutorial, demo, survey, or a discussion on any topic related to Compilers/PL, which can be based on an artible, blog post, video etc. If you want ideas, take a look at the Ongoing List of Topics. If you have ideas, add them there!
There is no preparation required by the attendees.
Every Friday, 12:00 - 1:00pm,
Room 3102, Siebel
Date | Title | Presenter | Extra Material |
---|
04/26 | Continuing the Coq Tutorial | Stefanos Baziotis | - |
04/19 | An Introduction to Coq | Stefanos Baziotis | - |
04/05 | Reflections on C++ Reflection | Daveed Vandevoorde | Slides, Video |
03/22 | Hercules - A WIP from-scratch heterogeneous compiler | Russel Arbore, Aaron Councilman | - |
03/07 | How Should Future Programming Languages be Designed? | Andy Luo | - |
03/01 | Compilers for Approximate Query Processing | Stefanos Baziotis | - |
02/23 | The Only Unbreakable Law | Russel Arbore | - |
02/16 | Linear Haskell | Aaron Councilman | - |
02/09 | Pony programming language | Ryan Ziegler | - |
02/02 | Sea-of-Nodes IR | Russel Arbore | Slides |
01/26 | Spring plans and trivia | - | Trivia Questions & Answers |
Date | Title | Presenter | Slides |
---|
12/01 | Partial Evaluation, Thorin and AnyDSL | Russel Arbore | Slides |
11/17 | Special Meetup: Trivia | - | - |
11/10 | Attribute Grammars and Extensible Languages | Aaron Councilman | - |
11/03 | Linking and the Mold linker | Vimarsh Sathia | - |
10/27 | The Mojo programming language | Vir Narula | - |
10/20 | History and compilers for web languages | Ryan Ziegler | - |
10/13 | An overview and history of compiler IRs | Stefanos Baziotis | Slides |
10/06 | The monetary cost of compiler development and an assorted history of compilers | Russel Arbore | Slides |
09/29 | Empirical studies on PL design - Quorum | Aaron Councilman | - |
09/22 | A quick-n-dirty demo of egg | Ben Darnell | - |
09/15 | PHP - And from now on, you will see it in your nightmares | Stefanos Baziotis | Slides |
09/08 | New Systems Languages (Zig, Jai etc.) | Russel Arbore | Slides |
09/01 | Tree Automata | Aaron Councilman | - |
08/25 | Having "fun" with COBOL | Ben Darnell | - |
08/18 | Logica - A Logic Programming Language for Data Analysis | Stefanos Baziotis | - |
Date | Title | Presenter | Type | Supp. Mat. |
---|
08/11 | No meeting | - | - | - |
08/04 | Forth: The programming language that writes itself | - | Discussion | Add your questions in Zulip! |
07/28 | WebAssembly | - | Discussion | GDoc |
07/21 | PL and HCI: Better Together | - | Discussion | GDoc |
07/14 | Collapsing Towers of Interpreters | - | Discussion | GDoc |
05/26 | An Introduction to Monads: Part 2 | Stefanos Baziotis | Tutorial | GDoc with a short agenda and expected background. It includes extra reading material if we finish early. |
05/19 | An Introduction to Monads: Part 1 | Stefanos Baziotis | Tutorial | GDoc with an agenda and repo with code and explanations. |
05/12 | Codon: A Compiler for High-Performance Pythonic Applications and DSLs | - | Discussion | GDoc with reading material. Add your questions there! |
05/05 | Cogent Programming Language | - | Discussion | GDoc with reading material. Add your questions there! |
04/27 | Beyond Functional Programming: The Verse Programming Language (Simon Peyton Jones) | - | Discussion | GDoc with reading material. Add your questions there! |
04/21 | Solutions/Alternatives to Undefined Behavior | - | Discussion | GDoc with background suggestions and a list of questions/points to discuss. |
04/14 | A Demo of Dias + a tutorial on dynamic rewriting | Stefanos Baziotis | Demo | - |