| Extending FreeCompilerCamp.org as an Online Self-Learning Platform for Compiler Development | 0 | 0.34 | 2020 |
| Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases | 0 | 0.34 | 2020 |
| Exploring dynamic load imbalance solutions with the CoMD proxy application. | 1 | 0.35 | 2019 |
| Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks. | 0 | 0.34 | 2019 |
| Refinement of structural heuristics for model checking of concurrent programs through data mining. | 2 | 0.37 | 2017 |
| Transforming blocking MPI collectives to Non-blocking and persistent operations | 1 | 0.41 | 2017 |
| Ariadne: Hybridizing Directed Model Checking and Static Analysis | 1 | 0.36 | 2017 |
| Lightweight runtime checking of C programs with RTC. | 2 | 0.36 | 2016 |
| A Portable Lock-Free Bounded Queue. | 1 | 0.35 | 2016 |
| Petal Tool for Analyzing and Transforming Legacy MPI Applications. | 1 | 0.37 | 2015 |
| Runtime checking C programs | 1 | 0.34 | 2015 |
| SimpleConcepts: A Lightweight Extension to C plus plus to Support Constraints on Generic Types | 0 | 0.34 | 2014 |
| Design and evaluation of C++ open multi-methods | 1 | 0.36 | 2010 |
| Source Code Rejuvenation Is Not Refactoring | 6 | 0.61 | 2010 |
| Support for the evolution of C++ generic functions | 2 | 0.42 | 2010 |
| Understanding and Effectively Preventing the ABA Problem in Descriptor-Based Lock-Free Designs | 7 | 0.58 | 2010 |
| Dynamic algorithm selection for runtime concepts | 2 | 0.38 | 2010 |
| Semantically Enhanced Containers for Concurrent Real-Time Systems | 1 | 0.40 | 2009 |
| Runtime concepts for the C++ standard template library | 4 | 0.47 | 2008 |
| Verification and semantic parallelization of goal-driven autonomous software | 4 | 0.42 | 2008 |
| Open multi-methods for c++ | 10 | 0.55 | 2007 |
| Lock-free dynamically resizable arrays | 1 | 0.35 | 2006 |
| Zero-Overhead Exception Handling Using Metaprogramming | 4 | 0.53 | 1997 |
