Lock-Free Dynamically Resizable Arrays. - Damian Dechev; Peter Pirkelbauer; Bjarne Stroustrup (OPODIS, 2006)

Verification and semantic parallelization of goal-driven autonomous software. - Damian Dechev; Nicolas Rouquette; Peter Pirkelbauer; Bjarne Stroustrup (Autonomics, 2008)

C++ Dynamic Cast in Autonomous Space Systems. - Damian Dechev; Rabi N. Mahapatra; Bjarne Stroustrup; David A. Wagner 002 (ISORC, 2008)

Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems. - Damian Dechev; Rabi N. Mahapatra; Bjarne Stroustrup (J. Comput. Sci. Eng., 2008)

Semantically Enhanced Containers for Concurrent Real-Time Systems. - Damian Dechev; Peter Pirkelbauer; Nicolas Rouquette; Bjarne Stroustrup (ECBS, 2009)

Model-Based Product-Oriented Certification. - Damian Dechev; Bjarne Stroustrup (ECBS, 2009)

Scalable nonblocking concurrent objects for mission critical code. - Damian Dechev; Bjarne Stroustrup (OOPSLA Companion, 2009)

Programming and Validation Techniques for Reliable Goal-driven Autonomic Software. - Damian Dechev; Nicolas Rouquette; Peter Pirkelbauer; Bjarne Stroustrup (Autonomic Communication, 2010)

Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs. - Damian Dechev; Peter Pirkelbauer; Bjarne Stroustrup (ISORC, 2010)

Support for the Evolution of C++ Generic Functions. - Peter Pirkelbauer; Damian Dechev; Bjarne Stroustrup (SLE, 2010)

Source Code Rejuvenation Is Not Refactoring. - Peter Pirkelbauer; Damian Dechev; Bjarne Stroustrup (SOFSEM, 2010)

The ABA problem in multicore data structures with collaborating operations. - Damian Dechev (CollaborateCom, 2011)

Evaluating Performance Optimizations of Large-scale Genomic Sequence Search Applications using SST/macro. - Tae-Hyuk Ahn; Damian Dechev; Heshan Lin; Helgi Adalsteinsson; Curtis L. Janssen (SIMULTECH, 2011)

Designing digital circuits for FPGAs using parallel genetic algorithms (WIP). - Rizwan A. Ashraf; Francis Luna; Damian Dechev; Ronald F. DeMara (SpringSim (TMS-DEVS), 2012)

Scalable n-body event prediction. - Steven Braeger; Nicholas Arnold; Damian Dechev (Central Eur. J. Comput. Sci., 2012)

Using parallelization to improve the efficiency of an automated taxi route generation algorithm. - Abe Hall; Michael Gabilondo; Damian Dechev (Central Eur. J. Comput. Sci., 2012)

Evaluation of Two Acceleration Techniques in a Multithreaded 2D Poisson Equation Solver. - Andrés Vidal; Damian Dechev; Alain Kassab (ICCS, 2012)

Effective use of non-blocking data structures in a deduplication application. - Steven D. Feldman; Akshatha Bhat; Pierre LaBorde; Qing Yi; Damian Dechev (SPLASH (Companion Volume), 2013)

Fast and Scalable Queue-Based Resource Allocation Lock on Shared-Memory Multiprocessors. - Deli Zhang; Brendan Lynch; Damian Dechev (OPODIS, 2013)

Semi-automatic extraction of software skeletons for benchmarking large-scale parallel applications. - Matthew J. Sottile; Amruth Rudraiah Dakshinamurthy; Gilbert Hendry; Damian Dechev (SIGSIM-PADS, 2013)

Concurrent multi-level arrays: Wait-free extensible hash maps. - Steven D. Feldman; Pierre LaBorde; Damian Dechev (ICSAMOS, 2013)

Using SST/Macro for Effective Analysis of MPI-Based Applications: Evaluating Large-Scale Genomic Sequence Search. - Damian Dechev; Tae-Hyuk Ahn (IEEE Access, 2013)

LC/DC: Lockless Containers and Data Concurrency a Novel Nonblocking Container Library for Multicore Applications. - Damian Dechev; Pierre LaBorde; Steven D. Feldman (IEEE Access, 2013)

Preliminary results for neuroevolutionary optimization phase order generation for static compilation. - Gene I. Sher; Kyle Martin; Damian Dechev (ODES@CGO, 2014)

Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations. - Deli Zhang; Gilbert Hendry; Damian Dechev (ICSME, 2014)

Extending LDMS to Enable Performance Monitoring in Multi-core Applications. - Steven D. Feldman; Deli Zhang; Damian Dechev; James Brandt (CLUSTER, 2015)

Application Modeling for Scalable Simulation of Massively Parallel Systems. - Eric Anger; Damian Dechev; Gilbert Hendry; Jeremiah J. Wilke; Sudhakar Yalamanchili (HPCC/CSS/ICESS, 2015)

