MSR/CPU Distinguished Lecture Series
This lecture series will highlight the newly formed Center for Parallel-computing at Utah (CPU)
- ALL LECTURES
- 3:20 pm refreshments
- 3:40 pm lecture
- 1250 WEB (unless otherwise indicated)
- September 10, 2010
- Sebastian Burckhardt
- Microsoft Research
- Concurrent Programming with Revisions
- September 17, 2010
- Madan Musuvathi
- Microsoft Research
- Automatic Linearizability Checking for Concurrent Components
- September 24, 2010
- Shaz Qadeer
- Microsoft Research
- QED: A Simplifier for Concurrent Programs
- October 1, 2010
- Stephen Toub
- Microsoft
- An Insider's View of Concurrency at Microsoft
- October 6, 2010
- Miriam Leeser
- Northeastern University
- GPU programming and correctness in Biomedical Applications
- **lecture held in 103 WEB
- October 22, 2010
- Tim Mattson
- Intel
- The future of many core processors: A Tale of Two Processors
- November 5, 2010
- Tasneem Brutch
- Samsung Research
- Tool Interoperability Challenges and Approaches
- November 12, 2010
- Tom Ball
- Microsoft Research
- Towards Scalable Modular Checking of Programs Against User-defined Properties
