Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Julian Erhard
conf.researchr.org general profile
ECOOP 2022 profile
PLDI 2023 profile
PLDI 2024 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2024 profile
Registered user since Fri 5 Jun 2020
Name:
Julian Erhard
Country:
Germany
Affiliation:
LMU Munich; TU Munich
Contributions
2025
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
VMCAI
Author of Correctness Witness Validation by Abstract Interpretation within the VMCAI 2024-track
2023
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
2021
Static Analysis Symposium
Author of Improving Thread-Modular Abstract Interpretation within the SAS-track
Share
x
Mon 17 Feb 08:08