BibTeX records: Zachary R. Anderson

download as .bib file

@inproceedings{DBLP:conf/oopsla/Anderson12,
  author    = {Zachary R. Anderson},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/oopsla/2012},
  url       = {http://doi.acm.org/10.1145/2384616.2384669},
  doi       = {10.1145/2384616.2384669},
  timestamp = {Tue, 23 Oct 2012 08:06:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/Anderson12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/KuzAS11,
  author    = {Ihor Kuz and
               Zachary R. Anderson and
               Pravin Shinde},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/hotos/2011},
  url       = {https://www.usenix.org/conference/hotosxiii/multicore-os-benchmarks-we-can-do-better},
  timestamp = {Tue, 20 May 2014 12:56:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotos/KuzAS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AndersonG11,
  author    = {Zachary R. Anderson and
               David Gay},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/oopsla/2011},
  url       = {http://doi.acm.org/10.1145/2048066.2048132},
  doi       = {10.1145/2048066.2048132},
  timestamp = {Tue, 25 Oct 2011 20:30:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/AndersonG11},
  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/bib/phd/basesearch/Anderson10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AndersonGN09,
  author    = {Zachary R. Anderson and
               David Gay and
               Mayur Naik},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/pldi/2009},
  url       = {http://doi.acm.org/10.1145/1542476.1542488},
  doi       = {10.1145/1542476.1542488},
  timestamp = {Thu, 18 Jun 2009 21:03:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/AndersonGN09},
  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   = {{TOSN}},
  volume    = {4},
  number    = {2},
  pages     = {7:1--7:40},
  year      = {2008},
  url       = {http://doi.acm.org/10.1145/1340771.1340773},
  doi       = {10.1145/1340771.1340773},
  timestamp = {Tue, 03 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tosn/NathGSA08},
  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},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/pldi/2008},
  url       = {http://doi.acm.org/10.1145/1375581.1375600},
  doi       = {10.1145/1375581.1375600},
  timestamp = {Tue, 27 Feb 2018 02:35:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/AndersonGEB08},
  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},
  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},
  pages     = {520--535},
  year      = {2007},
  crossref  = {DBLP:conf/esop/2007},
  url       = {https://doi.org/10.1007/978-3-540-71316-6_35},
  doi       = {10.1007/978-3-540-71316-6_35},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/ConditHAGN07},
  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},
  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}},
  year      = {2007},
  crossref  = {DBLP:conf/hotos/2007},
  url       = {http://www.usenix.org/events/hotos07/tech/full_papers/anderson/anderson.pdf},
  timestamp = {Mon, 19 May 2014 17:54:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotos/AndersonBCEGHNZ07},
  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},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/osdi/2006},
  url       = {http://www.usenix.org/events/osdi06/tech/zhou.html},
  timestamp = {Thu, 15 May 2014 18:36:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/osdi/ZhouCABEHNB06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobicom/NathAS04,
  author    = {Suman Nath and
               Zachary R. Anderson and
               Srinivasan Seshan},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/mobicom/2004wac},
  url       = {http://doi.acm.org/10.1145/1023783.1023792},
  doi       = {10.1145/1023783.1023792},
  timestamp = {Mon, 13 Feb 2006 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mobicom/NathAS04},
  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},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/sensys/2004},
  url       = {http://doi.acm.org/10.1145/1031495.1031525},
  doi       = {10.1145/1031495.1031525},
  timestamp = {Mon, 13 Mar 2006 07:45:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sensys/NathGSA04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2012,
  editor    = {Gary T. Leavens and
               Matthew B. Dwyer},
  title     = {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},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2384616},
  isbn      = {978-1-4503-1561-6},
  timestamp = {Tue, 23 Oct 2012 08:06:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotos/2011,
  editor    = {Matt Welsh},
  title     = {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/publications/proceedings/?f[0]=im_group_audience%3A308},
  timestamp = {Tue, 20 May 2014 12:56:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotos/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2011,
  editor    = {Cristina Videira Lopes and
               Kathleen Fisher},
  title     = {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},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0940-0},
  timestamp = {Tue, 25 Oct 2011 20:30:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2009,
  editor    = {Michael Hind and
               Amer Diwan},
  title     = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
               June 15-21, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-392-1},
  timestamp = {Thu, 18 Jun 2009 21:03:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2008,
  editor    = {Rajiv Gupta and
               Saman P. Amarasinghe},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
               Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://doi.acm.org/10.1145/1375581},
  doi       = {10.1145/1375581},
  isbn      = {978-1-59593-860-2},
  timestamp = {Tue, 27 Feb 2018 02:35:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2007,
  editor    = {Rocco De Nicola},
  title     = {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},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71316-6},
  doi       = {10.1007/978-3-540-71316-6},
  isbn      = {978-3-540-71314-2},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotos/2007,
  editor    = {Galen C. Hunt},
  title     = {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       = {https://www.usenix.org/publications/proceedings/?f[0]=im_group_audience%3A124},
  timestamp = {Mon, 19 May 2014 17:54:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotos/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/osdi/2006,
  editor    = {Brian N. Bershad and
               Jeffrey C. Mogul},
  title     = {7th Symposium on Operating Systems Design and Implementation {(OSDI}
               '06), November 6-8, Seattle, WA, {USA}},
  publisher = {{USENIX} Association},
  year      = {2006},
  url       = {https://www.usenix.org/publications/proceedings/?f[0]=im_group_audience%3A137},
  isbn      = {1-931971-47-1},
  timestamp = {Thu, 15 May 2014 18:36:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/osdi/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mobicom/2004wac,
  editor    = {Azzedine Boukerche and
               Krishna M. Sivalingam and
               Sotiris E. Nikoletseas},
  title     = {Proceedings of the Second International Workshop on Mobility Management
               {\&} Wireless Access Protocols, 2004, Philadelphia, PA, USA, October
               1, 2004},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-920-9},
  timestamp = {Thu, 13 Oct 2005 09:53:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mobicom/2004wac},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sensys/2004,
  editor    = {John A. Stankovic and
               Anish Arora and
               Ramesh Govindan},
  title     = {Proceedings of the 2nd International Conference on Embedded Networked
               Sensor Systems, SenSys 2004, Baltimore, MD, USA, November 3-5, 2004},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-879-2},
  timestamp = {Mon, 13 Mar 2006 07:45:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sensys/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier