Sören van der Wall -

Registered user since Tue 2 Jun 2020

Name:Sören van der Wall

Country:Germany

Affiliation:TU Braunschweig

Personal website: https://www.tcs.cs.tu-bs.de/group/vdwall/home.html

Contributions

2025

PriSC

Author of SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations within the PriSC 2025-track

POPL

Author of SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations within the POPL-track

2022

APLAS

Author of Model-based Fault Classification for Automotive Software within the APLAS-track