default search action
Damian Dechev
Person information
- affiliation: University of Central Florida
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j21]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) - [c52]Alexander V. Goponenko
Job Scheduling for HPC Clusters: Constraint Programming vs. Backfilling Approaches. DEBS 2024: 135-146 - [c51]Zachary Painter, Damian Dechev:
Lock-Free Concurrent Smart Contracts. ICBC 2024: 549-557 - 2023
- [j20]Victor Cook, Christina L. Peterson
Quantifiability: a concurrent correctness condition modeled in vector space. Computing 105(5): 955-978 (2023) - [c50]Kenneth Lamar
Evaluating HPC Job Run Time Predictions Using Application Input Parameters. DEBS 2023: 127-138 - 2022
- [j19]Pierre LaBorde
Dynamic Transactional Transformation. Concurr. Comput. Pract. Exp. 34(2) (2022) - [j18]Christina L. Peterson
The CAS-extended model. Concurr. Comput. Pract. Exp. 34(2) (2022) - [c49]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: 241-252 - 2021
- [j17]Ramin Izadpanah, Christina L. Peterson, Yan Solihin, Damian Dechev:
PETRA: Persistent Transactional Non-blocking Linked Data Structures. ACM Trans. Archit. Code Optim. 18(2): 23:1-23:26 (2021) - [c48]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: 618-622 - [c47]Zachary Painter, Victor Cook, Christina L. Peterson, Damian Dechev:
Descriptor based consensus for blockchain transactions. DEBS 2021: 114-125 - [c46]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: 1-7 - [c45]Victor Cook
Design and Implementation of Highly Scalable Quantifiable Data Structures. PaCT 2021: 371-385 - [c44]Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev:
Quantifiability: Correctness of Concurrent Programs in Vector Space. PDP 2021: 94-98 - [c43]Christina L. Peterson
Concurrent Correctness in Vector Space. VMCAI 2021: 151-173 - 2020
- [c42]Alexander V. Goponenko, Ramin Izadpanah, Jim M. Brandt, Damian Dechev:
Towards workload-adaptive scheduling for HPC clusters. CLUSTER 2020: 449-453 - [c41]Zachary Painter, Pradeep Kumar Gayam, Victor Cook, Damian Dechev:
Parallel Hash-Mark-Set on the Ethereum Blockchain. IEEE ICBC 2020: 1-5 - [c40]Kenneth Lamar, Christina L. Peterson, Damian Dechev:
Lock-free transactional vector. PMAM@PPoPP 2020: 6:1-6:10 - [c39]Victor Cook
Entropy Measurement of Concurrent Disorder. QEST 2020: 239-257 - [c38]Christina L. Peterson, Amalee Wilson, Peter Pirkelbauer, Damian Dechev:
Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases. SBAC-PAD 2020: 107-115 - [c37]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: 43-52
2010 – 2019
- 2019
- [j16]Peter Pirkelbauer
Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks. ACM Trans. Archit. Code Optim. 15(4): 66:1-66:25 (2019) - [j15]Ramin Izadpanah
Production Application Performance Data Streaming for System Monitoring. ACM Trans. Model. Perform. Evaluation Comput. Syst. 4(2): 8:1-8:25 (2019) - [c36]Lance Lebanoff, Christina L. Peterson, Damian Dechev:
Check-Wait-Pounce: Increasing Transactional Data Structure Throughput by Delaying Transactions. DAIS 2019: 19-35 - [c35]Victor Cook, Zachary Painter, Christina L. Peterson, Damian Dechev:
Read-Uncommitted Transactions for Smart Contract Performance. ICDCS 2019: 1960-1970 - [c34]Christina L. Peterson, Pierre LaBorde
CCSpec: a correctness condition specification tool. ICPC 2019: 220-230 - [c33]Jiange Zhang, Qing Yi, Damian Dechev:
Automating Non-Blocking Synchronization In Concurrent Data Abstractions. ASE 2019: 735-747 - [c32]Christina L. Peterson, Victor Cook, Damian Dechev:
Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures. MASCOTS 2019: 83-93 - [c31]Pierre LaBorde
Wait-free Dynamic Transactions for Linked Data Structures. PMAM@PPoPP 2019: 41-50 - [c30]Christina L. Peterson, Damian Dechev:
Formal Verification through Combinatorial Topology: the CAS-Extended Model. PMAM@PPoPP 2019: 61-70 - [i4]Zachary Painter, Christina L. Peterson, Damian Dechev:
Lock-Free Transactional Adjacency List. CoRR abs/1903.10036 (2019) - [i3]Kishore Debnath, Christina L. Peterson, Damian Dechev:
Analysis of Commutativity with State-Chart Graph Representation of Concurrent Programs. CoRR abs/1904.04291 (2019) - [i2]Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev:
Quantifiability: Concurrent Correctness from First Principles. CoRR abs/1905.06421 (2019) - [i1]Victor Cook, Zachary Painter, Christina L. Peterson, Damian Dechev:
Read-Uncommitted Transactions for Smart Contract Performance. CoRR abs/1905.12351 (2019) - 2018
- [j14]Deli Zhang, Pierre LaBorde
Lock-Free Transactional Transformation for Linked Data Structures. ACM Trans. Parallel Comput. 5(1): 6:1-6:37 (2018) - [c29]Ramin Izadpanah, Nichamon Naksinehaboon, Jim M. Brandt, Ann C. Gentile, Damian Dechev:
Integrating Low-latency Analysis into HPC System Monitoring. ICPP 2018: 5:1-5:10 - [c28]Kenneth Lamar, Ramin Izadpanah, Jim M. Brandt, Damian Dechev:
An Efficient Latch-free Database Index Based on Multi-dimensional Lists. IPCCC 2018: 1-2 - 2017
- [j13]Pierre LaBorde
A Wait-Free Hash Map. Int. J. Parallel Program. 45(3): 421-448 (2017) - [j12]Christina L. Peterson
A Transactional Correctness Tool for Abstract Data Types. ACM Trans. Archit. Code Optim. 14(4): 37:1-37:24 (2017) - [c27]Zachary Painter, Christina L. Peterson, Damian Dechev:
Lock-Free Transactional Adjacency List. LCPC 2017: 203-219 - 2016
- [j11]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): 3:1-3:22 (2016) - [j10]Deli Zhang, Damian Dechev:
A Lock-Free Priority Queue Design Based on Multi-Dimensional Linked Lists. IEEE Trans. Parallel Distributed Syst. 27(3): 613-626 (2016) - [j9]Steven D. Feldman, Carlos Valera-Leon, Damian Dechev:
An Efficient Wait-Free Vector. IEEE Trans. Parallel Distributed Syst. 27(3): 654-667 (2016) - [c26]Deli Zhang, Damian Dechev:
An Efficient Lock-Free Logarithmic Search Data Structure Based on Multi-dimensional List. ICDCS 2016: 281-292 - [c25]Ramin Izadpanah, Steven D. Feldman, Damian Dechev:
A Methodology for Performance Analysis of Non-blocking Algorithms Using Hardware and Software Metrics. ISORC 2016: 43-52 - [c24]Deli Zhang, Damian Dechev:
Lock-free Transactions without Rollbacks for Linked Data Structures. SPAA 2016: 325-336 - 2015
- [j8]Steven D. Feldman, Pierre LaBorde
A Wait-Free Multi-Word Compare-and-Swap Operation. Int. J. Parallel Program. 43(4): 572-596 (2015) - [j7]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): 721-751 (2015) - [j6]Matthew J. Sottile
Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons. ACM Trans. Model. Comput. Simul. 26(1): 4:1-4:24 (2015) - [c23]Steven D. Feldman, Deli Zhang, Damian Dechev, James Brandt:
Extending LDMS to Enable Performance Monitoring in Multi-core Applications. CLUSTER 2015: 717-720 - [c22]Eric Anger, Damian Dechev, Gilbert Hendry, Jeremiah J. Wilke, Sudhakar Yalamanchili:
Application Modeling for Scalable Simulation of Massively Parallel Systems. HPCC/CSS/ICESS 2015: 238-247 - [c21]Andrew Barrington, Steven D. Feldman, Damian Dechev:
A scalable multi-producer multi-consumer wait-free ring buffer. SAC 2015: 1321-1328 - [c20]Steven D. Feldman, Pierre LaBorde
Tervel: A unification of descriptor-based techniques for non-blocking programming. SAMOS 2015: 131-140 - 2014
- [c19]Gene I. Sher, Kyle Martin, Damian Dechev
Preliminary results for neuroevolutionary optimization phase order generation for static compilation. ODES@CGO 2014: 33-40 - [c18]Deli Zhang, Gilbert Hendry, Damian Dechev:
Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations. ICSME 2014: 601-604 - 2013
- [j5]Damian Dechev, Tae-Hyuk Ahn
Using SST/Macro for Effective Analysis of MPI-Based Applications: Evaluating Large-Scale Genomic Sequence Search. IEEE Access 1: 428-435 (2013) - [j4]Damian Dechev, Pierre LaBorde
LC/DC: Lockless Containers and Data Concurrency a Novel Nonblocking Container Library for Multicore Applications. IEEE Access 1: 625-645 (2013) - [c17]Steven D. Feldman, Akshatha Bhat, Pierre LaBorde
Effective use of non-blocking data structures in a deduplication application. SPLASH (Companion Volume) 2013: 133-142 - [c16]Deli Zhang, Brendan Lynch, Damian Dechev
Fast and Scalable Queue-Based Resource Allocation Lock on Shared-Memory Multiprocessors. OPODIS 2013: 266-280 - [c15]Matthew J. Sottile
Semi-automatic extraction of software skeletons for benchmarking large-scale parallel applications. SIGSIM-PADS 2013: 1-10 - [c14]Steven D. Feldman, Pierre LaBorde
Concurrent multi-level arrays: Wait-free extensible hash maps. ICSAMOS 2013: 155-163 - 2012
- [j3]Steven Braeger, Nicholas Arnold, Damian Dechev:
Scalable n-body event prediction. Central Eur. J. Comput. Sci. 2(1): 1-15 (2012) - [j2]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): 118-127 (2012) - [c13]Rizwan A. Ashraf, Francis Luna, Damian Dechev, Ronald F. DeMara:
Designing digital circuits for FPGAs using parallel genetic algorithms (WIP). SpringSim (TMS-DEVS) 2012: 15 - [c12]Andrés Vidal, Damian Dechev
Evaluation of Two Acceleration Techniques in a Multithreaded 2D Poisson Equation Solver. ICCS 2012: 2016-2019 - 2011
- [c11]Damian Dechev
The ABA problem in multicore data structures with collaborating operations. CollaborateCom 2011: 158-167 - [c10]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: 65-73 - 2010
- [c9]Damian Dechev
Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs. ISORC 2010: 185-192 - [c8]Peter Pirkelbauer, Damian Dechev
Support for the Evolution of C++ Generic Functions. SLE 2010: 123-142 - [c7]Peter Pirkelbauer, Damian Dechev
Source Code Rejuvenation Is Not Refactoring. SOFSEM 2010: 639-650 - [p1]Damian Dechev
Programming and Validation Techniques for Reliable Goal-driven Autonomic Software. Autonomic Communication 2010: 231-247
2000 – 2009
- 2009
- [c6]Damian Dechev
Semantically Enhanced Containers for Concurrent Real-Time Systems. ECBS 2009: 48-57 - [c5]Damian Dechev
Model-Based Product-Oriented Certification. ECBS 2009: 295-304 - [c4]Damian Dechev
Scalable nonblocking concurrent objects for mission critical code. OOPSLA Companion 2009: 597-610 - 2008
- [j1]Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustrup:
Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems. J. Comput. Sci. Eng. 2(4): 375-393 (2008) - [c3]Damian Dechev
Verification and semantic parallelization of goal-driven autonomous software. Autonomics 2008: 33 - [c2]Damian Dechev
C++ Dynamic Cast in Autonomous Space Systems. ISORC 2008: 499-507 - 2006
- [c1]Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup:
Lock-Free Dynamically Resizable Arrays. OPODIS 2006: 142-156
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-17 21:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: