BibTeX records: Zachary R. Anderson

download as .bib file

@inproceedings{DBLP:conf/oopsla/Anderson12,
  author       = {Zachary R. Anderson},
  editor       = {Gary T. Leavens and
                  Matthew B. Dwyer},
  title        = {Efficiently combining parallel software using fine-grained, language-level,
                  hierarchical resource management policies},
  booktitle    = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
                  part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  pages        = {717--736},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2384616.2384669},
  doi          = {10.1145/2384616.2384669},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/Anderson12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/KuzAS11,
  author       = {Ihor Kuz and
                  Zachary R. Anderson and
                  Pravin Shinde},
  editor       = {Matt Welsh},
  title        = {Multicore {OS} Benchmarks: We Can Do Better},
  booktitle    = {13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa,
                  California, USA, May 9-11, 2011},
  publisher    = {{USENIX} Association},
  year         = {2011},
  url          = {https://www.usenix.org/conference/hotosxiii/multicore-os-benchmarks-we-can-do-better},
  timestamp    = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/KuzAS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AndersonG11,
  author       = {Zachary R. Anderson and
                  David Gay},
  editor       = {Cristina Videira Lopes and
                  Kathleen Fisher},
  title        = {Composable, nestable, pessimistic atomic statements},
  booktitle    = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
                  part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
  pages        = {865--884},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2048066.2048132},
  doi          = {10.1145/2048066.2048132},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/AndersonG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Anderson10,
  author       = {Zachary R. Anderson},
  title        = {Checking the Data Sharing Strategies of Concurrent Systems Level Code},
  school       = {University of California, Berkeley, {USA}},
  year         = {2010},
  url          = {http://www.escholarship.org/uc/item/5gz712z9},
  timestamp    = {Mon, 10 Apr 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Anderson10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AndersonGN09,
  author       = {Zachary R. Anderson and
                  David Gay and
                  Mayur Naik},
  editor       = {Michael Hind and
                  Amer Diwan},
  title        = {Lightweight annotations for controlling sharing in concurrent data
                  structures},
  booktitle    = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
                  June 15-21, 2009},
  pages        = {98--109},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1542476.1542488},
  doi          = {10.1145/1542476.1542488},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/AndersonGN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosn/NathGSA08,
  author       = {Suman Nath and
                  Phillip B. Gibbons and
                  Srinivasan Seshan and
                  Zachary R. Anderson},
  title        = {Synopsis diffusion for robust aggregation in sensor networks},
  journal      = {{ACM} Trans. Sens. Networks},
  volume       = {4},
  number       = {2},
  pages        = {7:1--7:40},
  year         = {2008},
  url          = {https://doi.org/10.1145/1340771.1340773},
  doi          = {10.1145/1340771.1340773},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tosn/NathGSA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AndersonGEB08,
  author       = {Zachary R. Anderson and
                  David Gay and
                  Robert Ennals and
                  Eric A. Brewer},
  editor       = {Rajiv Gupta and
                  Saman P. Amarasinghe},
  title        = {SharC: checking data sharing strategies for multithreaded {C}},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
                  Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
  pages        = {149--158},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1375581.1375600},
  doi          = {10.1145/1375581.1375600},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/AndersonGEB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ConditHAGN07,
  author       = {Jeremy Condit and
                  Matthew Harren and
                  Zachary R. Anderson and
                  David Gay and
                  George C. Necula},
  editor       = {Rocco De Nicola},
  title        = {Dependent Types for Low-Level Programming},
  booktitle    = {Programming Languages and Systems, 16th European Symposium on Programming,
                  {ESOP} 2007, Held as Part of the Joint European Conferences on Theory
                  and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
                  - April 1, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4421},
  pages        = {520--535},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71316-6\_35},
  doi          = {10.1007/978-3-540-71316-6\_35},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/ConditHAGN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/AndersonBCEGHNZ07,
  author       = {Zachary R. Anderson and
                  Eric A. Brewer and
                  Jeremy Condit and
                  Robert Ennals and
                  David Gay and
                  Matthew Harren and
                  George C. Necula and
                  Feng Zhou},
  editor       = {Galen C. Hunt},
  title        = {Beyond Bug-Finding: Sound Program Analysis for Linux},
  booktitle    = {Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating
                  Systems, May 7-9, 2005, San Diego, California, {USA}},
  publisher    = {{USENIX} Association},
  year         = {2007},
  url          = {http://www.usenix.org/events/hotos07/tech/full\_papers/anderson/anderson.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotos/AndersonBCEGHNZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ZhouCABEHNB06,
  author       = {Feng Zhou and
                  Jeremy Condit and
                  Zachary R. Anderson and
                  Ilya Bagrak and
                  Robert Ennals and
                  Matthew Harren and
                  George C. Necula and
                  Eric A. Brewer},
  editor       = {Brian N. Bershad and
                  Jeffrey C. Mogul},
  title        = {SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques},
  booktitle    = {7th Symposium on Operating Systems Design and Implementation {(OSDI}
                  '06), November 6-8, Seattle, WA, {USA}},
  pages        = {45--60},
  publisher    = {{USENIX} Association},
  year         = {2006},
  url          = {http://www.usenix.org/events/osdi06/tech/zhou.html},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/ZhouCABEHNB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobicom/NathAS04,
  author       = {Suman Nath and
                  Zachary R. Anderson and
                  Srinivasan Seshan},
  editor       = {Azzedine Boukerche and
                  Krishna M. Sivalingam and
                  Sotiris E. Nikoletseas},
  title        = {Choosing beacon periods to improve response times for wireless {HTTP}
                  clients},
  booktitle    = {Proceedings of the Second International Workshop on Mobility Management
                  {\&} Wireless Access Protocols, 2004, Philadelphia, PA, USA, October
                  1, 2004},
  pages        = {43--50},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1023783.1023792},
  doi          = {10.1145/1023783.1023792},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mobicom/NathAS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/NathGSA04,
  author       = {Suman Nath and
                  Phillip B. Gibbons and
                  Srinivasan Seshan and
                  Zachary R. Anderson},
  editor       = {John A. Stankovic and
                  Anish Arora and
                  Ramesh Govindan},
  title        = {Synopsis diffusion for robust aggregation in sensor networks},
  booktitle    = {Proceedings of the 2nd International Conference on Embedded Networked
                  Sensor Systems, SenSys 2004, Baltimore, MD, USA, November 3-5, 2004},
  pages        = {250--262},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1031495.1031525},
  doi          = {10.1145/1031495.1031525},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sensys/NathGSA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics