2025
Publications in Refereed Journals
Zachary Painter, Damian Dechev, Blockchain Scalability with Proof of Descriptor, ACM Distributed Ledger Technologies: Research and Practice, 2025
To Appear
2024
Publications in Refereed Journals
Jiange Zhang, Qing Yi, Christina Peterson, Damian Dechev, Compiler-Driven Approach for Automating Non-Blocking Synchronization In Concurrent Data Abstractions, Concurrency and Computation: Practice and Experience (CCPE), June, 2024.
Publisher’s Page
Publications in Conference Proceedings
Alexander Goponenko, Kenneth Lamar, Benjamin Allan, Jim Brandt, Damian Dechev, Job Scheduling for HPC Clusters: Constraint Programming vs. Backfilling Approaches, In Proceedings of the 18th ACM International Conference on Distributed and Event-based Systems (ACM DEBS 2024), Lyon, France, June 25 – June 28, 2024.
Publisher’s Page
Zachary Painter, Damian Dechev, Lock-Free Concurrent Smart Contracts, In Proceedings of the 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2024), Dublin, Ireland, May 27-31, 2024.
Publisher’s Page
Workshop Participation
Alexander Goponenko, Benjamin Allan, Jim Brandt, Damian Dechev, Workload-adaptive Scheduling for Efficient Use of Parallel File Systems in High-performance Computing Clusters, In 15th IEEE International Workshop on Performance Modeling, Benchmarking and Simulation of High-Performance Computer Systems at SC, November 18, 2024.
Publisher’s Page
2023
Publications in Refereed Journals
Victor Cook, Christina Peterson, Zachary Painter, Damian Dechev, Quantifiability: a concurrent correctness condition modeled in vector space, Computing 105: 955–978, 2023.
Publisher’s Page
Publications in Conference Proceedings
Kenneth Lamar, Alexander Goponenko, Omar Aaziz, Benjamin A Allan, James M Brandt, Damian Dechev, Evaluating HPC Job Run Time Predictions Using Application Input Parameters, DEBS ’23: 17th ACM International Conference on Distributed and Event-based Systems, Neuchatel, Switzerland, June 27-30, 2023.
Publisher’s Page
2022
Publications in Refereed Journals
Pierre LaBorde, Lance Lebanoff, Christina Peterson, Deli Zhang, Damian Dechev, Dynamic Transactional Transformation, Concurrency and Computation: Practice and Experience (CCPE), 34(2): e5732, 2022.
Publisher’s Page
Christina Peterson, Damian Dechev, The CAS-Extended Model, Concurrency and Computation: Practice and Experience (CCPE), 34(2): e5656, 2022.
Publisher’s Page
Publications in Conference Proceedings
Alexander Goponenko, Kenneth Lamar, Christina Peterson, Benjamin Allan, Jim Brandt, Damian Dechev, Metrics for Packing Efficiency and Fairness of HPC Cluster Batch Job Scheduling, 2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Bordeaux, France, November 2-5, 2022.
Publisher’s Page
2021
Publications in Refereed Journals
Ramin Izadpanah, Christina Peterson, Yan Solihin, Damian Dechev, PETRA: Persistent Transactional Non-blocking Linked Data Structures, ACM Transactions on Architecture and Code Optimization.
Publisher’s Page
Publications in Conference Proceedings
Kenneth Lamar, Christina Peterson, Damian Dechev, Roger Pearce, Keita Iwabuchi, Peter Pirkelbauer, PMap: A Non-volatile Lock-free Hash Map with Open Addressing, In Proceedings of the 10th Non-Volatile Memory Systems and Applications Symposium (NVMSA 2021), Virtual Conference, August 18-20, 2021.
Publisher’s Page
Victor Cook, Christina Peterson, Zachary Painter, and Damian Dechev, Design and Implementation of Highly Scalable Quantifiable Data Structures, In Proceedings of the 16th International Conference on Parallel Computing Technologies (PaCT 2021), Kaliningrad, Russia, September 13-18, 2021.
Publisher’s Page
Zachary Painter, Victor Cook, Christina Peterson, and Damian Dechev, Descriptor Based Consensus for Blockchain Transactions, In Proceedings of the 15th ACM International Conference On Distributed And Event-Based Systems (DEBS 2021), Online, June 28 – July 2, 2021.
Publisher’s Page
Christina Peterson, Damian Dechev, An Efficient Dynamic Analysis Tool for Checking Durable Linearizability, In Proceedings of the 1st International Conference on Code Quality (ICCQ 2021), Online, March 27, 2021.
Publisher’s Page
Victor Cook, Christina Peterson, Zachary Painter, Damian Dechev, Quantifiability: Correctness of Concurrent Programs in Vector Space, In Proceedings of the 29th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2021), Online, March 10-12, 2021.
Publisher’s Page
Christina Peterson, Victor Cook, Damian Dechev, Concurrent Correctness in Vector Space, In Proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021), Online, Jan. 17-22, 2021.
Publisher’s Page
Workshop Participation
Kenneth Lamar, Alexander Goponenko, Christina Peterson, Benjamin Allan, Jim M. Brandt, Damian Dechev, Backfilling HPC Jobs with a Multimodal-Aware Predictor, In Proceedings of the Workshop on Monitoring and Analysis for HPC Systems Plus Applications (HPCMASPA) Workshop at IEEE Cluster 2021, Online, Sept. 7, 2021.
Publisher’s Page
2020
Publications in Conference Proceedings
Christina Peterson, Amalee Wilson, Peter Pirkelbauer, Damian Dechev, Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases, In Proceedings of the 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2020), Online, Sept. 8-11, 2020.
Publisher’s Page
Victor Cook, Christina Peterson, Zachary Painter, Damian Dechev, Entropy Measurement of Concurrent Disorder, In Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST 2020), Online, August 31-Sept. 3, 2020.
Publisher’s Page
Zachary Painter, Pradeep Kumar Gayam, Victor Cook, Damian Dechev, Parallel Hash-Mark-Set on the Ethereum Blockchain, In the 2nd IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2020), Toronto, Canada, May, 2020.
Publisher’s Page
Workshop Participation
Justin Gosselin, Anjia Wang, Peter Pirkelbauer, Chunhua Liao, Yonghong Yan, Damian Dechev, Extending FreeCompilerCamp.org as an Online Self-Learning Platform for Compiler Development, In Proceedings of the Workshop on Education for High Performance Computing (EduHPC-20), co-located with Supercomputing 2020, Online, Nov. 13, 2020.
Publisher’s Page
Alexander Goponenko, Ramin Izadpanah, Jim Brandt, Damian Dechev, Towards workload-adaptive scheduling for HPC clusters, In Proceedings of the Monitoring and Analysis for High Performance Computing Systems Plus Applications (HPCMASPA) Workshop at IEEE Cluster 2020, Sept. 14, 2020, Online.
Publisher’s Page
Kenneth Lamar, Christina Peterson, Damian Dechev, Lock-free Transactional Vector, In The 11th International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM 2020), co-located with Principles and Practice of Parallel Programming (PPoPP 2020), San Diego, California, USA, February 2020.
Publisher’s Page
2019
Publications in Refereed Journals
Ramin Izadpanah, Benjamin A. Allan, Damian Dechev, Jim Brandt, Production Application Performance Data Streaming for System Monitoring, ACM Transactions on Modeling and Performance Evaluation of Computing System, Volume 4, Issue 2, Article 8, April 2019.
Publisher’s Page
Peter Pirkelbauer, Amalee Wilson, Christina Peterson, Damian Dechev, Blaze Tasks: A Framework for Computing Parallel Reductions over Tasks, ACM Transactions on Architecture and Code Optimization, Vol. 15, No. 4, Article 66, January 2019.
Publisher’s Page
Publications in Conference Proceedings
Jiange Zhang, Qing Yi, Damian Dechev, Automating Non-Blocking Synchronization In Concurrent Data Abstractions, In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, CA, November 11-15, 2019.
Publisher’s Page
Christina Peterson, Victor Cook, Damian Dechev, Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures, In Proceedings of the 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2019), Rennes, France, October 22-25, 2019.
Publisher’s Page
Victor Cook, Zachary Painter, Christina Peterson, Damian Dechev, Read-Uncommitted Transactions for Smart Contract Performance, In Proceedings of the 39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019), Dallas, TX, July 7-10, 2019. Acceptance Rate: 25%.
Publisher’s Page
Lance Lebanoff, Christina Peterson, Damian Dechev, Check-Wait-Pounce: Increasing Transactional Data Structure Throughput by Delaying Transactions, In Proceedings of the 19th International Conference on Distributed Applications and Interoperable Systems (DAIS 2019), Lyngby, Denmark, June 17-21, 2019.
Publisher’s Page
Christina Peterson, Pierre LaBorde, Damian Dechev, CCSpec: A Correctness Condition Specification Tool, In the 27th IEEE/ACM International Conference on Program Comprehension (ICPC ’19), Montreal, QC, Canada, May 2019.
Publisher’s Page
Workshop Participation
Pierre LaBorde, Lance Lebanoff, Christina Peterson, Deli Zhang, Damian Dechev, Wait-free Dynamic Transactions for Linked Data Structures, In The 10th International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM ’19), co-located with Principles and Practice of Parallel Programming (PPoPP ’19), Washington DC, USA, February 2019.
Publisher’s Page
Christina Peterson, Damian Dechev, Formal Verification Through Combinatorial Topology: The CAS-Extended Model, In The 10th International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM ’19), co-located with Principles and Practice of Parallel Programming (PPoPP ’19), Washington DC, USA, February 2019.
Publisher’s Page
2018
Publications in Refereed Journals
Deli Zhang, Pierre LaBorde, Lance Lebanoff, Damian Dechev, Lock-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 Dechev, Integrating 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 Dechev, A Transactional Correctness Tool for Abstract Data Types, ACM Transactions on Architecture and Code Optimization, Vol. 14, No. 4, Article 37, December 2017.
Publisher’s Page
Pierre LaBorde, Steven Feldman, Damian Dechev, A 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 Dechev, Lock-Free Transactional Adjacency List, In Proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing (LCPC), College Station, TX, October 2017.
Publisher’s Page
2016
Publications in Refereed Journals
Deli Zhang, Jeremiah Wilke, Gilbert Hendry, Damian Dechev, Validating 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 Dechev, An 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 Dechev, A 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 Dechev, Lock-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 Dechev, An 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 Dechev, A 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 Dechev, A 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 Dechev, Static 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 Dechev, Queue-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 Dechev, A 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 Dechev, Tervel: 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 Dechev, A 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 Dechev, Tools 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 Dechev, Resource-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 Dechev, Preliminary 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 Dechev, Fast 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 Dechev, Effective 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 Dechev, A 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 Dechev, Building 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 Dechev, Concurrent 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 Dechev, Semi-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 Dechev, The 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 Dechev, A 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 Dechev, A 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