Vesal Vojdani -

Registered user since Wed 6 Mar 2024

Name:Vesal Vojdani

Country:Estonia

Affiliation:University of Tartu

GitHub: https://github.com/vesalvojdani

Contributions

2026

ASE

Journal First Co-Chair in Organizing Committee

NSAD

Committee Member in Organizing Committee within the NSAD 2026-track

ECOOP

Author of Comparing Transparent Static Analyzers with Open Verification Dashboard within the Technical Papers-track

FM

Author of Mixed Flow-Sensitive Static Analysis: Engineering Modularity within the Tutorials-track

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