A scalable multi-producer multi-consumer wait-free ring buffer. - Andrew Barrington; Steven D. Feldman; Damian Dechev (SAC, 2015)

Tervel: A unification of descriptor-based techniques for non-blocking programming. - Steven D. Feldman; Pierre LaBorde; Damian Dechev (SAMOS, 2015)

A Wait-Free Multi-Word Compare-and-Swap Operation. - Steven D. Feldman; Pierre LaBorde; Damian Dechev (Int. J. Parallel Program., 2015)

Queue-Based and Adaptive Lock Algorithms for Scalable Resource Allocation on Shared-Memory Multiprocessors. - Deli Zhang; Brendan Lynch; Damian Dechev (Int. J. Parallel Program., 2015)

Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons. - Matthew J. Sottile; Jason Dagit; Deli Zhang; Gilbert Hendry; Damian Dechev (ACM Trans. Model. Comput. Simul., 2015)

An Efficient Lock-Free Logarithmic Search Data Structure Based on Multi-dimensional List. - Deli Zhang; Damian Dechev (ICDCS, 2016)

A Methodology for Performance Analysis of Non-blocking Algorithms Using Hardware and Software Metrics. - Ramin Izadpanah; Steven D. Feldman; Damian Dechev (ISORC, 2016)

Lock-free Transactions without Rollbacks for Linked Data Structures. - Deli Zhang; Damian Dechev (SPAA, 2016)

Validating the Simulation of Large-Scale Parallel Applications Using Statistical Characteristics. - Deli Zhang; Jeremiah J. Wilke; Gilbert Hendry; Damian Dechev (ACM Trans. Model. Perform. Evaluation Comput. Syst., 2016)

An Efficient Wait-Free Vector. - Steven D. Feldman; Carlos Valera-Leon; Damian Dechev (IEEE Trans. Parallel Distributed Syst., 2016)

A Lock-Free Priority Queue Design Based on Multi-Dimensional Linked Lists. - Deli Zhang; Damian Dechev (IEEE Trans. Parallel Distributed Syst., 2016)

Lock-Free Transactional Adjacency List. - Zachary Painter; Christina L. Peterson; Damian Dechev (LCPC, 2017)

A Wait-Free Hash Map. - Pierre LaBorde; Steven D. Feldman; Damian Dechev (Int. J. Parallel Program., 2017)

A Transactional Correctness Tool for Abstract Data Types. - Christina L. Peterson; Damian Dechev (ACM Trans. Archit. Code Optim., 2017)

Integrating Low-latency Analysis into HPC System Monitoring. - Ramin Izadpanah; Nichamon Naksinehaboon; Jim M. Brandt; Ann C. Gentile; Damian Dechev (ICPP, 2018)

An Efficient Latch-free Database Index Based on Multi-dimensional Lists. - Kenneth Lamar; Ramin Izadpanah; Jim M. Brandt; Damian Dechev (IPCCC, 2018)

Lock-Free Transactional Transformation for Linked Data Structures. - Deli Zhang; Pierre LaBorde; Lance Lebanoff; Damian Dechev (ACM Trans. Parallel Comput., 2018)

Check-Wait-Pounce: Increasing Transactional Data Structure Throughput by Delaying Transactions. - Lance Lebanoff; Christina L. Peterson; Damian Dechev (DAIS, 2019)

Read-Uncommitted Transactions for Smart Contract Performance. - Victor Cook; Zachary Painter; Christina L. Peterson; Damian Dechev (ICDCS, 2019)

CCSpec: a correctness condition specification tool. - Christina L. Peterson; Pierre LaBorde; Damian Dechev (ICPC, 2019)

Automating Non-Blocking Synchronization In Concurrent Data Abstractions. - Jiange Zhang; Qing Yi; Damian Dechev (ASE, 2019)

Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures. - Christina L. Peterson; Victor Cook; Damian Dechev (MASCOTS, 2019)

Wait-free Dynamic Transactions for Linked Data Structures. - Pierre LaBorde; Lance Lebanoff; Christina L. Peterson; Deli Zhang; Damian Dechev (PMAM@PPoPP, 2019)

Formal Verification through Combinatorial Topology: the CAS-Extended Model. - Christina L. Peterson; Damian Dechev (PMAM@PPoPP, 2019)

Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs. - Kishore Debnath; Christina L. Peterson; Damian Dechev (CoRR, 2019)

Quantifiability: Concurrent Correctness from First Principles. - Victor Cook; Christina L. Peterson; Zachary Painter; Damian Dechev (CoRR, 2019)

Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks. - Peter Pirkelbauer; Amalee Wilson; Christina L. Peterson; Damian Dechev (ACM Trans. Archit. Code Optim., 2019)

