Verified Concurrent Code: Tricks of the Trade (VMCAI 2017) - VMCAI 2017

Write a Blog >>

Sun 15 - Tue 17 January 2017

co-located with POPL 2017

Track

When

Mon 16 Jan 2017 09:00 - 10:00 at Amphitheater 44 - Invited talk 2 Chair(s): Ahmed Bouajjani

Session Program

Mon 16 Jan

09:00 - 10:00: VMCAI - Invited talk 2 at Amphitheater 44
Chair(s): Ahmed BouajjaniIRIF, Université Paris Diderot

09:00 - 10:00
Talk

Verified Concurrent Code: Tricks of the Trade

Ernie CohenAmazon Web Services

Ernie CohenAuthor

Amazon Web Services