Logistics

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.

Time & Place

Every Thursday, 1:00 - 2:00pm,
Room 3102, Siebel Center
for Computer Science (SC)

Mailing List

compiler-meetup@lists.cs.illinois.edu


Social Media


Upcoming Speakers


Schedule Fall 2024

(in reverse chronological order)

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 - -


Schedule Spring 2024

(in reverse chronological order)

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



Schedule 2023

(in reverse chronological order)

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 -

Before this point, the format of the meetup was different. The fourth type of sessions, which is now a "Free Topic", was a "Discussion". We picked a topic/article/paper, we studied it beforehand, and we prepare questions which we discuss in the meetup. For these sessions, look for the GDoc in the supplemental material column of the schedule.

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 -