Robert L. Bocchino Jr.
Robert L. Bocchino Jr.
Alias Control for Deterministic Parallelism.
156-195
2013
Aliasing in Object-Oriented Programming
https://doi.org/10.1007/978-3-642-36946-9_7
series/lncs/7850
db/series/lncs/lncs7850.html#Bocchino13
Robert L. Bocchino Jr.
The Future of Aliasing in Parallel Programming.
501-502
2013
Aliasing in Object-Oriented Programming
https://doi.org/10.1007/978-3-642-36946-9_17
series/lncs/7850
db/series/lncs/lncs7850.html#Bocchino13a
Robert L. Bocchino Jr.
Vikram S. Adve
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks.
306-332
2011
ECOOP
https://doi.org/10.1007/978-3-642-22655-7_15
conf/ecoop/2011
db/conf/ecoop/ecoop2011.html#BocchinoA11
Robert L. Bocchino Jr.
Stephen Heumann
Nima Honarmand
Sarita V. Adve
Vikram S. Adve
Adam Welc
Tatiana Shpeisman
Safe nondeterminism in a deterministic-by-default parallel language.
535-548
2011
POPL
https://doi.org/10.1145/1926385.1926447
https://doi.org/10.1145/1925844.1926447
conf/popl/2011
db/conf/popl/popl2011.html#BocchinoHHAAWS11
Robert L. Bocchino Jr.
Deterministic Parallel Java.
566-573
2011
Encyclopedia of Parallel Computing
https://doi.org/10.1007/978-0-387-09766-4_119
reference/parallel/2011
db/reference/parallel/parallel2011.html#Bocchino11
Robert L. Bocchino Jr.
An effect system and language for deterministic-by-default parallel programming
University of Illinois Urbana-Champaign, USA
2010
https://hdl.handle.net/2142/18416
Byn Choi
Rakesh Komuravelli
Victor Lu
Hyojin Sung
Robert L. Bocchino Jr.
Sarita V. Adve
John C. Hart
Parallel SAH k-D tree construction.
77-86
2010
High Performance Graphics
https://doi.org/10.2312/EGGH/HPG10/077-086
http://dl.acm.org/citation.cfm?id=1921492
conf/egh/2010
db/conf/egh/hpg2010.html#ChoiKLSBAH10
Mohsen Vakilian
Danny Dig
Robert L. Bocchino Jr.
Jeffrey Overbey
Vikram S. Adve
Ralph E. Johnson
Inferring Method Effect Summaries for Nested Heap Regions.
421-432
2009
ASE
https://doi.org/10.1109/ASE.2009.68
https://doi.ieeecomputersociety.org/10.1109/ASE.2009.68
conf/kbse/2009
db/conf/kbse/ase2009.html#VakilianDBOAJ09
Robert L. Bocchino Jr.
Vikram S. Adve
Danny Dig
Sarita V. Adve
Stephen Heumann
Rakesh Komuravelli
Jeffrey Overbey
Patrick Simmons
Hyojin Sung
Mohsen Vakilian
A type and effect system for deterministic parallel Java.
97-116
2009
OOPSLA
https://doi.org/10.1145/1640089.1640097
https://doi.org/10.1145/1639949.1640097
conf/oopsla/2009
db/conf/oopsla/oopsla2009.html#BocchinoADAHKOSSV09
Robert L. Bocchino Jr.
Vikram S. Adve
Bradford L. Chamberlain
Software transactional memory for large scale clusters.
247-258
2008
PPoPP
https://doi.org/10.1145/1345206.1345242
conf/ppopp/2008
db/conf/ppopp/ppopp2008.html#BocchinoAC08
Robert L. Bocchino Jr.
Vikram S. Adve
Vector LLVA: a virtual vector instruction set for media processing.
46-56
2006
conf/vee/2006
VEE
https://doi.org/10.1145/1134760.1134769
db/conf/vee/vee2006.html#BocchinoA06
Sarita V. Adve
Vikram S. Adve
Bradford L. Chamberlain
Byn Choi
Danny Dig
John C. Hart
Stephen Heumann
Nima Honarmand
Ralph E. Johnson
Rakesh Komuravelli
Victor Lu
Jeffrey Overbey
Tatiana Shpeisman
Patrick Simmons
Hyojin Sung
Mohsen Vakilian
Adam Welc