☰

Robert L. Bocchino, Ph.D. - Publications

Affiliations: 
2010 University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

10 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2014 Bocchino RL, Gamble E, Gostelow KP, Some RR. Spot: A programming language for verified flight software Hilt 2014 - Proceedings of the Acm Conference On High Integrity Language Technology. 97-101. DOI: 10.1145/2663171.2663185  0.406
2013 Bocchino RL. Alias control for deterministic parallelism Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7850: 156-195. DOI: 10.1007/978-3-642-36946-9-7  0.412
2013 Bocchino RL. The future of aliasing in parallel programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7850: 501-502. DOI: 10.1007/978-3-642-36946-9-17  0.376
2011 Bocchino RL, Heumann S, Honarmand N, Adve SV, Adve VS, Welc A, Shpeisman T. Safe nondeterminism in a deterministic-by-default parallel language Acm Sigplan Notices. 46: 535-548. DOI: 10.1145/1925844.1926447  0.654
2011 Bocchino RL, Adve VS. Types, regions, and effects for safe programming with object-oriented parallel frameworks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6813: 306-332. DOI: 10.1007/978-3-642-22655-7_15  0.633
2010 Bocchino RL, Heumann S, Honarmand N, Adve SV, Adve VS, Welc A, Shpeisman T. Safe nondeterminism in a deterministic-by-default parallel language Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 535-548. DOI: 10.1145/1926385.1926447  0.654
2009 Bocchino RL, Adve VS, Dig D, Adve SV, Heumann S, Komuravelli R, Overbey J, Simmons P, Sung H, Vakilian M. A type and effect system for deterministic parallel java Acm Sigplan Notices. 44: 97-116. DOI: 10.1145/1640089.1640097  0.618
2009 Bocchino RL, Adve VS, Dig D, Adve SV, Heumann S, Komuravelli R, Overbey J, Simmons P, Sung H, Vakilian M. A type and effect system for deterministic parallel java Acm Sigplan Notices. 44: 97-116.  0.519
2008 Bocchino RL, Adve VS, Chamberlain BL. Software transactional memory for large scale clusters Proceedings of the Acm Sigplan Symposium On Principles and Practice of Parallel Programming, Ppopp. 247-257.  0.51
2006 Bocchino RL, Adve VS. Vector LLVA: A virtual vector instruction set for media processing Vee 2006 - Proceedings of the Second International Conference On Virtual Execution Environments. 2006: 46-56.  0.549
Show low-probability matches.