Dr. Damian Dechev

Biography

Dr. Damian Dechev is an Associate Professor at the CS Department at the University of Central Florida and the founder of AREA 67. Damian completed his Ph.D. in 2009 from Texas A&M University under the supervision of Dr. Bjarne Stroustrup. Prior to joining UCF, Dr. Dechev worked for Sandia National Laboratories and the Jet Propulsion Laboratory. Dr. Dechev specializes in the design and analysis of multiprocessor data structures and algorithms. Dr. Dechev’s research in multiprocessor algorithms design has been supported by grants from the National Science Foundation, Sandia National Laboratories, and the Department of Energy.

Projects

TLDS: Transactional Lock-free Data Structures

TLDS provides a framework for developing transactional containers from lock-free ones. It includes five examples of transactional data structures, lock-free and obstruction-free versions of a linked list, and a skip list, and a lock-free hash map. We are currently working on supporting transactional data structures for non-linked containers and also transactions that are executed on multiple containers.

CCSpec

CCSpec is a tool that allows the user to check that their concurrent data structure meets a specified correctness condition. A correctness condition for a concurrent data structure defines the expected behavior of method calls. CCSpec can check any correctness condition in which a concurrent data structure is expected to exhibit equivalent behavior to the sequential counterpart.

Tervel

Tervel is a framework and library that unifies methodologies and techniques to enable the efficient implementation of wait-free algorithms. It includes a unified memory reclamation structure, progress assurance scheme, and a construct that limits recursive helping. It advocates a call-back centric design pattern to reduce code duplication, observable states, and improve code readability.

Publications

2018

Publications in Refereed Journals

Deli Zhang, Pierre LaBorde, Lance Lebanoff, Damian DechevLock-free Transactional Transformation, ACM Transactions on Parallel Computing (ACM TOPC), Vol. 5, No. 1, Article 6, June 2018.
Publisher’s Page

Publications in Conference Proceedings

Ramin Izadpanah, Nichamon Naksinehaboon, Jim Brandt, Ann Gentile, Damian DechevIntegrating Low-latency Analysis into HPC System Monitoring, In Proceedings of the 47th International Conference on Parallel Processing (ICPP 2018), Eugene, OR, August 2018.
Publisher’s Page

2017

Publications in Refereed Journals

Christina Peterson, Damian DechevTransactional Correctness Tool for Abstract Data Types, ACM Transactions on Architecture and Code Optimization, Vol. 14, No. 4, Article 37, November 2017.
Publisher’s Page

Pierre LaBorde, Steven Feldman, Damian DechevA Wait-Free Hash Map, International Journal of Parallel Programming (IJPP), Springer, 45(3): 421-448, 2017.
Publisher’s Page

Workshop Participation

Zachary Painter, Christina Peterson, Damian DechevLock-Free Transactional Adjacency List, In Proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing (LCPC), College Station, TX, October 2017.

2016

Publications in Refereed Journals

Deli Zhang, Jeremiah Wilke, Gilbert Hendry, Damian DechevValidating the Simulation of Large-scale Parallel Applications Using Statistical Characteristics, ACM Transactions on Modeling and Performance Evaluation of Computing Systems (ACM TOMPECS), 1(1): 3:13:2, June 2016.
Publisher’s Page

Steven Feldman, Carlos Valeraleon, Damian DechevAn Efficient Wait-Free Vector, IEEE Transactional on Parallel and Distributed Systems (IEEE TPDS), 27(3): 654-667, May 2016.
Publisher’s Page

Deli Zhang, Damian DechevA Lock-free Priority Queue Design Based on Multi-dimensional Linked Lists, IEEE Transactional on Parallel and Distributed Systems (IEEE TPDS), 27(3): 613-626, April 2016.
Publisher’s Page

Publications in Conference Proceedings

Deli Zhang, Damian DechevLock-free Transactions Without Rollbacks for Linked Data Structures, In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2016), Pacific Grove, CA, July 2016, Acceptance Rate 24%, Outstanding Paper Award.
Publisher’s Page

Deli Zhang, Damian DechevAn Efficient Lock-free Logarithmic Search Data Structure Based on Multi-dimensional List, In Proceedings of the 36th IEEE International Conference on Distributed Computing Systems (ICDCS 2016), Nara, Japan, June 2016, Acceptance Rate 68/386=17.6%.
Publisher’s Page

