Damian Dechev

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