Home

Our group's research interests cover a wide spectrum of topics related to 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.

• Current talk schedule
• Archive of past talks

• PL-wonks, our official mailing list

• CSCI C311/B521: Programming Language Principles
• CSCI B522: Programming Language Foundations (recent offerings: spring 2012, spring 2011, fall 2009)
• CSCI P423/P523: Compilers

• CSCI B629 Fall 2011: Domain-Specific Languages and Compilers: Performance meets Productivity
• CSCI B629 Spring 2011: Reversible and Quantum Computing
• CSCI B629 Fall 2010: Integrating Static and Dynamic Typing
• CSCI B629 Spring 2010: Language-Based Approaches to Security

• Open Systems Lab
• Pure and Applied Logic Program
• Theory Group
• Logic and Mathematical Foundations of Informatics

• Dan Friedman's 60th birthday celebration
• 2009 Quantum Logic Inspired by Quantum Computation workshop at IU
• POPL 2012 road trip