Ramani: CUDA Gawronski: OpenCL Ludwig: OpenACC Faust: Ruby/Python Repaka: C++11 Glick: functional programming and tasking Dao: Charm++ Brossard: Paxos in Charm++ Bonaci: Cilk Draper: Intel TBB Spishak: Static Verification of Deadlock Freedom Tamulonis: Dynamic load balancing via work stealing Scwabe: STM in Haskell Rongo: HTM Gasser: Deep Blue Krishnamurthy: Amazon Web Services Walker: Parallel Database Systems Risk: GraphLab Man: Microsoft Dryadlinq Lacey: WinRT and C++/CX Donohue: Microsoft TPL