There is a sign-up schedule for this event that can be found at

http://www.cs.utexas.edu/department/webevent/utcs/events/cgi/list_event

s.cgi

Type of Talk: Colloquia

Speaker/Affiliation: Thomas Ball/Mi

crosoft Research (http://research.microsoft.com/~tball/)

Date/Time: We

dnesday, October 13, 2010, 4:00 p.m.

Location: ACES 2.302

Host

: Kathryn McKinley

Talk Title: Practical Parallel and Concurrent Progr

amming: Performance and Correctness on the Multi-core Computer with .NET 4

(http://research.microsoft.com/ppcp/)

Talk Abstract:
On the multi-c

ore computer many applications will make use of parallelism to achieve spee

dup and concurrency to achieve responsiveness. The .NET 4 Framework introd

uced new abstractions for parallelism and concurrency, but achieving good

performance while maintaining correctness is still difficult. In this talk

, I‚ll describe courseware we have developed in conjunction with the Univ

ersity of Utah for introducing key concepts in parallelism and concurrency

, with supporting code C#/F# code examples, as well as tests and new tools
that support the twin goals of achieving high performing and correct code.
(Joint work with Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph May

o, Madan Musuvathi, Shaz Qadeer, and Caitlin Sadowski).