Program/Program Overview
The published program is preliminary, and some changes can happen in the next days!
All times are in EST timezone!
Monday, Sept 30
The ATSReDS workshop will be conducted online.
Join the workshop through the following link (This is exclusively to the workshop ATSReDS. The remaining sessions will happen in-person).
09:00am - 9:10am | ATSReDS: Welcome and Opening Remarks |
09:10am - 9:40am | ATSReDS: Keynote Speech #1: Nitin Auluck |
09:40am - 10:10am | ATSReDS: Keynote Speech #2: Brij Bhooshan Gupta |
10:10am - 10:30am | Coffee break |
10:30am - 11:50am | ATSReDS
Chair: Sachin Sharma
|
11:50am - 12:00pm | Closing Remarks |
05:00pm - 07:00pm | Registration |
05:30pm – 07:30pm | Welcome Reception: Cone Center (Room 208 or 210) |
Tuesday, Oct 1
08:30am - 09:00am | Registration |
09:00am - 9:30am | Opening |
09:30am - 10:30am | Keynote speaker #1: Cristina Nita-Rotaru
Using Formal Methods to Understand the Security Risks of Distributed Protocols |
10:30am - 11:00am | Coffee break |
11:00am - 12:30pm | Research #1: Dependability
Chair: Paulo Verissimo
|
12:30pm - 2:00pm | Lunch |
2:00pm - 3:30pm | PhD Forum
Chair: Valerio Schiavoni
|
3:30pm - 4:00pm | Coffee break + Poster Session |
4:00pm - 6:00pm | Research #2 - Systems
Chair: Cristina Nita-Rotaru
|
Wednesday, Oct 2
08:30am - 09:00am | Registration |
09:00am - 10:00am | Keynote speaker #2: Mahesh Balakrishnan
An Hourglass Architecture for Distributed Systems |
10:00am - 10:30am | Coffee break |
10:30am - 12:30pm | Research #3: Security
Chair: Amy Babay
|
12:30pm - 2:00pm | Lunch |
2:00pm - 3:30pm | Research #4: Blockchain 1
Chair: Antonella Del Pozzo
|
3:30pm - 4:00pm | Coffee break |
4:00pm - 5:30pm | Research #5: Algorithms
Chair: Murat Demirbas
|
6:00pm | Departure to the Banquet |
7:00pm - 9:30pm | Banquet |
Thursday, Oct 3
08:30am - 09:00am | Registration |
09:00am - 10:30am | Research #6: ML
Chair: Marco Vieira
|
10:30am - 11:00am | Coffee break |
11:00am - 12:30pm | Research #7: Blockchain 2
Chair: Silvia Bonomi
|
12:30pm - 2:00pm | Adjurn and Lunch |
2:00pm - 3:30pm | Research #8: Online (Videos)
|