SPLASH Workshop/Symposium Events 2022
2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2022)

Title Page

Welcome from the Chairs

Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk)
Dirk Beyer 
(LMU Munich, Germany)

Publisher's Version

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Jaime Arias , Kyungmin Bae , Carlos Olarte , Peter Csaba Ölveczky , Laure Petrucci , and Fredrik Rømming 
(CNRS, France; LIPN, France; Université Sorbonne Paris Nord, France; Pohang University of Science and Technology, South Korea; University of Oslo, Norway)

Publisher's Version

Q: A Sound Verification Framework for Statecharts and Their Implementations
Samuel D. Pollard , Robert C. Armstrong , John Bender , Geoffrey C. Hulette , Raheel S. Mahmood , Karla Morris , Blake C. Rawlings , and Jon M. Aytac 
(Sandia National Laboratories, USA)

Publisher's Version Info

strategFTO: Untimed Control for Timed Opacity
Étienne André , Shapagat Bolat , Engel Lefaucheux , and Dylan Marinho 
(Université Sorbonne Paris Nord, France; LIPN, France; CNRS, France; Université de Lorraine, France; Inria, France; LORIA, France)

Publisher's Version Info

Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search
Byeongjee Kang  and Kyungmin Bae 
(POSTECH, South Korea)

Publisher's Version Info

Proving Memory Access Violations in Isabelle/HOL
Sharar Ahmadi , Brijesh Dongol , and Matt Griffin 
(University of Surrey, UK)

Publisher's Version Published Artifact Artifacts Available

Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
Jaeseo Lee , Sangki Kim , and Kyungmin Bae 
(POSTECH, South Korea)

Publisher's Version Info

Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen , José Luiz Vargas de Mendonça , Shayan Jalili , Bereket Ayele , Bereket Ngussie Bekele , Zhemin Qu , Pranjal Sharma , Tigist Shiferaw , Yicheng Zhang , and Jean-Baptiste Jeannin 
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)

Publisher's Version

Formal Probabilistic Risk Assessment of a Nuclear Power Plant
Mohamed Abdelghany  and Sofiène Tahar 
(Concordia University, Canada)

Publisher's Version

Modelling a Blockchain for Smart Contract Verification using DeepSEA
Daniel Britten  and Steve Reeves 
(University of Waikato, New Zealand)

Publisher's Version Info