default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDamian 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
Journal Articles
- 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)- 2023
- [j20]Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev:
Quantifiability: a concurrent correctness condition modeled in vector space. Computing 105(5): 955-978 (2023) - 2022
- [j19]Pierre LaBorde, Lance Lebanoff, Christina L. Peterson, Deli Zhang, Damian Dechev:
Dynamic Transactional Transformation. Concurr. Comput. Pract. Exp. 34(2) (2022) - [j18]Christina L. Peterson, Damian Dechev:
The CAS-extended model. Concurr. Comput. Pract. Exp. 34(2) (2022) - 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) - 2019
- [j16]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): 66:1-66:25 (2019) - [j15]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): 8:1-8:25 (2019) - 2018
- [j14]Deli Zhang, Pierre LaBorde, Lance Lebanoff, Damian Dechev:
Lock-Free Transactional Transformation for Linked Data Structures. ACM Trans. Parallel Comput. 5(1): 6:1-6:37 (2018) - 2017
- [j13]Pierre LaBorde, Steven D. Feldman, Damian Dechev:
A Wait-Free Hash Map. Int. J. Parallel Program. 45(3): 421-448 (2017) - [j12]Christina L. Peterson, Damian Dechev:
A Transactional Correctness Tool for Abstract Data Types. ACM Trans. Archit. Code Optim. 14(4): 37:1-37:24 (2017) - 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) - 2015
- [j8]Steven D. Feldman, Pierre LaBorde, Damian Dechev:
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, 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): 4:1-4:24 (2015) - 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, Steven D. Feldman:
LC/DC: Lockless Containers and Data Concurrency a Novel Nonblocking Container Library for Multicore Applications. IEEE Access 1: 625-645 (2013) - 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) - 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)
Conference and Workshop Papers
- 2024
- [c51]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: 135-146 - 2023
- [c50]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: 127-138 - 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
- [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, Christina L. Peterson, Zachary Painter, Damian Dechev:
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, Victor Cook, Damian Dechev:
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, Christina L. Peterson, Zachary Painter, Damian Dechev:
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 - 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, Damian Dechev:
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, Lance Lebanoff, Christina L. Peterson, Deli Zhang, Damian Dechev:
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 - 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
- [c27]Zachary Painter, Christina L. Peterson, Damian Dechev:
Lock-Free Transactional Adjacency List. LCPC 2017: 203-219 - 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
- [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, Damian Dechev:
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
- [c17]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: 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, Amruth Rudraiah Dakshinamurthy, Gilbert Hendry, Damian Dechev:
Semi-automatic extraction of software skeletons for benchmarking large-scale parallel applications. SIGSIM-PADS 2013: 1-10 - [c14]Steven D. Feldman, Pierre LaBorde, Damian Dechev:
Concurrent multi-level arrays: Wait-free extensible hash maps. ICSAMOS 2013: 155-163 - 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, Alain Kassab:
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, Peter Pirkelbauer, Bjarne Stroustrup:
Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs. ISORC 2010: 185-192 - [c8]Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup:
Support for the Evolution of C++ Generic Functions. SLE 2010: 123-142 - [c7]Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup:
Source Code Rejuvenation Is Not Refactoring. SOFSEM 2010: 639-650 - 2009
- [c6]Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup:
Semantically Enhanced Containers for Concurrent Real-Time Systems. ECBS 2009: 48-57 - [c5]Damian Dechev, Bjarne Stroustrup:
Model-Based Product-Oriented Certification. ECBS 2009: 295-304 - [c4]Damian Dechev, Bjarne Stroustrup:
Scalable nonblocking concurrent objects for mission critical code. OOPSLA Companion 2009: 597-610 - 2008
- [c3]Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup:
Verification and semantic parallelization of goal-driven autonomous software. Autonomics 2008: 33 - [c2]Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustrup, David A. Wagner:
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
Parts in Books or Collections
- 2010
- [p1]Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup:
Programming and Validation Techniques for Reliable Goal-driven Autonomic Software. Autonomic Communication 2010: 231-247
Informal and Other Publications
- 2019
- [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)
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-08-03 21:16 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:
