Damian Dechev

Orcid: 0000-0002-0569-3403

Affiliations:
  • University of Central Florida


According to our database1, Damian Dechev authored at least 74 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Compiler-driven approach for automating nonblocking synchronization in concurrent data abstractions.
Concurr. Comput. Pract. Exp., 2024

2023
Quantifiability: a concurrent correctness condition modeled in vector space.
Computing, May, 2023

Evaluating HPC Job Run Time Predictions Using Application Input Parameters.
Proceedings of the 17th ACM International Conference on Distributed and Event-based Systems, 2023

2022
The CAS-extended model.
Concurr. Comput. Pract. Exp., 2022

Dynamic Transactional Transformation.
Concurr. Comput. Pract. Exp., 2022

Metrics for Packing Efficiency and Fairness of HPC Cluster Batch Job Scheduling.
Proceedings of the 2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2022

2021
PETRA: Persistent Transactional Non-blocking Linked Data Structures.
ACM Trans. Archit. Code Optim., 2021

Concurrent Correctness in Vector Space.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Quantifiability: Correctness of Concurrent Programs in Vector Space.
Proceedings of the 29th Euromicro International Conference on Parallel, 2021

Design and Implementation of Highly Scalable Quantifiable Data Structures.
Proceedings of the Parallel Computing Technologies, 2021

PMap: A Non-volatile Lock-free Hash Map with Open Addressing.
Proceedings of the 10th IEEE Non-Volatile Memory Systems and Applications Symposium, 2021

Descriptor based consensus for blockchain transactions.
Proceedings of the 15th ACM International Conference on Distributed and Event-based Systems, 2021

Backfilling HPC Jobs with a Multimodal-Aware Predictor.
Proceedings of the IEEE International Conference on Cluster Computing, 2021

2020
Extending FreeCompilerCamp.org as an Online Self-Learning Platform for Compiler Development.
Proceedings of the IEEE/ACM Workshop on Education for High-Performance Computing, 2020

Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases.
Proceedings of the 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, 2020

Entropy Measurement of Concurrent Disorder.
Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

Lock-free transactional vector.
Proceedings of the PMAM@PPoPP '20: Eleventh International Workshop on Programming Models and Applications for Multicores and Manycores colocated with the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Parallel Hash-Mark-Set on the Ethereum Blockchain.
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

Towards workload-adaptive scheduling for HPC clusters.
Proceedings of the IEEE International Conference on Cluster Computing, 2020

2019
Production Application Performance Data Streaming for System Monitoring.
ACM Trans. Model. Perform. Evaluation Comput. Syst., 2019

Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks.
ACM Trans. Archit. Code Optim., 2019

Quantifiability: Concurrent Correctness from First Principles.
CoRR, 2019

Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs.
CoRR, 2019

Formal Verification through Combinatorial Topology: the CAS-Extended Model.
Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, 2019

Wait-free Dynamic Transactions for Linked Data Structures.
Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, 2019

Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures.
Proceedings of the 27th IEEE International Symposium on Modeling, 2019

Automating Non-Blocking Synchronization In Concurrent Data Abstractions.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

CCSpec: a correctness condition specification tool.
Proceedings of the 27th International Conference on Program Comprehension, 2019

Read-Uncommitted Transactions for Smart Contract Performance.
Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Check-Wait-Pounce: Increasing Transactional Data Structure Throughput by Delaying Transactions.
Proceedings of the Distributed Applications and Interoperable Systems, 2019

2018
Lock-Free Transactional Transformation for Linked Data Structures.
ACM Trans. Parallel Comput., 2018

An Efficient Latch-free Database Index Based on Multi-dimensional Lists.
Proceedings of the 37th IEEE International Performance Computing and Communications Conference, 2018

Integrating Low-latency Analysis into HPC System Monitoring.
Proceedings of the 47th International Conference on Parallel Processing, 2018

2017
A Transactional Correctness Tool for Abstract Data Types.
ACM Trans. Archit. Code Optim., 2017

A Wait-Free Hash Map.
Int. J. Parallel Program., 2017

