IU storms ICFP 2015 -- check out our talks

I feel that all our students and postdocs did a great job at ICFP this year.  Now, several weeks have passed since Vancouver, and all the videos are available online for your viewing enjoyment.

My group works on parallel functional programming, and here's what we presented at the conference this year:

• ICFP: my talk on adaptive (functional/concurrent) data (paper)
• ICFP: Ed Yang's talk on compact normal forms for serializing functional data (paper)
• Haskell: Trevor McDonell's talk on type safe LLVM codegen for our Accelerate DSL
• FHPC: Michael Vollmer on our first steps in auto-tuning GPU DSL code
• FHPC: Eric Holk on our first version of Accelerate that splits programs to run on multiple GPUs
• HIW: Ömer on rebooting supercompilation in GHC
• HIW (lightning): Ryan Scott on better Foldable deriving in GHC 8.0
• HIW (lightning): me on why FP needs to focus on data representation as much / more than code optimizations

And outside of the parallelism topic area IU had some other great talks:

• ICFP: Cameron Swords on a general formulations of contracts
• ICFP: Spenser Bauman on a faster Racket with a meta-tracing JIT
• Scheme: Jason Hemann on microKanren with constraints (not video'd unfortunately)
• Our undergrad Zach Sullivan presented a poster

Finally, one nice surprise at the conference was running into a student we'd never met before who did a poster on comparing Accelerate and Obsidian -- -- two GPU DSLs developed partially and wholly by our postdocs Joel and Trevor.  Congrats, guys, on getting users and attention!  Even better, the student was one of the winners of the poster competition and thus got to present a talk at the main ICFP conference.