Oct 12 - 15, 2020
Continuous Dependability Assessment and Improvement in DevOps (Tue Oct 13, 14:30-15:30; 15:45-16:45 UTC)
Alberto Avritzer, Barbara Russo
Approaches and Techniques for Postprocessing of Static Analysis Alarms (Wed Oct 14, 14:30-15:30; 15:45-16:45 UTC)
Tukaram Muske
Robustness Testing of Complex Software Systems to Improve Operational Reliability (Thu Oct 15, 14:30-15:30; 15:45-16:45 UTC)
Vincent Sinclair
The Analysis of Typed Functional Languages (Thu Oct 15, 13:15-14:15; 14:30-15:30; 15:45-16:45 UTC)
Jurriaan Hage