Upcoming meetings

Date     Speaker Official Business Times
17th November 2017 Ben Kovitz (Show-and-tell on FARG models and possible miniKanren applicability) 4:15pm - 5:00pm
24th November 2017 Cancelled (Thanksgiving)
1st December 2017 Cancelled (Midwest PL Summit)
8th December 2017 Jason Hemann (Lightning talk) 4:15pm - 4:30pm
Kyle Carter (Lightning talk) 4:30pm - 4:45pm
Open slot (Lightning talk) 4:45pm - 5:00pm
15th December 2017 Open slot 4:15pm - 5:00pm

Recent meetings

Date     Speaker Official Business Times
10th November 2017 Caner Derici 4:15pm - 5:00pm
3rd November 2017 (In LH102!) Futures in Racket; now and tomorrow - Sarah Spall 4:15pm - 4:30pm
OOPSLA recap 4:30pm - 5:00pm
27th October 2017 A Favorite Thing from Dyalog '17 - Aaron Hsu 4:15pm - 4:30pm
Felt: Multilingual Literate Racket Programming Without Weaving - David Christiansen 4:30pm - 4:45pm
Building high performance DSL's in Racket - Rajan Walia 4:45pm - 5:00pm
20th October 2017 Pony lang - Andrew Kent 4:15pm - 5:00pm
13th October 2017 Monadic Composition for Deterministic, Parallel Batch Processing - Ryan Scott 4:15pm - 5:00pm
29th September 2017 Normalization by Evaluation - David Christiansen 4:15pm - 5:00pm
22nd September 2017 Space-efficient runtime tracking - Ambrose Bonnaire-Sergeant 4:15pm - 5:00pm
15th September 2017 ICFP Recap 4:15pm - 5:00pm
8th September 2017 Organizational Meeting 4:15pm - 5:00pm
1st September 2017 APL Style Patterns/Anti-patterns: Escaping the Beginner’s Plateau - Aaron Hsu 4:15pm - 4:25pm
Type Theorists HATE Him! Learn this ONE WEIRD TRICK to fake dependent types in a language that doesn’t support them - Ryan Scott 4:30pm - 4:40pm
Homotopy theoretic aspects of Reversible Computing - Vikraman Choudhury 4:45pm - 4:55pm
25th August 2017 Symbolic conditioning of arrays in probabilistic programs - Praveen Narayanan 4:15pm - 4:35pm
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping - Chao-Hong Chen 4:40pm - 5:00pm

Weekly meetings

When? Fridays at 4:00pm-6:00pm (during IU Fall/Spring semesters)
Upcoming meetings
Where? Lindley Hall Room 101
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



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