Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vesal Vojdani
conf.researchr.org general profile
ECOOP 2016 profile
ECOOP 2025 profile
ISSTA/ECOOP 2024 profile
PLDI 2023 profile
PLDI 2024 profile
PLDI 2025 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2024 profile
Registered user since Wed 6 Mar 2024
Name:
Vesal Vojdani
Country:
Estonia
Affiliation:
University of Tartu
GitHub:
https://github.com/vesalvojdani
Contributions
2025
DEBT
Committee Member in Program Committee within the DEBT 2025-track
PLDI
Author of [TOPLAS] Sound Static Data Race Verification for C: Is the Race Lost? 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
SPLASH
Author of Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results within the Onward! Papers-track
DEBT
Author of Abstract Debugging with GobPie within the DEBT 2024-track
SOAP
Committee Member in Program Committee 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
2016
ICOOOLPS
Author of TruffleReloader: A Low-Overhead Language-Neutral Reloader within the ICOOOLPS-track
Share
x
Sun 20 Jul 07:44
