Conference and Journal Publications

Lock-Free Concurrent Hash Tables, Steven Feldman, Emile Kanhai, Damian Dechev, In Science Magazine, Special Feature: International Science and Engineering Visualization Challenge, Februray,  2012 (to appear). 

The ABA Problem in Multicore Data Structures with Collaborating Operations, Damian Dechev, In Proceedings of the 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2011), Orlando, FL, October 15 - 18, 2011. 

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

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

Evaluating Performance Optimizations of Large-Scale Genomic Sequence Search Applications Using SST/macro, Tae-Hyuk Ahn, Damian Dechev, Heshan Lin, Helgi Adalsteinsson, Curtis Janssen, In Proceedings of the 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2011, Noordwijkerhout, The Netherlands, July 29 - 31, 2011. 

Facilitating Efficient Parallelization of Information Storage and Retrieval on Large Data Sets, Steven Feldman, Pierre LaBorde, Damian Dechev,  In Proceedings of the 25th ACM International Conference on Supercomputing (ACM ICS 2011), Tucson, AZ, May 31- June 4, 2011.

Automatic Extraction of SST/macro Skeleton Models, Amruth Dakshinamurthy, Damian Dechev, In Proceedings of the 25th ACM International Conference on Supercomputing (ACM ICS 2011), Tucson, AZ, May 31 - June 4, 2011.

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

Exascale Co-design with Sandia's Structural Simulation Toolkit (SST) Coarse-grained Components, Curtis Janssen, Helgi Adalsteinsson, Scott Cranford, Damian Dechev, David Evensky, Joe Kenny, Nicole Lemaster, Jackson Mayo, Ali Pinar, Andrew Taube, 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.

Support for the Evolution of C++ Generic Functions, Peter Pirkelbauer, Damian Dechev, Bjarne Stroustrup,  In Proceedings of 3rd International Conference on Software Language Engineering (SLE 2010), Eindhoven, The Netherlands, October 2010.

Understanding and Effectively Preventing the ABA Problem in Descriptor-based Lock-free Designs, Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup, In Proc. of IEEE ISORC 2010: 13th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing, May 5-6, 2010, Carmona, Spain.

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

Scalable Nonblocking Concurrent Objects for Mission Critical Code, Damian Dechev and Bjarne Stroustrup, Practitioner Report In Proceedings of 24th International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009), ACM SIGPLAN, Orlando, Florida, October 2009.

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

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

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

Model-Based Product-Oriented Certification, Damian Dechev and Bjarne Stroustrup, 7th IEEE Workshop on Model-Based Development for Computer-Based Systems - Linking Views and Levels of Abstractions, In Proc. of 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (IEEE ECBS), April 2009.

Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems, Damian Dechev, Rabi Mahapatra, Bjarne Stroustrup, Journal of Computing Science and Engineering (JCSE), Vol. 2, No. 4, Special Issue on Real-Time Distributed Computing and Ubiquitous Computing, December 2008.

Verification and Semantic Parallelization of Goal-Driven Autonomous Software, Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup, In Proc. of ACM Autonomics 2008: 2nd International Conference on Autonomic Computing and Communication Systems, September 23-25, 2008, Turin, Italy.

C++ Fast Dynamic Cast in Autonomous Space Systems, Damian Dechev, Rabi Mahapatra, Bjarne Stroustrup, David Wagner, In Proc. of IEEE ISORC 2008: 11th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing, May 5-7, 2008, Orlando, Florida.

Lock-free Dynamically Resizable Arrays, Damian Dechev, Peter Pirkelbauer, Bjarne Stroustrup, In Proc. of OPODIS 2006: Principles of Distributed Systems, 10th Int. Conf., LNCS, Vol. 4305, 142-156, December 12-15, 2006, Bordeaux, France.  

 

System Development Projects 

   

 

The Pivot: a high-level program representation and static analysis framework for C++. (Core Back-end Developer) 

Mission Data System: model-based framework for design and implementation of autonomous robotic spacecraft software (Research Intern)

Lock-free vector: a shared lock-free dynamically resizable array (Architect and Developer). Idea adopted and integrated by the open-source project, Concurrent Building Blocks.

SST/macro: a course-grained simulation approach for analyzing the interaction of software and hardware.