Ramin Izadpanah, Steven Feldman, Damian DechevA Methodology For Performance Analysis of Non-Blocking Algorithms Using Hardware and Software Metrics, In Proceedings of the 19th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (IEEE ISORC 2016), York, UK, May 2016.
Publisher’s Page

2015

Publications in Refereed Journals

Steven Feldman, Damian DechevA Wait-Free Multi-Producer Multi-Consumer Ring Buffer, ACM SIGAPP Applied Computing Review, Volume 15, Issue 3, October 2015.
Publisher’s Page

Matthew Sottile, Jason Dagit, Deli Zhang, Gilbert Hendry, Damian DechevStatic Analysis Techniques for Semi-Automatic Synthesis of Message Passing Software Skeletons, ACM Transactions on Modeling and Computer Simulation (ACM TOMACS), 26(1): 4:1-4:24, September 2015.
Publisher’s Page

Deli Zhang, Brendan Lynch, Damian DechevQueue-Based and Adaptive Lock Algorithms for Scalable Resource Allocation on Shared-Memory Multiprocessors, International Journal of Parallel Programming (IJPP), Springer, 43(5): 721-751, August 2015.
Publisher’s Page

Steven Feldman, Pierre LaBorde, Damian DechevA Wait-Free Multi-Word Compare-and-Swap Operation, International Journal of Parallel Programming (IJPP), Springer, 43(4): 572596, February 2015.
Publisher’s Page

Publications in Conference Proceedings

Eric Anger, Damian Dechev, Gilbert Hendry, Jeremiah Wilke, Sudhakar Yalamanchili, Application Modeling for Scalable Simulation of Massively Parallel Systems, In Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications (IEEE HPCC 2015), New York, NY, August 2015.
Publisher’s Page

Steven Feldman, Pierre LaBorde, Damian DechevTervel: A Unification of Descriptor-based Techniques for Non-blocking Programming, In Proceedings of the 15th IEEE International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XV), Samos, Greece, July 2015.
Publisher’s Page

Andrew Barrington, Steven Feldman, Damian DechevA Scalable Multi-Producer Multi-Consumer Wait-Free Ring Buffer, In Proceedings of the 30th ACM/SIGAPP Symposium on Applied Computing (ACM SAC 2015), Salamanca, Spain, April 2015.
Publisher’s Page

Workshop Participation

Steven Feldman, Deli Zhang, Damian Dechev, James Brandt, Extending LDMS to Enable Performance Monitoring in Multi-Core Applications, In Proceedings of the Monitoring and Analysis for High Performance Computing Systems Plus Applications (HPCMASPA) Workshop at IEEE Cluster 2015, Chicago, IL, September 2015.
Publisher’s Page

2014

Publications in Conference Proceedings

Deli Zhang, Gilbert Hendry, Damian DechevTools for Enabling Automatic Validation of Large-scale Parallel Application Simulations, In Proceedings of 30th International Conference on Software Maintenance and Evolution (IEEE ICSME 2014), Victoria, British Columbia, Canada, September 2014.
Publisher’s Page

Workshop Participation

Christina Peterson, Deli Zhang, Damian DechevResource-Based Transaction Management for Best-Effort Hardware Transactional Memory, In Proceedings of the The First Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH 2014, Portland, OR, October 2014.

Gene Sher, Martin Kyle, Damian DechevPreliminary Results for Neuroevolutionary Optimization Phase Order Generation for Static Compilation, In Proceedings of the 11th Workshop on Optimizations for DSP and Embedded Systems (ODES 2014), Orlando, Florida, February 2014.
Publisher’s Page

2013

Publications in Refereed Journals

Damian Dechev, Pierre LaBorde, Steven Feldman, LC/DC: Lockless Containers and Data Concurrency: A Novel Nonblocking Container Library for Multicore Applications, IEEE Access, 1: 428-435, September 2013.
Publisher’s Page

Damian Dechev, Tae-Hyuk Ahn, Using SST/macro for Effective Analysis of MPI-based Applications: Evaluating Large-Scale Genomic Sequence Search, IEEE Access, 1: 625-645, July 2013.
Publisher’s Page

