Damian Dechev -

Registered user since Fri 19 May 2017

Name: Damian Dechev

Country: United States

Affiliation: University of Central Florida

Personal website: http://area67.cs.ucf.edu/the-team/dechev/

Research interests: Multiprocessor Programming, Concurrency, HPC, Programming Languages

Contributions

VMCAI 2021	Author of Concurrent Correctness in Vector Space within the VMCAI-track
ASE 2019	Author of Automating Non-Blocking Synchronization In Concurrent Data Abstractions within the Research Papers-track
ICPC 2019	Author of CCSpec: A Correctness Condition Specification Tool within the ICPC 2019 Technical Research-track
ESEC/FSE 2018	Chair in Organizing Committee within the Workshops-track Workshops Chair in Organizing Committee
SEPS	Author of Resource-Based Transaction Management for Best-Effort Hardware Transactional Memory within the SEPS-track