BibTeX records: Robert L. Bocchino Jr.

download as .bib file

@incollection{DBLP:series/lncs/Bocchino13,
  author       = {Robert L. Bocchino Jr.},
  editor       = {Dave Clarke and
                  James Noble and
                  Tobias Wrigstad},
  title        = {Alias Control for Deterministic Parallelism},
  booktitle    = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
  series       = {Lecture Notes in Computer Science},
  volume       = {7850},
  pages        = {156--195},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36946-9\_7},
  doi          = {10.1007/978-3-642-36946-9\_7},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/Bocchino13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/Bocchino13a,
  author       = {Robert L. Bocchino Jr.},
  editor       = {Dave Clarke and
                  James Noble and
                  Tobias Wrigstad},
  title        = {The Future of Aliasing in Parallel Programming},
  booktitle    = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
  series       = {Lecture Notes in Computer Science},
  volume       = {7850},
  pages        = {501--502},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36946-9\_17},
  doi          = {10.1007/978-3-642-36946-9\_17},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/Bocchino13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/BocchinoA11,
  author       = {Robert L. Bocchino Jr. and
                  Vikram S. Adve},
  editor       = {Mira Mezini},
  title        = {Types, Regions, and Effects for Safe Programming with Object-Oriented
                  Parallel Frameworks},
  booktitle    = {{ECOOP} 2011 - Object-Oriented Programming - 25th European Conference,
                  Lancaster, UK, July 25-29, 2011 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6813},
  pages        = {306--332},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22655-7\_15},
  doi          = {10.1007/978-3-642-22655-7\_15},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/BocchinoA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/BocchinoHHAAWS11,
  author       = {Robert L. Bocchino Jr. and
                  Stephen Heumann and
                  Nima Honarmand and
                  Sarita V. Adve and
                  Vikram S. Adve and
                  Adam Welc and
                  Tatiana Shpeisman},
  editor       = {Thomas Ball and
                  Mooly Sagiv},
  title        = {Safe nondeterminism in a deterministic-by-default parallel language},
  booktitle    = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
                  2011},
  pages        = {535--548},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1926385.1926447},
  doi          = {10.1145/1926385.1926447},
  timestamp    = {Tue, 09 Jul 2024 07:54:49 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/BocchinoHHAAWS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/parallel/Bocchino11,
  author       = {Robert L. Bocchino Jr.},
  editor       = {David A. Padua},
  title        = {Deterministic Parallel Java},
  booktitle    = {Encyclopedia of Parallel Computing},
  pages        = {566--573},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-0-387-09766-4\_119},
  doi          = {10.1007/978-0-387-09766-4\_119},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/parallel/Bocchino11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/us/Bocchino10,
  author       = {Robert L. Bocchino Jr.},
  title        = {An effect system and language for deterministic-by-default parallel
                  programming},
  school       = {University of Illinois Urbana-Champaign, {USA}},
  year         = {2010},
  url          = {https://hdl.handle.net/2142/18416},
  timestamp    = {Fri, 29 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Bocchino10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/egh/ChoiKLSBAH10,
  author       = {Byn Choi and
                  Rakesh Komuravelli and
                  Victor Lu and
                  Hyojin Sung and
                  Robert L. Bocchino Jr. and
                  Sarita V. Adve and
                  John C. Hart},
  editor       = {Justin Hensley and
                  Philipp Slusallek and
                  David K. McAllister and
                  Christiaan P. Gribble},
  title        = {Parallel {SAH} k-D tree construction},
  booktitle    = {Proceedings of the {ACM} {SIGGRAPH/EUROGRAPHICS} Conference on High
                  Performance Graphics 2010, Saarbr{\"{u}}cken, Germany, June 25-27,
                  2010},
  pages        = {77--86},
  publisher    = {Eurographics Association},
  year         = {2010},
  url          = {https://doi.org/10.2312/EGGH/HPG10/077-086},
  doi          = {10.2312/EGGH/HPG10/077-086},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/egh/ChoiKLSBAH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/VakilianDBOAJ09,
  author       = {Mohsen Vakilian and
                  Danny Dig and
                  Robert L. Bocchino Jr. and
                  Jeffrey Overbey and
                  Vikram S. Adve and
                  Ralph E. Johnson},
  title        = {Inferring Method Effect Summaries for Nested Heap Regions},
  booktitle    = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Auckland, New Zealand, November 16-20, 2009},
  pages        = {421--432},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ASE.2009.68},
  doi          = {10.1109/ASE.2009.68},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/VakilianDBOAJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/BocchinoADAHKOSSV09,
  author       = {Robert L. Bocchino Jr. and
                  Vikram S. Adve and
                  Danny Dig and
                  Sarita V. Adve and
                  Stephen Heumann and
                  Rakesh Komuravelli and
                  Jeffrey Overbey and
                  Patrick Simmons and
                  Hyojin Sung and
                  Mohsen Vakilian},
  editor       = {Shail Arora and
                  Gary T. Leavens},
  title        = {A type and effect system for deterministic parallel Java},
  booktitle    = {Proceedings of the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
                  October 25-29, 2009, Orlando, Florida, {USA}},
  pages        = {97--116},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1640089.1640097},
  doi          = {10.1145/1640089.1640097},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/BocchinoADAHKOSSV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppopp/BocchinoAC08,
  author       = {Robert L. Bocchino Jr. and
                  Vikram S. Adve and
                  Bradford L. Chamberlain},
  editor       = {Siddhartha Chatterjee and
                  Michael L. Scott},
  title        = {Software transactional memory for large scale clusters},
  booktitle    = {Proceedings of the 13th {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, {PPOPP} 2008, Salt Lake City, UT,
                  USA, February 20-23, 2008},
  pages        = {247--258},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1345206.1345242},
  doi          = {10.1145/1345206.1345242},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppopp/BocchinoAC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vee/BocchinoA06,
  author       = {Robert L. Bocchino Jr. and
                  Vikram S. Adve},
  editor       = {Hans{-}Juergen Boehm and
                  David Grove},
  title        = {Vector {LLVA:} a virtual vector instruction set for media processing},
  booktitle    = {Proceedings of the 2nd International Conference on Virtual Execution
                  Environments, {VEE} 2006, Ottawa, Ontario, Canada, June 14-16, 2006},
  pages        = {46--56},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1134760.1134769},
  doi          = {10.1145/1134760.1134769},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/vee/BocchinoA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.