PetaBricks: a language and compiler for algorithmic choice, PLDI '09, pp.38-49, 2009. ,
Grace: safe multithreaded programming for C/C++, OOPSLA '09, pp.81-96, 2009. ,
Opportunistic computing: A new paradigm for scalable realism on many-cores, First USENIX Workshop on Hot Topics in Parallelism (HotPar'09), pp.1-6, 2009. ,
Selector: A Language Construct for Developing Dynamic Applications, p.2, 2002. ,
DOI : 10.1007/11596110_15
Stretching transactional memory, pp.155-165, 2009. ,
Language and compiler support for adaptive applications, pp.1-12, 2004. ,
Data speculation support for a chip multiprocessor, ASPLOS'98, 1998. ,
Fast Track: A Software System for Speculative Program Optimization, 2009 International Symposium on Code Generation and Optimization, pp.157-168, 2009. ,
DOI : 10.1109/CGO.2009.18
Optimizing sorting with genetic algorithms, CGO'05, pp.1-12, 2005. ,
POSH, Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '06, pp.158-167, 2006. ,
DOI : 10.1145/1122971.1122997
High Level Thread-Based Competitive Or-Parallelism in Logtalk, 11th Intl. Symp. Practical Aspects of Declarative Languages, (PADL'09), pp.1-15, 2009. ,
DOI : 10.1007/978-3-540-77442-6_18
Operating systems transactions, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP '09, pp.161-176, 2009. ,
DOI : 10.1145/1629575.1629591
A platform for competitive execution, ISCA Workshop on Parallel Execution of Sequential Programs on Multicore Architectures (PESPMA'08), pp.1-9, 2008. ,
Variant-based competitive parallel execution of sequential programs, Proceedings of the 7th ACM international conference on Computing frontiers, CF '10, 2010. ,
DOI : 10.1145/1787275.1787325
Variant-based competitive parallel execution of sequential programs (extended version), 2010. ,
x264 -a free h264/avc encoder, 2010. ,
Worlds: Controlling the scope of side effects. VPRI Research Note RN-2008-001, Viewpoints Research Institute, 2008. ,
Addressing shared resource contention in multicore processors via scheduling, ASPLOS'10, pp.1-13, 2010. ,
Master/slave speculative parallelization. MICRO'02, pp.85-96, 2002. ,