Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Helmut Seidl
conf.researchr.org general profile
CC 2017 profile
ESOP 2015 profile
ETAPS 2019 profile
PLDI 2023 profile
PLDI 2024 profile
PLDI 2025 profile
POPL 2017 profile
POPL 2020 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Sun 15 Jan 2017
Name:
Helmut Seidl
Country:
Germany
Affiliation:
TU Munich
Personal website:
http://www2.in.tum.de/~seidl/
Contributions
2025
PLDI
Author of Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses within the PLDI Research Papers-track
VMCAI
Author of Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts within the VMCAI 2025-track
2024
NSAD
Author of C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For” within the NSAD 2024-track
SOAP
Author of When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly within the SOAP 2024-track
Session Chair of SOAP IV (part of SOAP 2024)
VMCAI
Author of Correctness Witness Validation by Abstract Interpretation within the VMCAI 2024-track
Session Chair of Session 4: Infinite State Systems, Runtime Verification (part of VMCAI 2024)
2023
Static Analysis Symposium
PC Member in Program Committee within the SAS 2023-track
Author of Octagons Revisited - Elegant Proofs and Simplified Algorithms within the SAS 2023-track
SOAP
Author of When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C within the SOAP 2023-track
2022
SPLASH
Author of Improving Thread-Modular Abstract Interpretation within the COVID Time Papers In Person-track
Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the COVID Time Papers In Person-track
2021
Static Analysis Symposium
Author of Improving Thread-Modular Abstract Interpretation within the SAS-track
2020
Static Analysis Symposium
Author of Stratified Guarded First-order Transition Systems within the SAS-track
Session Chair of 8 (part of SAS)
Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the SAS-track
Committee Member in Program Committee within the SAS-track
VMCAI
Author of How to Win First-Order Safety Games within the VMCAI 2020-track
2019
FOSSACS
Session Chair of Fixed-point Logics (part of FOSSACS 2019)
Author of Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time within the FOSSACS 2019-track
2017
CC
Committee Member in Program Committee within the Research Papers-track
VMCAI
Author of Reachability for dynamic parametric processes within the VMCAI-track
2015
ESOP
Committee Member in Program Committee within the ESOP-track
Session Chair of Session 6 (part of ESOP)
Committee Member in Steering Committee
Author of Inter-procedural Two-Variable Herbrand Equalities within the ESOP-track
Share
x
Wed 9 Jul 15:40
