Master/slave speculative parallelization and approximate code

Compiler optimization of scalar value communication between speculative threads

Proceedings of the 10th international conference on Architectural support for programming languages and operating systems

Master/slave speculative parallelization

Proceedings of the 35th annual ACM/IEEE international symposium on Microarchitecture

Reactive Techniques for Controlling Software Speculation

Proceedings of the international symposium on Code generation and optimization

Dual-Core Execution: Building a Highly Scalable Single-Thread Instruction Window

Proceedings of the 14th International Conference on Parallel Architectures and Compilation Techniques

Compiler and hardware support for reducing the synchronization of speculative threads

ACM Transactions on Architecture and Code Optimization (TACO)

Formally defining and verifying master/slave speculative parallelization

FM'05 Proceedings of the 2005 international conference on Formal Methods