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.