Mon 15 Jun 2015 16:00 - 16:25 at PLDI Main BLUE (Portland 254-255) - Concurrency I Chair(s): Santosh Nagarakatte

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 describe our experience using P# to write several distributed protocols and port an industrial-scale system internal to Microsoft, showing that the supporting techniques, by leveraging the design of P#, are effective in finding bugs.

PLDI 2015 Artifact Evaluated Badge

Mon 15 Jun

pldi2015-papers
16:00 - 17:40: Research Papers - Concurrency I at PLDI Main BLUE (Portland 254-255)
Chair(s): Santosh NagarakatteRutgers University
pldi2015-papers16:00 - 16:25
Talk
Pantazis DeligiannisImperial College London, Alastair DonaldsonImperial College London, Jeroen Ketema, Akash LalMicrosoft Research India, Paul ThomsonImperial College London
Media Attached
pldi2015-papers16:25 - 16:50
Talk
Jeff HuangTexas A&M University
Media Attached
pldi2015-papers16:50 - 17:15
Talk
Malavika SamakIndian Institute of Science, Bangalore, Murali Krishna RamanathanIndian Institute of Science, Bangalore, Suresh JagannathanPurdue University
Media Attached
pldi2015-papers17:15 - 17:40
Talk
Eric KoskinenIBM TJ Watson Research Center, Matthew ParkinsonMicrosoft Research, UK
Media Attached