About PL Wonks

We're a group of programming language researchers and enthusiasts at Indiana University who engage in the discussion and study of the semantic and logical foundations of programming languages, language design, type theory, compilers, program analysis and optimization, program specification and construction, and emerging models of computation.

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, Gibbon, Hakaru, Hansei, JavaScript Modules, Racket & Typed Racket, the red* proof assistants, miniKanren, LVars, monad-par, meta-par, WaveScript.

If you'd like to keep in touch, join:

• the PL Reading Group mailing list and Discord
• pl-wonks-l, our official mailing list

Members

Faculty

Carlo Angiuli [Site] Dependent Types, Homotopy Type Theory, Proof Assistants	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 Tianyu Chen Joshua Crotts Caner Derici Chenchao Ding Fred Fu Aria Givens Ethan Hawk Artem Iurchenko Sanad Kadu Caleb Schultz Kisby Darshal Shetty Zixiu Su Jifeng Wu Yafei Yang

Faculty Emeriti Kent Dybvig Former Members Ömer Sinan Ağacan Edward Amsden Spenser Bauman David Christiansen (Postdoc, 2016-2017) Matteo Cimini (Postdoc, 2015-2017) Peter Fogg Andre Kuhlenschmidt Trevor L. McDonell (Postdoc, 2014-2016) Paul Ojanen Jamie Perconti Kyle Ross Ryan Scott Cassandra Sparks Joel Svensson John-Paul Verkamp Yin Wang Chris Wailes

Alumni Tulip Amalie (B.S. 2024) Kartik Sabharwal (M.S. 2023) Annie Pompa (M.S. 2023) Ben Kovitz (Ph.D. 2023) Vikraman Choudhury (Ph.D. 2023) Sam Bowman (M.S. 2023) Chaitanya Koparkar (Ph.D. 2023) Rajan Walia (Ph.D. 2022) Sarah Spall (Ph.D. 2022) Adithya Selvaprithiviraj (M.S. 2021) Weixi Ma (Ph.D. 2021) Matthew Heimerdinger (M.S. 2021) Chao-Hong Chen (Ph.D. 2021) Michael Vollmer (Ph.D. 2021) Victoria Vollmer (M.S. 2020) Kuang-Chen Lu (M.S. 2020) Joshua Larkin (B.S. 2020) Buddhika Chamith (Ph.D. 2020) Deyaaeldeen Almahallawi (Ph.D. 2020) Aaron Hsu (Ph.D. 2019) Paulette Koronkevich (B.S. 2019) Andrew Kent (Ph.D. 2019) Laurel Carter (M.S. 2019) Ambrose Bonnaire-Sergeant (Ph.D. 2019) Abhishek Kulkarni (Ph.D. 2018) Michael Vitousek (Ph.D. 2018) Ben Boskin (B.S. 2018) Praveen Narayanan (Ph.D. 2018) Jason Hemann (Ph.D. 2018) Cameron Swords (Ph.D. 2018) Nilesh Mahajan (Ph.D. 2017) Aadit Shah (M.S. 2017) wren romano (Ph.D. 2016) Eric Holk (Ph.D. 2016) Jaime Guerrero (M.S. 2015) Lindsey Kuper (Ph.D. 2015) Tim Zakian (B.S. 2015) Larisse Voufo (Ph.D. 2014) Chun-Yu Shei (Ph.D. 2014) Roshan James (Ph.D 2013) Andy Keep (Ph.D. 2013) Aaron Todd (M.S. 2013) Hongyan Wang (M.S. 2012) Billy Bowman (M.S. 2012) Adam Foltzer (M.S. 2012) Rebecca Swords (M.S. 2011) Claire Alvis (B.S. 2011) Michael Adams (Ph.D. 2011) Will Byrd (Ph.D. 2009) Abdulaziz Ghuloum (Ph.D. 2009) Dipanwita Sarkar (Ph.D. 2008) Ronald Garcia (Ph.D. 2008) Joseph P. Near (B.S. 2008) Steve Ganz (Ph.D. 2006)

Upcoming Events

Sorry no event scheduled yet. Please check again later!

Past Events

• Carlo Angiuli — Indexed Families in Category Theory, Part III (11/01/2024)
• Carlo Angiuli — Indexed Families in Category Theory, Part II (10/25/2024)
• Carlo Angiuli — Indexed Families in Category Theory (10/18/2024)
• Berend van Starkenburg — Sheaves for Process Composition and Separation Logic (05/08/2024)
• Amr Sabry — A Computer Science Perspective on the Foundations of Quantum Computing (04/29/2024)
• Darshal Shetty — Tensor Implementations in Malt (A Deep Learning Toolkit) (04/25/2024)
• Sam Tobin-Hochstadt — Rhombus, a New Racket Language Without Parentheses (02/07/2024)
• Tianyu Chen — The Holy Grail of Gradual Security (01/24/2024)
• Chung-Chieh Shan — Exact Recursive Probabilistic Programming (12/13/2023)
• Carlo Angiuli — Universe Hierarchies and (Generalized) Universe Polymorphism (12/06/2023)

See the full list of events or subscribe via RSS.