BibTeX records: Alex Hixon

download as .bib file

@inproceedings{DBLP:conf/asplos/AmaniHCRCOBNLST16,
  author    = {Sidney Amani and
               Alex Hixon and
               Zilin Chen and
               Christine Rizkallah and
               Peter Chubb and
               Liam O'Connor and
               Joel Beeren and
               Yutaka Nagashima and
               Japheth Lim and
               Thomas Sewell and
               Joseph Tuong and
               Gabriele Keller and
               Toby C. Murray and
               Gerwin Klein and
               Gernot Heiser},
  editor    = {Tom Conte and
               Yuanyuan Zhou},
  title     = {CoGENT: Verifying High-Assurance File System Implementations},
  booktitle = {Proceedings of the Twenty-First International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               '16, Atlanta, GA, USA, April 2-6, 2016},
  pages     = {175--188},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2872362.2872404},
  doi       = {10.1145/2872362.2872404},
  timestamp = {Tue, 03 Sep 2019 08:30:33 +0200},
  biburl    = {https://dblp.org/rec/conf/asplos/AmaniHCRCOBNLST16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/OConnorRCALNSHK16,
  author    = {Liam O'Connor and
               Christine Rizkallah and
               Zilin Chen and
               Sidney Amani and
               Japheth Lim and
               Yutaka Nagashima and
               Thomas Sewell and
               Alex Hixon and
               Gabriele Keller and
               Toby C. Murray and
               Gerwin Klein},
  title     = {{COGENT:} Certified Compilation for a Functional Systems Language},
  journal   = {CoRR},
  volume    = {abs/1601.05520},
  year      = {2016},
  url       = {http://arxiv.org/abs/1601.05520},
  archivePrefix = {arXiv},
  eprint    = {1601.05520},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/OConnorRCALNSHK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics