R. Bocchino
and V. Adve, Formal Definition and Proof of Soundness for
Core Deterministic Parallel Java, Technical Report
No. UIUCDCS-R-2008-2980, University of Illinois at
Urbana-Champaign, 2008.
R. Bocchino, V. Adve, and B. Chamberlain, Software
Transactional Memory for Large Scale Clusters,
Principles and Practice of Parallel Programming (PPoPP)
2008.
R. Bocchino and V. Adve, Vector LLVA: A Virtual Vector
Instruction Set for Media Processing, Second International Conference on
Virtual Execution Environments (VEE) 2006.
Z. Yang, Y. Cui, Z. Anwar, R. Bocchino, N.
Kiyanclar, K. Nahrstedt, R. H. Campbell, and W.
J. Yurcik, Real-time 3D Video Compression for
Tele-Immersive Environments, Multimedia Computing and Networking
(MMCN) 2006.