Publications in Conference Proceedings

Deli Zhang, Brendan Lynch, Damian DechevFast and Scalable Queue-Based Resource Allocation Lock on Shared-Memory Multiprocessors, In Proceedings of 17th International Conference on Principles of Distributed Systems (OPODIS 2013), Nice, France, December 2013.
Publisher’s Page

Steven Feldman, Akshatha Bhat, Pierre LaBorde, Qing Yi, Damian DechevEffective Use of Non-blocking Data Structures in a Deduplication Application, In Proceedings of the 4th ACM Conference on Systems, Programming, Languages and Applications: Software for Humanity (ACM SPLASH/Wavefront 2013), Indianapolis, IN, October 2013.
Publisher’s Page

Steven Feldman, Pierre LaBorde, Damian DechevA Practical Wait-Free Multi-Word Compare-and-Swap Operation, In Proceedings of the Many-Core Architecture Research Community Symposium, ACM Conference on Systems, Programming, Languages and Applications: Software for Humanity (ACM SPLASH/MARC 2013), Indianapolis, IN, October 2013.
Publisher’s Page

Brendan Lynch, Peter Pirkelbauer, Damian DechevBuilding Fast Concurrent Data Structures through Data Structure Families, In Proceedings of the Many-Core Architecture Research Community Symposium, ACM Conference on Systems, Programming, Languages and Applications: Software for Humanity (ACM SPLASH/MARC 2013), Indianapolis, IN, October 2013.
Publisher’s Page

Steven Feldman, Pierre LaBorde, Damian DechevConcurrent Multi-level Arrays: Wait-free Extensible Hash Maps, In Proceedings of the 13th IEEE International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII), Samos, Greece, July 2013, Acceptance Rate 20%, Best Paper Award.
Publisher’s Page

Matthew Sottile, Amruth Dakshinamurhty, Gilbert Hendry, Damian DechevSemi-Automatic Extraction of Software Skeletons for Benchmarking Large-Scale Parallel Applications, In Proceedings of the 2013 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (ACM PADS), Montreal, Canada, May 2013, Acceptance Rate 29/75=38.7%.
Publisher’s Page

2012

Workshop Participation

Damian Dechev, Narsingh Deo, Multiprocessor Programming in the Undergraduate Program NSF/TCPP Curriculum: 2nd Year of Early Adoption at the University of Central Florida, In Proceedings of the Second NSF/TCPP Workshop on Parallel and Distributed Computing Education (EduPar-12), 26th IEEE International Parallel & Distributed Processing Symposium (IPDPS), Shanghai, China, May 2012.

2011

Publications in Conference Proceedings

Damian DechevThe ABA Problem in Multicore Data Structures with Collaborating Operations, In Proceedings of the 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2011), Orlando, FL, October 2011, Acceptance Rate 30%.
Publisher’s Page

Tae-Hyuk Ahn, Damian Dechev, Heshan Lin, Helgi Adalsteinsson, Curtis Janssen, Evaluating Performance Optimizations of Large-Scale Genomic Sequence Search Applications Using SST/macro, In Proceedings of the 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2011, Noordwijkerhout, The Netherlands, July 2011, Acceptance Rate 25/141=17.7%.
Publisher’s Page

Workshop Participation

Amruth Dakshinamurthy, Curtis Janssen, Damian DechevA Compiler-based Framework for Automatic Extraction of Software Models for Exascale Hardware/Software Co-Design, In Proceedings of the Fifteenth Annual High Performance Embedded Computing Workshop (HPEC 2011), MIT Lincoln Laboratory, Lexington, MA, September 2011.
Publisher’s Page

Steven Feldman, Pierre LaBorde, Damian DechevA Lock-Free Concurrent Hash Table Design for Effective Information Storage and Retrieval on Large Data Sets, In Proceedings of the Fifteenth Annual High Performance Embedded Computing Workshop (HPEC 2011), MIT Lincoln Laboratory, Lexington, MA, September 2011.
Publisher’s Page

