| 2018 | The Tortoise and the Hare: Characterizing Synchrony in Distributed Environments (Practical Experience Report). | Daniel Porto, Joo Leito, Flavio Junqueira, Rodrigo Rodrigues |
| 2018 | Low Cost Transient Fault Protection Using Loop Output Prediction. | Sunghyun Park, Shikai Li, Scott A. Mahlke |
| 2018 | A Framework for Evaluating Software on Reduced Margins Hardware. | Konstantinos Parasyris, Panos K. Koutsovasilis, Vassilis Vassiliadis, Christos D. Antonopoulos, Nikolaos Bellas, Spyros Lalis |
| 2018 | On the Challenges of Building a BFT SCADA. | Andr Nogueira, Miguel Garcia, Alysson Bessani, Nuno Neves |
| 2018 | DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis. | Zhenyu Ning, Fengwei Zhang |
| 2018 | Machine Learning Models for GPU Error Prediction in a Large Scale HPC System. | Bin Nie, Ji Xue, Saurabh Gupta, Tirthak Patel, Christian Engelmann, Evgenia Smirni, Devesh Tiwari |
| 2018 | Falcon: A Practical Log-Based Analysis Tool for Distributed Systems. | Francisco Neves, Nuno Machado, Jos Pereira |
| 2018 | Challenges of DB2 Restore in a Distributed Systems Environment and Engineered Solutions. | Pratik Mukherjee, Valentina Salapura |
| 2018 | Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework. | Henrique Mendes, Iberia Medeiros, Nuno Neves |
| 2018 | Enhanced Dependability Evaluation Through Krylov Methods and Matrix Functions: The Case of Load-Sharing Systems. | Giulio Masetti |
| 2018 | In Production Performance Testing of SDN Control Plane for Telecom Operators. | Catello Di Martino, Ugo Giordano, Nishok Mohanasamy, Stefano Russo, Marina Thottan |
| 2018 | Using Diverse Detectors for Detecting Malicious Web Scraping Activity. | Pedro Marques, Zayani Dabbabi, Miruna-Mihaela Mironescu, Olivier Thonnard, Frances V. Buontempo, Ilir Gashi, Alysson Bessani |
| 2018 | FMEDA-Based Fault Injection and Data Analysis in Compliance with ISO-26262. | Kuen-Long Lu, Yung-Yuan Chen, Li-Ren Huang |
| 2018 | On the Limitation of MagNet Defense Against L1-Based Adversarial Examples. | Pei-Hsuan Lu, Pin-Yu Chen, Kang-Cheng Chen, Chia-Mu Yu |
| 2018 | Low Overhead Tag Error Mitigation for GPU Architectures. | Atieh Lotfi, Nirmal R. Saxena, Richard Bramley, Paul Racunas, Philip P. Shirvani |
| 2018 | Dynamic State Partitioning in Parallelized Byzantine Fault Tolerance. | Bijun Li, Wenbo Xu, Rdiger Kapitza |
| 2018 | Troxy: Transparent Access to Byzantine Fault-Tolerant Systems. | Bijun Li, Nico Weichbrodt, Johannes Behl, Pierre-Louis Aublin, Tobias Distler, Rdiger Kapitza |
| 2018 | Hardening the Core: Understanding and Detection of XNU Kernel Vulnerabilities. | Xianyu Liu, Min Zheng, Aimin Pan, Quan Lu |
| 2018 | A Reexamination of Internationalized Domain Names: The Good, the Bad and the Ugly. | Baojun Liu, Chaoyi Lu, Zhou Li, Ying Liu, Hai-Xin Duan, Shuang Hao, Zaifeng Zhang |
| 2018 | A Systematic Way to Incorporate Security in Safety Analysis. | Elena Lisova, Aida Causevic, Kaj Hnninen, Henrik Thane, Hans Hansson |
| 2018 | Modeling Soft-Error Propagation in Programs. | Guanpeng Li, Karthik Pattabiraman, Siva Kumar Sastry Hari, Michael B. Sullivan, Timothy Tsai |
| 2018 | Modeling Input-Dependent Error Propagation in Programs. | Guanpeng Li, Karthik Pattabiraman |
| 2018 | Hardware Remediation at Scale. | Fan Fred Lin, Matt Beadon, Harish Dattatraya Dixit, Gautham Vunnam, Amol Desai, Sriram Sankar |
| 2018 | Cost-Benefit Analysis of Moving-Target Defense in Power Grids. | Subhash Lakshminarayana, David K. Y. Yau |
| 2018 | Foreword for the Industry Track. | Sy-Yen Kuo, Hari Ramasamy, Bob Swarz, Alan Wood |