Program

May 12

Check-in and Dinner


May 13

Session: OS: Past and Future

9:00 - 10:15

Session: Verification

10:45 - 12:00

Lunch

12:00 - 13:30

Session: Program synthesis

13:30 - 14:45

Session: Abstractions

15:15 - 16:30

Session: Security

17:00 - 18:15


May 14

Session: Memory, distributed

9 - 10:15

Session: Data Center

10:45 - 12:00

Lunch

12:00 - 13:00

Session: Bugs

13:00 - 14:15

Excursion to Ravenna

14:30 - 22:00


May 15

Session: Machine learning

9:00 - 9:50

Session: SSD and Networking

10:20 - 12:00