Lock-Free Transactional Adjacency List.
Proceedings of the Languages and Compilers for Parallel Computing, 2017

2016
A Lock-Free Priority Queue Design Based on Multi-Dimensional Linked Lists.
IEEE Trans. Parallel Distributed Syst., 2016

An Efficient Wait-Free Vector.
IEEE Trans. Parallel Distributed Syst., 2016

Validating the Simulation of Large-Scale Parallel Applications Using Statistical Characteristics.
ACM Trans. Model. Perform. Evaluation Comput. Syst., 2016

Lock-free Transactions without Rollbacks for Linked Data Structures.
Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

A Methodology for Performance Analysis of Non-blocking Algorithms Using Hardware and Software Metrics.
Proceedings of the 19th IEEE International Symposium on Real-Time Distributed Computing, 2016

An Efficient Lock-Free Logarithmic Search Data Structure Based on Multi-dimensional List.
Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

2015
Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons.
ACM Trans. Model. Comput. Simul., 2015

Queue-Based and Adaptive Lock Algorithms for Scalable Resource Allocation on Shared-Memory Multiprocessors.
Int. J. Parallel Program., 2015

A Wait-Free Multi-Word Compare-and-Swap Operation.
Int. J. Parallel Program., 2015

Tervel: A unification of descriptor-based techniques for non-blocking programming.
Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015

A scalable multi-producer multi-consumer wait-free ring buffer.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Application Modeling for Scalable Simulation of Massively Parallel Systems.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Extending LDMS to Enable Performance Monitoring in Multi-core Applications.
Proceedings of the 2015 IEEE International Conference on Cluster Computing, 2015

2014
Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Preliminary results for neuroevolutionary optimization phase order generation for static compilation.
Proceedings of the 11th Workshop on Optimizations for DSP and Embedded Systems, 2014

2013
LC/DC: Lockless Containers and Data Concurrency a Novel Nonblocking Container Library for Multicore Applications.
IEEE Access, 2013

Using SST/Macro for Effective Analysis of MPI-Based Applications: Evaluating Large-Scale Genomic Sequence Search.
IEEE Access, 2013

Concurrent multi-level arrays: Wait-free extensible hash maps.
Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

Semi-automatic extraction of software skeletons for benchmarking large-scale parallel applications.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013

Fast and Scalable Queue-Based Resource Allocation Lock on Shared-Memory Multiprocessors.
Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013

Effective use of non-blocking data structures in a deduplication application.
Proceedings of the SPLASH'13, 2013

2012
Evaluation of Two Acceleration Techniques in a Multithreaded 2D Poisson Equation Solver.
Proceedings of the International Conference on Computational Science, 2012

Using parallelization to improve the efficiency of an automated taxi route generation algorithm.
Central Eur. J. Comput. Sci., 2012

Scalable n-body event prediction.
Central Eur. J. Comput. Sci., 2012

Designing digital circuits for FPGAs using parallel genetic algorithms (WIP).
Proceedings of the 2012 Spring Simulation Multiconference, 2012

2011
Evaluating Performance Optimizations of Large-scale Genomic Sequence Search Applications using SST/macro.
Proceedings of the SIMULTECH 2011 - Proceedings of 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Noordwijkerhout, The Netherlands, 29, 2011

The ABA problem in multicore data structures with collaborating operations.
Proceedings of the 7th International Conference on Collaborative Computing: Networking, 2011

2010
Source Code Rejuvenation Is Not Refactoring.
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

Support for the Evolution of C++ Generic Functions.
Proceedings of the Software Language Engineering - Third International Conference, 2010

Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Programming and Validation Techniques for Reliable Goal-driven Autonomic Software.
Proceedings of the Autonomic Communication, 2010

2009
Scalable nonblocking concurrent objects for mission critical code.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Model-Based Product-Oriented Certification.
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

Semantically Enhanced Containers for Concurrent Real-Time Systems.
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008
Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems.
J. Comput. Sci. Eng., 2008

C++ Dynamic Cast in Autonomous Space Systems.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Verification and semantic parallelization of goal-driven autonomous software.
Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008

2006
Lock-Free Dynamically Resizable Arrays.
Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006


  Loading...