Production Application Performance Data Streaming for System Monitoring. - Ramin Izadpanah; Benjamin A. Allan; Damian Dechev; Jim M. Brandt (ACM Trans. Model. Perform. Evaluation Comput. Syst., 2019)

Towards workload-adaptive scheduling for HPC clusters. - Alexander V. Goponenko; Ramin Izadpanah; Jim M. Brandt; Damian Dechev (CLUSTER, 2020)

Parallel Hash-Mark-Set on the Ethereum Blockchain. - Zachary Painter; Pradeep Kumar Gayam; Victor Cook; Damian Dechev (IEEE ICBC, 2020)

Lock-free transactional vector. - Kenneth Lamar; Christina L. Peterson; Damian Dechev (PMAM@PPoPP, 2020)

Entropy Measurement of Concurrent Disorder. - Victor Cook; Christina L. Peterson; Zachary Painter; Damian Dechev (QEST, 2020)

Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases. - Christina L. Peterson; Amalee Wilson; Peter Pirkelbauer; Damian Dechev (SBAC-PAD, 2020)

Extending FreeCompilerCamp.org as an Online Self-Learning Platform for Compiler Development. - Justin Gosselin; Anjia Wang; Peter Pirkelbauer; Chunhua Liao; Yonghong Yan 001; Damian Dechev (EduHPC@SC, 2020)

Backfilling HPC Jobs with a Multimodal-Aware Predictor. - Kenneth Lamar; Alexander V. Goponenko; Christina L. Peterson; Benjamin A. Allan; Jim M. Brandt; Damian Dechev (CLUSTER, 2021)

Descriptor based consensus for blockchain transactions. - Zachary Painter; Victor Cook; Christina L. Peterson; Damian Dechev (DEBS, 2021)

PMap: A Non-volatile Lock-free Hash Map with Open Addressing. - Kenneth Lamar; Christina L. Peterson; Damian Dechev; Roger Pearce; Keita Iwabuchi; Peter Pirkelbauer (NVMSA, 2021)

Design and Implementation of Highly Scalable Quantifiable Data Structures. - Victor Cook; Christina L. Peterson; Zachary Painter; Damian Dechev (PaCT, 2021)

Quantifiability: Correctness of Concurrent Programs in Vector Space. - Victor Cook; Christina L. Peterson; Zachary Painter; Damian Dechev (PDP, 2021)

Concurrent Correctness in Vector Space. - Christina L. Peterson; Victor Cook; Damian Dechev (VMCAI, 2021)

PETRA: Persistent Transactional Non-blocking Linked Data Structures. - Ramin Izadpanah; Christina L. Peterson; Yan Solihin; Damian Dechev (ACM Trans. Archit. Code Optim., 2021)

Metrics for Packing Efficiency and Fairness of HPC Cluster Batch Job Scheduling. - Alexander V. Goponenko; Kenneth Lamar; Christina L. Peterson; Benjamin A. Allan; Jim M. Brandt; Damian Dechev (SBAC-PAD, 2022)

Dynamic Transactional Transformation. - Pierre LaBorde; Lance Lebanoff; Christina L. Peterson; Deli Zhang; Damian Dechev (Concurr. Comput. Pract. Exp., 2022)

The CAS-extended model. - Christina L. Peterson; Damian Dechev (Concurr. Comput. Pract. Exp., 2022)

Evaluating HPC Job Run Time Predictions Using Application Input Parameters. - Kenneth Lamar; Alexander V. Goponenko; Omar Aaziz; Benjamin A. Allan; James M. Brandt; Damian Dechev (DEBS, 2023)

Quantifiability: a concurrent correctness condition modeled in vector space. - Victor Cook; Christina L. Peterson; Zachary Painter; Damian Dechev (Computing, 2023)

Job Scheduling for HPC Clusters: Constraint Programming vs. Backfilling Approaches. - Alexander V. Goponenko; Kenneth Lamar; Benjamin A. Allan; James M. Brandt; Damian Dechev (DEBS, 2024)

Lock-Free Concurrent Smart Contracts. - Zachary Painter; Damian Dechev (ICBC, 2024)

Workload-Adaptive Scheduling for Efficient Use of Parallel File Systems in High-Performance Computing Clusters. - Alexander V. Goponenko; Benjamin A. Allan; Jim M. Brandt; Damian Dechev (SC Workshops, 2024)

Compiler-driven approach for automating nonblocking synchronization in concurrent data abstractions. - Jiange Zhang; Qing Yi; Christina L. Peterson; Damian Dechev (Concurr. Comput. Pract. Exp., 2024)

ROSE LCOM Tools. - Kenneth Lamar; Peter Pirkelbauer; Zachary Painter; Damian Dechev (SIGSOFT FSE Companion, 2025)