BibTeX records: Ben Simner

• > Home > Persons > Ben Simner

@inproceedings{DBLP:conf/iwmm/ParkinsonCS23,
  author       = {Matthew J. Parkinson and
                  Sylvan Clebsch and
                  Ben Simner},
  editor       = {Stephen M. Blackburn and
                  Erez Petrank},
  title        = {Wait-Free Weak Reference Counting},
  booktitle    = {Proceedings of the 2023 {ACM} {SIGPLAN} International Symposium on
                  Memory Management, {ISMM} 2023, Orlando, FL, USA, 18 June 2023},
  pages        = {85--96},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591195.3595271},
  doi          = {10.1145/3591195.3595271},
  timestamp    = {Tue, 13 Jun 2023 16:34:39 +0200},
  biburl       = {https://dblp.org/rec/conf/iwmm/ParkinsonCS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/SimnerAPPGS22,
  author       = {Ben Simner and
                  Alasdair Armstrong and
                  Jean Pichon{-}Pharabod and
                  Christopher Pulte and
                  Richard Grisenthwaite and
                  Peter Sewell},
  editor       = {Ilya Sergey},
  title        = {Relaxed virtual memory in Armv8-A},
  booktitle    = {Programming Languages and Systems - 31st European Symposium on Programming,
                  {ESOP} 2022, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
                  2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13240},
  pages        = {143--173},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-99336-8\_6},
  doi          = {10.1007/978-3-030-99336-8\_6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/SimnerAPPGS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2203-00642,
  author       = {Ben Simner and
                  Alasdair Armstrong and
                  Jean Pichon{-}Pharabod and
                  Christopher Pulte and
                  Richard Grisenthwaite and
                  Peter Sewell},
  title        = {Relaxed virtual memory in Armv8-A (extended version)},
  journal      = {CoRR},
  volume       = {abs/2203.00642},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.00642},
  doi          = {10.48550/ARXIV.2203.00642},
  eprinttype    = {arXiv},
  eprint       = {2203.00642},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-00642.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ArmstrongCSPS21,
  author       = {Alasdair Armstrong and
                  Brian Campbell and
                  Ben Simner and
                  Christopher Pulte and
                  Peter Sewell},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Isla: Integrating Full-Scale {ISA} Semantics and Axiomatic Concurrency
                  Models},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12759},
  pages        = {303--316},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81685-8\_14},
  doi          = {10.1007/978-3-030-81685-8\_14},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ArmstrongCSPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/SimnerFPAPMS20,
  author       = {Ben Simner and
                  Shaked Flur and
                  Christopher Pulte and
                  Alasdair Armstrong and
                  Jean Pichon{-}Pharabod and
                  Luc Maranget and
                  Peter Sewell},
  editor       = {Peter M{\"{u}}ller},
  title        = {ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures},
  booktitle    = {Programming Languages and Systems - 29th European Symposium on Programming,
                  {ESOP} 2020, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12075},
  pages        = {626--655},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-44914-8\_23},
  doi          = {10.1007/978-3-030-44914-8\_23},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/SimnerFPAPMS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/WindsorDSP17,
  author       = {Matt Windsor and
                  Mike Dodds and
                  Ben Simner and
                  Matthew J. Parkinson},
  editor       = {Rupak Majumdar and
                  Viktor Kuncak},
  title        = {Starling: Lightweight Concurrency Verification with Views},
  booktitle    = {Computer Aided Verification - 29th International Conference, {CAV}
                  2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10426},
  pages        = {544--569},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63387-9\_27},
  doi          = {10.1007/978-3-319-63387-9\_27},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/WindsorDSP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}