[Colloquium] Akash Lal seminar reminder: 4/15/16

[Sandra Quarles]

When:		 Friday, April 15, 2016 at 3:00pm

Where:		Ryerson 255

Who:		Akash Lal, Microsoft Research

Title:		Asynchronous Programming, Analysis and Testing with P#

Abstract:		Programming efficient asynchronous systems is challenging because it can often be hard to express the design declaratively, or to defend against interleaving-dependent bugs such as data races and other assertion violations. Previous work has only addressed these challenges individually, either by designing a new declarative language, or a new data race detection tool, or a new testing technique. We present P#, a language for high-reliability asynchronous programming co-designed with a static analysis and testing infrastructure. We will describe our experience using P# and its effectiveness in finding bugs in production systems. For example, in a collaboration between MSR and Azure Storage, the team successfully uncovered a subtle data replication bug in the Azure Storage system using P#. The bug was due to a rare distributed race condition, which made it very difficult to identify, reproduce and troubleshoot using conventional testing methods.

Bio:  	Akash Lal is a researcher at Microsoft Research, Bangalore. His interests are in the area of programming languages and program analysis, with a focus on building bug-finding tools for concurrent programs. He joined Microsoft in 2009 after completing his PhD from University of Wisconsin-Madison under the supervision of Prof. Thomas Reps. For his thesis, he received a joint Outstanding Graduate Researcher Award, given by the Computer Sciences Department of UW-Madison, and a joint ACM SIGPLAN Outstanding Doctoral Dissertation Award. He completed his Bachelor's degree from IIT-Delhi in 2003.

Hosts:	Shan Lu and Haryadi Gunawi


Sandy Quarles
Project Assistant
Computer Science Department
1100 E. 58th Street
Chicago, IL 60637
773.702.3508
773.702.8487 Fax








-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20160412/6155af38/attachment-0001.htm