BibTeX records: Fraser Brown

download as .bib file

@inproceedings{DBLP:conf/pldi/BrownRNLSS20,
  author    = {Fraser Brown and
               John Renner and
               Andres N{\"{o}}tzli and
               Sorin Lerner and
               Hovav Shacham and
               Deian Stefan},
  editor    = {Alastair F. Donaldson and
               Emina Torlak},
  title     = {Towards a verified range analysis for JavaScript JITs},
  booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
               Programming Language Design and Implementation, {PLDI} 2020, London,
               UK, June 15-20, 2020},
  pages     = {135--150},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3385412.3385968},
  doi       = {10.1145/3385412.3385968},
  timestamp = {Tue, 09 Jun 2020 13:45:15 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/BrownRNLSS20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CauligiSJBWRGBJ19,
  author    = {Sunjay Cauligi and
               Gary Soeller and
               Brian Johannesmeyer and
               Fraser Brown and
               Riad S. Wahby and
               John Renner and
               Benjamin Gr{\'{e}}goire and
               Gilles Barthe and
               Ranjit Jhala and
               Deian Stefan},
  editor    = {Kathryn S. McKinley and
               Kathleen Fisher},
  title     = {FaCT: a {DSL} for timing-sensitive computation},
  booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
               June 22-26, 2019},
  pages     = {174--189},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3314221.3314605},
  doi       = {10.1145/3314221.3314605},
  timestamp = {Sun, 09 Jun 2019 18:52:19 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/CauligiSJBWRGBJ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AndryscoNBJS18,
  author    = {Marc Andrysco and
               Andres N{\"{o}}tzli and
               Fraser Brown and
               Ranjit Jhala and
               Deian Stefan},
  editor    = {David Lie and
               Mohammad Mannan and
               Michael Backes and
               XiaoFeng Wang},
  title     = {Towards Verified, Constant-time Floating Point Operations},
  booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2018, Toronto, ON, Canada, October
               15-19, 2018},
  pages     = {1369--1382},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3243734.3243766},
  doi       = {10.1145/3243734.3243766},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ccs/AndryscoNBJS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woot/SmithDNBS18,
  author    = {Michael Smith and
               Craig Disselkoen and
               Shravan Narayan and
               Fraser Brown and
               Deian Stefan},
  editor    = {Christian Rossow and
               Yves Younan},
  title     = {Browser history re: visited},
  booktitle = {12th {USENIX} Workshop on Offensive Technologies, {WOOT} 2018, Baltimore,
               MD, USA, August 13-14, 2018},
  publisher = {{USENIX} Association},
  year      = {2018},
  url       = {https://www.usenix.org/conference/woot18/presentation/smith},
  timestamp = {Mon, 20 Aug 2018 14:07:29 +0200},
  biburl    = {https://dblp.org/rec/conf/woot/SmithDNBS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/CauligiSBJHJS17,
  author    = {Sunjay Cauligi and
               Gary Soeller and
               Fraser Brown and
               Brian Johannesmeyer and
               Yunlu Huang and
               Ranjit Jhala and
               Deian Stefan},
  title     = {FaCT: {A} Flexible, Constant-Time Programming Language},
  booktitle = {{IEEE} Cybersecurity Development, SecDev 2017, Cambridge, MA, USA,
               September 24-26, 2017},
  pages     = {69--76},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/SecDev.2017.24},
  doi       = {10.1109/SecDev.2017.24},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/secdev/CauligiSBJHJS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BrownNWEJS17,
  author    = {Fraser Brown and
               Shravan Narayan and
               Riad S. Wahby and
               Dawson R. Engler and
               Ranjit Jhala and
               Deian Stefan},
  title     = {Finding and Preventing Bugs in JavaScript Bindings},
  booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
               CA, USA, May 22-26, 2017},
  pages     = {559--578},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/SP.2017.68},
  doi       = {10.1109/SP.2017.68},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/sp/BrownNWEJS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BrownNE16,
  author    = {Fraser Brown and
               Andres N{\"{o}}tzli and
               Dawson R. Engler},
  editor    = {Tom Conte and
               Yuanyuan Zhou},
  title     = {How to Build Static Checking Systems Using Orders of Magnitude Less
               Code},
  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     = {143--157},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2872362.2872364},
  doi       = {10.1145/2872362.2872364},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/asplos/BrownNE16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/Brown16,
  author    = {Fraser Brown},
  editor    = {Toby C. Murray and
               Deian Stefan},
  title     = {Short Paper: Superhacks: Exploring and Preventing Vulnerabilities
               in Browser Binding Code},
  booktitle = {Proceedings of the 2016 {ACM} Workshop on Programming Languages and
               Analysis for Security, PLAS@CCS 2016, Vienna, Austria, October 24,
               2016},
  pages     = {103--109},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2993600.2993602},
  doi       = {10.1145/2993600.2993602},
  timestamp = {Tue, 06 Nov 2018 11:07:30 +0100},
  biburl    = {https://dblp.org/rec/conf/ccs/Brown16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NotzliB16,
  author    = {Andres N{\"{o}}tzli and
               Fraser Brown},
  editor    = {Charles Zhang and
               Xavier Rival},
  title     = {LifeJacket: verifying precise floating-point optimizations in {LLVM}},
  booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on State
               Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA,
               USA, June 14, 2016},
  pages     = {24--29},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2931021.2931024},
  doi       = {10.1145/2931021.2931024},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/NotzliB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NotzliB16,
  author    = {Andres N{\"{o}}tzli and
               Fraser Brown},
  title     = {LifeJacket: Verifying precise floating-point optimizations in {LLVM}},
  journal   = {CoRR},
  volume    = {abs/1603.09290},
  year      = {2016},
  url       = {http://arxiv.org/abs/1603.09290},
  archivePrefix = {arXiv},
  eprint    = {1603.09290},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/NotzliB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics