- Date: Friday, August 21
- Time: 9:00 - 5:30
- Location: Lindley Hall 101
Refreshments will be provided. Official talk lengths are listed below. Any additional time in the schedule is for practice talk feedback. We will be using github.iu.edu to accumulate talk feedback. If you haven’t logged in to initialize your account, please do so now.
- 9:00: Sam Tobin-Hochstadt - Welcome to IU and PL-Wonks.
- 9:15: Trevor McDonell (25min) - Type-safe Runtime Code Generation: Accelerate to LLVM
- 9:45: Ryan Newton (20 min) - Adaptive Lock-Free Maps: Purely-Functional to Scalable
- 10:15: Michael Vollmer (25 min) - Meta-Programming and Auto-Tuning in the Search for High Performance GPU Code
10:45: Morning break and refreshments.
- 11:00: Mini-poster session - Zach Sullivan: Enumerated Monad
- 11:15: Cameron Swords (15+5 min) - Expressing Contract Monitors as Patterns of Communication
- 11:45: Lunch: begin walking to Informatics.
- 12:00-1:30: Lunch & SoIC Graduate Social, Informatics Courtyard, 10th and Woodlawn
- 1:30: Walk back to Lindley
- 1:45: Ed Yang (20 min) - Efficient Communication and Collection with Compact Normal Forms
- 2:15: Spenser Bauman (20 min) - Pycket: A Tracing JIT For a Functional Language
- 2:45: Ömer Ağacan (20+10) - Rebooting Supercompilation for GHC
- 3:15: Eric Holk (25 min) - Converting Data-Parallelism to Task-Parallelism by Rewrites: Purely Functional Programs Across Multiple GPUs
3:45: Afternoon coffee break
- 4:00: Abhishek Kulkarni (25+5 min) - Concurrent Cilk: Lazy Promotion from Tasks to Threads in C/C++
- 4:30: Nilesh Mahajan (25+5 min) - An Embedded DSL for High Performance Declarative Communication with Correctness Guarantees in C++
- 5:00: Jason Hemann (25 min) - A Framework for Extending microKanren with Constraints
5:30: End of program – thanks for your talks and feedback!