Upcoming meetings

Date     Speaker Official Business Times Room
Jan 24 Core AI Showcase 9:00 - 4:30 Luddy 1106
Jan 31 Matthew Heimerdinger 4:15-5:00 TBD
Feb 7 Andre Kuhlenschmidt
Feb 14 Michael Vollmer
Feb 21 Weixi Ma
Feb 28 Rajan Walia
Mar 6 Ryan Scott
Mar 13 Fred Fu
Mar 20 Spring Break
Mar 27 (Caleb)
Apr 3 (Sarah)
Apr 10 (Rajan)
Apr 17 (Chai)
Apr 24 (Andre)
May 1 (Kuang-Chen)
May 8 Finals Week

Recent meetings

Date     Speaker Official Business Times

Weekly meetings

When? Fridays at 4:15pm-5:00pm (during IU Fall/Spring semesters)
Upcoming meetings
Where? Luddy Hall Room 1104 (or announced as we go)
What? Eat and mingle, 4:00pm - 4:15pm
Talks, 4:15pm - 5:00pm
Eat and mingle, 5:00pm - 6:00pm
Who? All are welcome to attend! See below for our regulars


Our group's research interests cover a wide spectrum of topics. Check out some of our work: Boost, Build-to-Order BLAS, C++ Concepts, Chapel Generics, Hakaru, Hansei, JavaScript Modules, Racket & Typed Racket, miniKanren, LVars, monad-par, meta-par, WaveScript.


Dan Friedman [Site]
Relational & Logic Languages, Meta-circularity, Reflection
Ryan Newton [Site]
Streaming, Distributed and GPU DSLs, Haskell Deterministic Parallelism
Amr Sabry [Site]
Quantum Computing, Type Theory, Information Effects
Chung-chieh Shan [Site]
Probabilistic Programming, Semantics
Jeremy Siek [Site]
Gradual Typing, Mechanized Metatheory, High-Performance
Sam Tobin-Hochstadt [Site]
Types for Untyped Languages, Contracts, Languages for the Web


Inactive Students

Faculty Emeriti

Former Members



Full Talk List

About PL Wonks

We're a group of programming language researchers and enthusiasts who engage in the discussion and study of the semantic and logic foundations of programming languages, language design, type theory, compilers, program analysis and optimization, program specification and construction, and emerging models of computation. We have meetings most weeks during the semester, and an active mailing list. Please consult the following links to attend or sign up.

subscribe via RSS