BibTeX records: David Costanzo

download as .bib file

@article{DBLP:journals/pacmpl/LiuRSGCKY20,
  author    = {Mengqi Liu and
               Lionel Rieg and
               Zhong Shao and
               Ronghui Gu and
               David Costanzo and
               Jung{-}Eun Kim and
               Man{-}Ki Yoon},
  title     = {Virtual timeline: a formal abstraction for verifying preemptive schedulers
               with temporal isolation},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {4},
  number    = {{POPL}},
  pages     = {20:1--20:31},
  year      = {2020},
  url       = {https://doi.org/10.1145/3371088},
  doi       = {10.1145/3371088},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/LiuRSGCKY20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GuSCKKWSC19,
  author    = {Ronghui Gu and
               Zhong Shao and
               Hao Chen and
               Jieung Kim and
               J{\'{e}}r{\'{e}}mie Koenig and
               Xiongnan (Newman) Wu and
               Vilhelm Sj{\"{o}}berg and
               David Costanzo},
  title     = {Building certified concurrent {OS} kernels},
  journal   = {Commun. {ACM}},
  volume    = {62},
  number    = {10},
  pages     = {89--99},
  year      = {2019},
  url       = {https://doi.org/10.1145/3356903},
  doi       = {10.1145/3356903},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/cacm/GuSCKKWSC19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GuSKWKS0CR18,
  author    = {Ronghui Gu and
               Zhong Shao and
               Jieung Kim and
               Xiongnan (Newman) Wu and
               J{\'{e}}r{\'{e}}mie Koenig and
               Vilhelm Sj{\"{o}}berg and
               Hao Chen and
               David Costanzo and
               Tahina Ramananandro},
  editor    = {Jeffrey S. Foster and
               Dan Grossman},
  title     = {Certified concurrent abstraction layers},
  booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
               USA, June 18-22, 2018},
  pages     = {646--661},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3192366.3192381},
  doi       = {10.1145/3192366.3192381},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/GuSKWKS0CR18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/GuSCWKSC16,
  author    = {Ronghui Gu and
               Zhong Shao and
               Hao Chen and
               Xiongnan (Newman) Wu and
               Jieung Kim and
               Vilhelm Sj{\"{o}}berg and
               David Costanzo},
  editor    = {Kimberly Keeton and
               Timothy Roscoe},
  title     = {CertiKOS: An Extensible Architecture for Building Certified Concurrent
               {OS} Kernels},
  booktitle = {12th {USENIX} Symposium on Operating Systems Design and Implementation,
               {OSDI} 2016, Savannah, GA, USA, November 2-4, 2016},
  pages     = {653--669},
  publisher = {{USENIX} Association},
  year      = {2016},
  url       = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/gu},
  timestamp = {Tue, 02 Feb 2021 08:06:02 +0100},
  biburl    = {https://dblp.org/rec/conf/osdi/GuSCWKSC16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CostanzoSG16,
  author    = {David Costanzo and
               Zhong Shao and
               Ronghui Gu},
  editor    = {Chandra Krintz and
               Emery D. Berger},
  title     = {End-to-end verification of information-flow security for {C} and assembly
               programs},
  booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  pages     = {648--664},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2908080.2908100},
  doi       = {10.1145/2908080.2908100},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/CostanzoSG16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/CostanzoS14,
  author    = {David Costanzo and
               Zhong Shao},
  editor    = {Mart{\'{\i}}n Abadi and
               Steve Kremer},
  title     = {A Separation Logic for Enforcing Declarative Information Flow Control
               Policies},
  booktitle = {Principles of Security and Trust - Third International Conference,
               {POST} 2014, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
               2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8414},
  pages     = {179--198},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54792-8\_10},
  doi       = {10.1007/978-3-642-54792-8\_10},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/post/CostanzoS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/CostanzoS12,
  author    = {David Costanzo and
               Zhong Shao},
  editor    = {Ranjit Jhala and
               Atsushi Igarashi},
  title     = {A Case for Behavior-Preserving Actions in Separation Logic},
  booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
               2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7705},
  pages     = {332--349},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35182-2\_24},
  doi       = {10.1007/978-3-642-35182-2\_24},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/aplas/CostanzoS12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/GuVFSC11,
  author    = {Liang Gu and
               Alexander Vaynberg and
               Bryan Ford and
               Zhong Shao and
               David Costanzo},
  editor    = {Haibo Chen and
               Zheng Zhang and
               Sue Moon and
               Yuanyuan Zhou},
  title     = {CertiKOS: a certified kernel for secure cloud computing},
  booktitle = {APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July
               11-12, 2011},
  pages     = {3},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2103799.2103803},
  doi       = {10.1145/2103799.2103803},
  timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/apsys/GuVFSC11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics