Upcoming meetings

Date     Speaker Official Business Times Room
21st September 2018 Chaitanya Koparkar, Ryan Scott 4:15pm - 5:00pm Luddy Hall 1104
29th September 2018 Cancelled (ICFP etc.)
5th October 2018 ICFP Review (Fall break?) 4:15pm - 5:00pm Luddy Hall 1104
12th October 2018 Deyaa, Vikraman, Fred 4:15pm - 5:00pm Luddy Hall 1104
19th October 2018 Kyle Carter, Mike Vollmer, Cayleb 4:15pm - 5:00pm Luddy Hall 1104
26th October 2018 Joshua, Paulette, Buddhika 4:15pm - 5:00pm Luddy Hall 1104
2nd November 2018 Carlo Angiuli 4:15pm - 5:00pm Luddy Hall 1104
9th November 2018 Sarah, Caner, Rajan 4:15pm - 5:00pm Luddy Hall 1104
16th November 2018 Tori, Matthew H, Chao-Hong 4:15pm - 5:00pm Luddy Hall 1104
23rd November 2018 Cancelled (Thanksgiving)
30th November 2018 Andrew Kent, Ambrose, Weixi 4:15pm - 5:00pm Luddy Hall 1104
7th December 2018 TBD 4:15pm - 5:00pm Luddy Hall 1104
14th December 2018 TBD 4:15pm - 5:00pm Luddy Hall 1104
...


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


Research

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.

Faculty

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

Students

Inactive Students

Faculty Emeriti

Former Members

Alumni

Talks

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