Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sören Tempel
conf.researchr.org general profile
ASE 2026 profile
ICSE 2024 profile
Registered user since Thu 30 Jul 2026
Name:
Sören Tempel
Affiliation:
Technische Universität Braunschweig
Personal website:
https://soeren-tempel.net
Contributions
2026
ASYDE
Author of Towards a Vertically Integrated Compiler Infrastructure to Improve Solver Time during Symbolic Execution within the ASYDE 2026-track
2024
KLEE
Presenter of Symbolic Execution of Binary Code based on Formal ISA Semantics within the KLEE 2024-track
Share
x
Sun 18 Oct 13:58