Damian Dechev

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 45

Top Topics

Formal Verification

Concurrent Programs

Top Venues

Concurr. Comput. Pract. Exp.

Publications

Alexander V. Goponenko, Kenneth Lamar, Benjamin A. Allan, James M. Brandt, Damian Dechev
Job Scheduling for HPC Clusters: Constraint Programming vs. Backfilling Approaches. DEBS (2024)
Jiange Zhang, Qing Yi, Christina L. Peterson, Damian Dechev
Compiler-driven approach for automating nonblocking synchronization in concurrent data abstractions. Concurr. Comput. Pract. Exp. 36 (5) (2024)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Quantifiability: a concurrent correctness condition modeled in vector space. Computing 105 (5) (2023)
Kenneth Lamar, Alexander V. Goponenko, Omar Aaziz, Benjamin A. Allan, James M. Brandt, Damian Dechev
Evaluating HPC Job Run Time Predictions Using Application Input Parameters. DEBS (2023)
Alexander V. Goponenko, Kenneth Lamar, Christina L. Peterson, Benjamin A. Allan, Jim M. Brandt, Damian Dechev
Metrics for Packing Efficiency and Fairness of HPC Cluster Batch Job Scheduling. SBAC-PAD (2022)
Pierre LaBorde, Lance Lebanoff, Christina L. Peterson, Deli Zhang, Damian Dechev
Dynamic Transactional Transformation. Concurr. Comput. Pract. Exp. 34 (2) (2022)
Christina L. Peterson, Damian Dechev
The CAS-extended model. Concurr. Comput. Pract. Exp. 34 (2) (2022)
Kenneth Lamar, Alexander V. Goponenko, Christina L. Peterson, Benjamin A. Allan, Jim M. Brandt, Damian Dechev
Backfilling HPC Jobs with a Multimodal-Aware Predictor. CLUSTER (2021)
Christina L. Peterson, Victor Cook, Damian Dechev
Concurrent Correctness in Vector Space. VMCAI (2021)
Kenneth Lamar, Christina L. Peterson, Damian Dechev, Roger Pearce, Keita Iwabuchi, Peter Pirkelbauer
PMap: A Non-volatile Lock-free Hash Map with Open Addressing. NVMSA (2021)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Design and Implementation of Highly Scalable Quantifiable Data Structures. PaCT (2021)
Ramin Izadpanah, Christina L. Peterson, Yan Solihin, Damian Dechev
PETRA: Persistent Transactional Non-blocking Linked Data Structures. ACM Trans. Archit. Code Optim. 18 (2) (2021)
Zachary Painter, Victor Cook, Christina L. Peterson, Damian Dechev
Descriptor based consensus for blockchain transactions. DEBS (2021)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Quantifiability: Correctness of Concurrent Programs in Vector Space. PDP (2021)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Entropy Measurement of Concurrent Disorder. QEST (2020)
Christina L. Peterson, Amalee Wilson, Peter Pirkelbauer, Damian Dechev
Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases. SBAC-PAD (2020)
Justin Gosselin, Anjia Wang, Peter Pirkelbauer, Chunhua Liao, Yonghong Yan, Damian Dechev
Extending FreeCompilerCamp.org as an Online Self-Learning Platform for Compiler Development. EduHPC@SC (2020)
Alexander V. Goponenko, Ramin Izadpanah, Jim M. Brandt, Damian Dechev
Towards workload-adaptive scheduling for HPC clusters. CLUSTER (2020)
Zachary Painter, Pradeep Kumar Gayam, Victor Cook, Damian Dechev
Parallel Hash-Mark-Set on the Ethereum Blockchain. IEEE ICBC (2020)
Kenneth Lamar, Christina L. Peterson, Damian Dechev
Lock-free transactional vector. PMAM@PPoPP (2020)
Jiange Zhang, Qing Yi, Damian Dechev
Automating Non-Blocking Synchronization In Concurrent Data Abstractions. ASE (2019)
Christina L. Peterson, Damian Dechev
Formal Verification through Combinatorial Topology: the CAS-Extended Model. PMAM@PPoPP (2019)
Peter Pirkelbauer, Amalee Wilson, Christina L. Peterson, Damian Dechev
Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks. ACM Trans. Archit. Code Optim. 15 (4) (2019)
Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev
Quantifiability: Concurrent Correctness from First Principles. CoRR (2019)
Kishore Debnath, Christina L. Peterson, Damian Dechev
Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs. CoRR (2019)
Pierre LaBorde, Lance Lebanoff, Christina L. Peterson, Deli Zhang, Damian Dechev
Wait-free Dynamic Transactions for Linked Data Structures. PMAM@PPoPP (2019)
Ramin Izadpanah, Benjamin A. Allan, Damian Dechev, Jim M. Brandt
Production Application Performance Data Streaming for System Monitoring. ACM Trans. Model. Perform. Evaluation Comput. Syst. 4 (2) (2019)
Victor Cook, Zachary Painter, Christina L. Peterson, Damian Dechev
Read-Uncommitted Transactions for Smart Contract Performance. CoRR (2019)
Victor Cook, Zachary Painter, Christina L. Peterson, Damian Dechev
Read-Uncommitted Transactions for Smart Contract Performance. ICDCS (2019)
Zachary Painter, Christina L. Peterson, Damian Dechev
Lock-Free Transactional Adjacency List. CoRR (2019)
Lance Lebanoff, Christina L. Peterson, Damian Dechev
Check-Wait-Pounce: Increasing Transactional Data Structure Throughput by Delaying Transactions. DAIS (2019)
Christina L. Peterson, Pierre LaBorde, Damian Dechev
CCSpec: a correctness condition specification tool. ICPC (2019)
Christina L. Peterson, Victor Cook, Damian Dechev
Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures. MASCOTS (2019)
Ramin Izadpanah, Nichamon Naksinehaboon, Jim M. Brandt, Ann C. Gentile, Damian Dechev
Integrating Low-latency Analysis into HPC System Monitoring. ICPP (2018)
Kenneth Lamar, Ramin Izadpanah, Jim M. Brandt, Damian Dechev
An Efficient Latch-free Database Index Based on Multi-dimensional Lists. IPCCC (2018)
Deli Zhang, Pierre LaBorde, Lance Lebanoff, Damian Dechev
Lock-Free Transactional Transformation for Linked Data Structures. ACM Trans. Parallel Comput. 5 (1) (2018)
Christina L. Peterson, Damian Dechev
A Transactional Correctness Tool for Abstract Data Types. ACM Trans. Archit. Code Optim. 14 (4) (2017)
Zachary Painter, Christina L. Peterson, Damian Dechev
Lock-Free Transactional Adjacency List. LCPC (2017)
Pierre LaBorde, Steven D. Feldman, Damian Dechev
A Wait-Free Hash Map. Int. J. Parallel Program. 45 (3) (2017)
Deli Zhang, Damian Dechev
Lock-free Transactions without Rollbacks for Linked Data Structures. SPAA (2016)
Ramin Izadpanah, Steven D. Feldman, Damian Dechev
A Methodology for Performance Analysis of Non-blocking Algorithms Using Hardware and Software Metrics. ISORC (2016)
Deli Zhang, Damian Dechev
A Lock-Free Priority Queue Design Based on Multi-Dimensional Linked Lists. IEEE Trans. Parallel Distributed Syst. 27 (3) (2016)
Deli Zhang, Damian Dechev
An Efficient Lock-Free Logarithmic Search Data Structure Based on Multi-dimensional List. ICDCS (2016)
Deli Zhang, Jeremiah J. Wilke, Gilbert Hendry, Damian Dechev
Validating the Simulation of Large-Scale Parallel Applications Using Statistical Characteristics. ACM Trans. Model. Perform. Evaluation Comput. Syst. 1 (1) (2016)
Steven D. Feldman, Carlos Valera-Leon, Damian Dechev
An Efficient Wait-Free Vector. IEEE Trans. Parallel Distributed Syst. 27 (3) (2016)
Matthew J. Sottile, Jason Dagit, Deli Zhang, Gilbert Hendry, Damian Dechev
Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons. ACM Trans. Model. Comput. Simul. 26 (1) (2015)
Steven D. Feldman, Pierre LaBorde, Damian Dechev
Tervel: A unification of descriptor-based techniques for non-blocking programming. SAMOS (2015)
Eric Anger, Damian Dechev, Gilbert Hendry, Jeremiah J. Wilke, Sudhakar Yalamanchili
Application Modeling for Scalable Simulation of Massively Parallel Systems. HPCC/CSS/ICESS (2015)
Andrew Barrington, Steven D. Feldman, Damian Dechev
A scalable multi-producer multi-consumer wait-free ring buffer. SAC (2015)
Steven D. Feldman, Deli Zhang, Damian Dechev, James Brandt
Extending LDMS to Enable Performance Monitoring in Multi-core Applications. CLUSTER (2015)
Steven D. Feldman, Pierre LaBorde, Damian Dechev
A Wait-Free Multi-Word Compare-and-Swap Operation. Int. J. Parallel Program. 43 (4) (2015)
Deli Zhang, Brendan Lynch, Damian Dechev
Queue-Based and Adaptive Lock Algorithms for Scalable Resource Allocation on Shared-Memory Multiprocessors. Int. J. Parallel Program. 43 (5) (2015)
Deli Zhang, Gilbert Hendry, Damian Dechev
Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations. ICSME (2014)
Gene I. Sher, Kyle Martin, Damian Dechev
Preliminary results for neuroevolutionary optimization phase order generation for static compilation. ODES@CGO (2014)
Steven D. Feldman, Akshatha Bhat, Pierre LaBorde, Qing Yi, Damian Dechev
Effective use of non-blocking data structures in a deduplication application. SPLASH (Companion Volume) (2013)
Deli Zhang, Brendan Lynch, Damian Dechev
Fast and Scalable Queue-Based Resource Allocation Lock on Shared-Memory Multiprocessors. OPODIS (2013)
Damian Dechev, Tae-Hyuk Ahn
Using SST/Macro for Effective Analysis of MPI-Based Applications: Evaluating Large-Scale Genomic Sequence Search. IEEE Access 1 (2013)
Steven D. Feldman, Pierre LaBorde, Damian Dechev
Concurrent multi-level arrays: Wait-free extensible hash maps. ICSAMOS (2013)
Damian Dechev, Pierre LaBorde, Steven D. Feldman
LC/DC: Lockless Containers and Data Concurrency a Novel Nonblocking Container Library for Multicore Applications. IEEE Access 1 (2013)
Matthew J. Sottile, Amruth Rudraiah Dakshinamurthy, Gilbert Hendry, Damian Dechev
Semi-automatic extraction of software skeletons for benchmarking large-scale parallel applications. SIGSIM-PADS (2013)
Rizwan A. Ashraf, Francis Luna, Damian Dechev, Ronald F. DeMara
Designing digital circuits for FPGAs using parallel genetic algorithms (WIP). SpringSim (TMS-DEVS) (2012)
Steven Braeger, Nicholas Arnold, Damian Dechev
Scalable n-body event prediction. Central Eur. J. Comput. Sci. 2 (1) (2012)
Andrés Vidal, Damian Dechev, Alain Kassab
Evaluation of Two Acceleration Techniques in a Multithreaded 2D Poisson Equation Solver. ICCS (2012)
Abe Hall, Michael Gabilondo, Damian Dechev
Using parallelization to improve the efficiency of an automated taxi route generation algorithm. Central Eur. J. Comput. Sci. 2 (2) (2012)
Damian Dechev
The ABA problem in multicore data structures with collaborating operations. CollaborateCom (2011)
Tae-Hyuk Ahn, Damian Dechev, Heshan Lin, Helgi Adalsteinsson, Curtis L. Janssen
Evaluating Performance Optimizations of Large-scale Genomic Sequence Search Applications using SST/macro. SIMULTECH (2011)
Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup
Source Code Rejuvenation Is Not Refactoring. SOFSEM (2010)
Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup
Support for the Evolution of C++ Generic Functions. SLE (2010)
Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup
Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs. ISORC (2010)
Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup
Semantically Enhanced Containers for Concurrent Real-Time Systems. ECBS (2009)
Damian Dechev, Bjarne Stroustrup
Model-Based Product-Oriented Certification. ECBS (2009)
Damian Dechev, Bjarne Stroustrup
Scalable nonblocking concurrent objects for mission critical code. OOPSLA Companion (2009)
Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup
Verification and semantic parallelization of goal-driven autonomous software. Autonomics (2008)
Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustrup, David A. Wagner
C++ Dynamic Cast in Autonomous Space Systems. ISORC (2008)
Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustrup
Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems. J. Comput. Sci. Eng. 2 (4) (2008)
Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup
Lock-Free Dynamically Resizable Arrays. OPODIS (2006)