An informal, weekly meetup where we discuss topics related to Compilers, Programming Languages and neighboring areas.
If you want to:
What to present: It can basically be anything related to PL/Compilers. You can of course utilize your slide-deck skills, but it can also be an interactive tutorial or a demo of a tool, showing parts of an article or a video, etc. You can get (or add) ideas from the ongoing list of topics. In any case, it does not have to be super well prepared. The only thing that is highly discouraged is the conventional conference-style or job talk format; there are many other venues and meetups that host these.
Invited Speakers: We also try to invite important figures from the PL/compilers community, particularly ones who haven't given many talks, interviews, etc. See the "Upcoming Speakers" section.
Every Thursday, 1:00 - 2:00pm,
Room 3102, Siebel Center
for Computer Science (SC)
compiler-meetup@lists.cs.illinois.edu
Date | Title | Presenter | Extra Material |
---|
12/05 | What is Scala good at? | Ryan Ziegler | - |
11/21 | Compiling for Heterogeneous Platforms | Ayal Zaks | Video |
11/14 | Hyper-graph partitioning and its applications to compilers | Russel Arbore | - |
11/07 | Pointer Provenance | Vimarsh Sathia | - |
10/31 | An Intro to Program Synthesis | Stefanos Baziotis | Slides Video |
10/24 | Refinment Types and a Demo in Coq | Aaron Councilman | - |
10/17 | An Overview of Instruction Selection | Russel Arbore | - |
10/10 | A Discussion with Sebastian Hack | Sebastian Hack | Recording |
10/03 | A Discussion with Remy Goldschmidt | Remy Goldschmidt | Slides |
09/26 | A Discussion with Matteo Frigo | Matteo Frigo | - |
09/19 | Compiler Research is Not Dead Yet (at least not in Query Processing) | Stefanos Baziotis | Slides |
09/12 | Chill Discussion | - | - |
09/06 | Brainstorming Session | - | - |
Date | Title | Presenter | Extra Material |
---|
04/26 | Continuing the Coq Tutorial | Stefanos Baziotis | - |
04/19 | An Introduction to Coq | Stefanos Baziotis | - |
04/05 | Invited Talk: Reflections on C++ Reflection | Daveed Vandevoorde (EDG) | 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 | - |