From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Verifying atomicity via data independence., , , , , , и . ISSTA, стр. 26-36. ACM, (2014)Hardware acceleration of transactional memory on commodity systems., , , , , и . ASPLOS, стр. 27-38. ACM, (2011)Implementing and Evaluating a Model Checker for Transactional Memory Systems., , , и . ICECCS, стр. 117-126. IEEE Computer Society, (2010)Automatic fine-grain locking using shape properties., , , , , и . OOPSLA, стр. 225-242. ACM, (2011)Implementing and evaluating nested parallel transactions in software transactional memory., , , и . SPAA, стр. 253-262. ACM, (2010)Composable operations on high-performance concurrent collections.. Stanford University, USA, (2011)Feedback-directed barrier optimization in a strongly isolated STM., , и . POPL, стр. 213-225. ACM, (2009)A practical concurrent binary search tree., , , и . PPoPP, стр. 257-268. ACM, (2010)A case of system-level hardware/software co-design and co-verification of a commodity multi-processor system with custom hardware., , , , , и . CODES+ISSS, стр. 513-520. ACM, (2012)Understanding the behavior of database operations under program control., , , и . OOPSLA, стр. 983-996. ACM, (2012)