Preliminary program for Monday, 24th June.
Preliminary program for Tuesday, 25th June.
Wednesday, 26 June
| Time | Dependable Computing and Communications Symposium | Performance and Dependability Symposium |
|---|---|---|
| Plenary Session | ||
| 8:30 - 9:30 | Keynote Address 2. Rashik Parmar: A Glimpse into the Future of Dependable Systems |
|
| Presentation of the Carter Award Winner | ||
| 9:30 -10:00 | Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software S. Saha, J.-P. Lozi, G. Thomas, J. Lawall, G. Muller |
|
| 10:00-10:30 | Break | |
| DCCS: Coping with Errors | PDS: Memory and Caches | |
| 10:30 -12:00 | Generative Software-based Memory Error Detection and Correction for Operating System Data Structures C. Borchert, H. Schirmeier, O.Spinczyk |
FTSPM: A Fault-Tolerant Scratchpad Memory A. M. H. Monazzah, H. Farbeh, S. G. Miremadi, M. Fazeli, H. Asadi |
| An Algorithmic Approach to Error Localization and Partial Recomputation for Low-Overhead Fault Tolerance J. Sloan, G. Bronevetsky, R. Kumar |
PHYS: Profiled-Hybrid Sampling for Soft Error Reliability Benchmarking J. Suh, M. Annavaram, M. Dubois |
|
| simFI: From Single to Simultaneous Software Fault Injections S. Winter, M. Tretter, B. Sattler, N. Suri |
Error Detector Placement for Soft Computation A. Thomas, K. Pattabiraman |
|
| 12:00-13:00 | Lunch | |
| DCCS: Seamless, Graceful, and Transparent | PDS: Experimental Studies and Data Analysis | |
| 13:00 -14:30 | Chasing the Optimum in Replicated In-memory Transactional Platforms via Protocol Adaptation M. Couceiro, P. Ruivo, P. Romano, L. Rodrigues |
A Practical Characterization of a NASA Spacecube Application through Fault Emulation and Laser Testing J. P. Walters, K. Zick, M. French |
| Seamless Kernel Updates M. Siniavine, A. Goel |
An Empirical Investigation of Fault Repairs and Mitigations in Space Mission System Software J. Alonso, M. Grottke, A. Nikora, K. Trivedi |
|
| Application-Driven TCP Recovery and Non-Stop BGP R. Surton, K. Birman, R. van Renesse |
Reading between the Lines of Failure Logs: Understanding How HPC Systems Fail N. El-Sayed, B. Schroeder |
|
| 14:30-14:45 | Break | |
| DCCS: The Solid Bottom of the System Stack | PDS: Wireless Networks | |
| 14:45 -15:45 | Operating SECDED-Based Caches at Ultra-Low Voltage with FLAIR M. Qureshi, Z. Chishti |
Guaranteeing Proper-Temporal-Embedding Safety Rules in Wireless CPS: A Hybrid Formal Modeling Approach F. Tan, Y. Wang, Q. Wang, L. Bu, R. Zheng, N. Suri |
| Stress Balancing to Mitigate NBTI Effects in Register Files H. Amrouch, T. Ebi, J. Henkel |
Wirelesshart Modeling And Performance Evaluation A. Remke, X. Wu |
|
| 16:00-22:30 | Excursion and Banquett | |
Preliminary program for Thursday, 27th June.