October 25, 2019 - TSRB 132-134 | ||
---|---|---|
Time | Agenda | Details |
8:45-9:15 | Coffee + Breakfast | |
9:15-9:25 | Welcome by Workshop Chairs | Alexandros Daglis and Tushar Krishna |
9:25-9:35 | Welcome by ECE | Justin Romberg (Associate Chair for Research, School of Electrical and Computer Engineering) |
9:35-9:45 | Welcome by CS | Mostafa Ammar (Chair, School of Computer Science) |
9:45-10:30 | Dimitrios Skarlatos (UIUC) | Enabling Microarchitectural Replay Attacks |
10:30-11:15 | Rui Zhang (UNC) | Automated Security Validation for Processor Designs |
11:15-11:30 | Break | |
11:30-12:15 | Yatin Manerkar (Princeton) | Progressive Automated Formal Verification |
12:15-1:00 | Mohammad Alian (UIUC) | A Cross-Layer, Hardware-Software Approach Towards Architecting High-Performance Datacenters |
1:00-1:30 | Lunch | |
1:30-2:30 | Panel Discussion (& lunch cont'ed) | Topic: Life in Academia - A View from the Other Side. Panelists: Paul Pearce, Arijit Raychowdhury, Vivek Sarkar, Alenka Zajic |
2:30-2:45 | Break | |
2:45-3:30 | Radha Venkatagiri (UIUC) | Democratizing Error-Efficient Computing via Principled Application-level Error Analysis |
3:30-4:15 | Yipeng Huang (Columbia / Princeton) | Emerging Architectures for Humanity's Grand Challenges |
4:15-5:00 | Gokul Ravi (U Wisconsin-Madison) | Vertical Integration in Computing Systems: Demystifying Hardware's Clock Abstraction |
5:00-5:10 | Closing Remarks | |
6:00-8:00 | Dinner @ Fado Irish Pub Midtown |