Narsingh Deo, Damian Dechev, Mahadevan Vasudevan, Multiprocessor Programming in the Undergraduate Program, NSF/TCPP Curriculum: Early Adoption at the University of Central Florida, In Proceedings of the First NSF/TCPP Workshop on Parallel and Distributed Computing Education (EduPar-11), 25th IEEE International Parallel & Distributed Processing Symposium (IPDPS), Anchorage, Alaska, May 2011.
Publisher’s Page

2010

Publications in Conference Proceedings

Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup, Support for the Evolution of C++ Generic Functions, In Proceedings of 3rd International Conference on Software Language Engineering (SLE 2010), Eindhoven, The Netherlands, October 2010, Acceptance Rate 17/62=27.4%.
Publisher’s Page

Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup, Understanding and Effectively Preventing the ABA Problem in Descriptor-based Lock-free Designs, In Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (IEEE ISORC 2010), Carmona, Spain, May 2010, Acceptance Rate 30%.
Publisher’s Page

Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup, Source Code Rejuvenation is not Refactoring, In Proceedings of 36th International Conference on Current Trends in Theory Workshop Participation and Practice of Computer Science (SOFSEM), Lecture Notes in Computer Science, Springer, January 2010, Acceptance Rate 36%.
Publisher’s Page

Workshop Participation

Curtis Janssen, Helgi Adalsteinsson, Scott Cranford, Damian Dechev, David Evensky, Joe Kenny, Nicole Lemaster, Jackson Mayo, Ali Pinar, Andrew Taube, Exascale Co-design with Sandia’s Structural Simulation Toolkit (SST) Coarse-grained Components, In Proceedings of 1st International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems (PMBS 2010), Supercomputing (SC 2010), New Orleans, LA, November 2010.
Publisher’s Page

2009

Publications in Conference Proceedings

Damian Dechev, Bjarne Stroustrup, Scalable Nonblocking Concurrent Objects for Mission Critical Code, In Proceedings of 24th International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009), ACM SIGPLAN, Orlando, Florida, October 2009, Acceptance Rate 25/144=17.4%.
Publisher’s Page

Damian Dechev, Bjarne Stroustrup, Reliable and Efficient Concurrent Synchronization for Embedded Real-Time Software, In Proceedings of 3rd IEEE International Conference on Space Mission Challenges for Information Technology (IEEE SMC-IT 2009), Pasadena, California, July 2009.
Publisher’s Page

Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup, Semantically Enhanced Containers for Concurrent Real-Time Systems, In Proceedings of 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (IEEE ECBS 2009), San Francisco, California, April 2009.
Publisher’s Page

Damian Dechev, Bjarne Stroustrup, Model-Based Product-Oriented Certification, In Proceedings of 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (IEEE ECBS 2009), San Francisco, California, April 2009.
Publisher’s Page

Publications in Refereed Chapters in Edited Books

Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup, Programming and Validation Techniques for Reliable Goal-driven Autonomic Software, Book Chapter in Autonomic Communication, Vasilakos, A.; Parashar, M.; Karnouskos, S.; Pedrycz, W. (Eds.), ISBN: 978-0-387-09752-7, Springer, August 2009.
Publisher’s Page

2008

Publications in Refereed Journals

Damian Dechev, Rabi Mahapatra, Bjarne Stroustrup, Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems, Journal of Computing Science and Engineering (JCSE), 375-393, December 2008.
Publisher’s Page

Publications in Conference Proceedings

Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup, Verification and Semantic Parallelization of Goal-driven Autonomous Software, In Proceedings of 2nd International Conference on Autonomic Computing and Communication Systems (ACM Autonomics 2008), Turin, Italy, September 2008, Acceptance Rate 30%.
Publisher’s Page

Damian Dechev, Rabi Mahapatra, Bjarne Stroustrup, David Wagner, C++ Fast Dynamic Cast in Autonomous Space Systems, In Proceedings of 11th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (IEEE ISORC 2008), Orlando, Florida, May 2008, Acceptance Rate 35%.
Publisher’s Page

2006

Publications in Conference Proceedings

Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup, Lock-free Dynamically Resizable Arrays, In Proceedings of 10th International Conference on Principles of Distributed Systems (OPODIS 2006), LNCS, Vol. 4305, 142-156, Bordeaux, France, December 2006, Acceptance Rate 30/233=12.9%.
Publisher’s Page