POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 11:30 - 12:00 at Auditorium - Verified programming tools

Tue 17 Jan

CPP-2017
10:30 - 12:00: CPP - Verified programming tools at Auditorium
CPP-201710:30 - 11:00
Talk
Anthony FoxUniversity of Cambridge, UK, Magnus O. MyreenChalmers University of Technology, Sweden, Yong Kiam TanIHPC at A*STAR, Singapore, Ramana Kumar
CPP-201711:00 - 11:30
Talk
Sidney AmaniUNSW, Australia, June AndronickData61,CSIRO (formerly NICTA) and UNSW, Maksym Bortin, Corey Lewis, Christine RizkallahUniversity of Pennsylvania, USA, Joseph Tuong
CPP-201711:30 - 12:00
Talk
William ManskyUniversity of Pennsylvania, Yuanfeng PengUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania, Joseph DeviettiUniversity of Pennsylvania