Tue 24 Aug 2021 16:00 - 16:45 - Doctoral Symposium: Slot 3
Wed 25 Aug 2021 04:00 - 04:45 - Doctoral Symposium: Slot 3
Wed 25 Aug 2021 04:00 - 04:45 - Doctoral Symposium: Slot 3
Tue 24 AugDisplayed time zone: Athens change
Tue 24 Aug
Displayed time zone: Athens change
16:00 - 19:05 | |||
16:00 45mKeynote | Keynote (Sarah Nadi) Doctoral Symposium Sarah Nadi University of Alberta | ||
16:45 15mBreak | Break Doctoral Symposium | ||
17:00 25mPaper | Lightweight Verification via Specialized Typecheckers Doctoral Symposium Martin Kellogg University of Washington DOI | ||
17:25 25mPaper | Multi-location Cryptographic Code Repair with Neural-Network-Based Methodologies Doctoral Symposium Ya Xiao Virginia Tech DOI | ||
17:50 25mPaper | Improving the Effectiveness of Peer Code Review in Identifying Security Defects Doctoral Symposium Rajshakhar Paul Wayne State University DOI | ||
18:15 25mPaper | Reducing Cost in Continuous Integration with a Collection of Build Selection Approaches Doctoral Symposium Xianhao Jin Virginia Tech DOI | ||
18:40 25mPaper | A Live Environment for Inspection and Refactoring of Software Systems Doctoral Symposium Sara Fernandes University of Porto; INESC-ID DOI | ||
Wed 25 AugDisplayed time zone: Athens change
Wed 25 Aug
Displayed time zone: Athens change
04:00 - 07:05 | |||
04:00 45mKeynote | Keynote (Sarah Nadi) Doctoral Symposium Sarah Nadi University of Alberta | ||
04:45 15mBreak | Break Doctoral Symposium | ||
05:00 25mPaper | Lightweight Verification via Specialized Typecheckers Doctoral Symposium Martin Kellogg University of Washington DOI | ||
05:25 25mPaper | Multi-location Cryptographic Code Repair with Neural-Network-Based Methodologies Doctoral Symposium Ya Xiao Virginia Tech DOI | ||
05:50 25mPaper | Improving the Effectiveness of Peer Code Review in Identifying Security Defects Doctoral Symposium Rajshakhar Paul Wayne State University DOI | ||
06:15 25mPaper | Reducing Cost in Continuous Integration with a Collection of Build Selection Approaches Doctoral Symposium Xianhao Jin Virginia Tech DOI | ||
06:40 25mPaper | A Live Environment for Inspection and Refactoring of Software Systems Doctoral Symposium Sara Fernandes University of Porto; INESC-ID DOI | ||
