topic.software.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bibtex2html-1.99-with-magiclink/bib2bib -c software:"true" -ob topic.software.bib sewellbib2.bib}}

@misc{sail-sw,
  author = {   
    Alasdair Armstrong 
 and    Thomas Bauereiss
 and    Brian Campbell
 and    Shaked Flur
 and    Jon French
 and    Kathryn E. Gray 
 and    Stephen Kell               
 and    Gabriel Kerneis 
 and    Neel Krishnaswami
 and    Prashanth Mundkur 
 and    Robert Norton-Wright
 and    Christopher Pulte
 and    Alastair Reid 
 and    Peter Sewell
 and    Ian Stark 
 and    Mark Wassell},
  optauthor = {Kathryn E. Gray and Peter Sewell and Christopher Pulte and Shaked Flur and Robert Norton-Wright},
  title = {The {Sail} Instruction-Set Architecture (ISA) specification language},
  year = {2013--2024},
  optnote = {\url{http://www.cl.cam.ac.uk/~pes20/sail/}},
  project = {http://www.cl.cam.ac.uk/~pes20/sail/},
  github = {https://github.com/rems-project/sail},
  optrecent = {true},
  software = {true},
  elversoftware = {true},
  pkvmsoftware = {true}
}

@misc{isla-sw,
  author = {   
     Alasdair Armstrong 
 and Brian Campbell
 and Thibaut P{\'e}rami
 and Ben Simner
 and Peter Sewellb
 and Dhruv Makwana},
  title = {The {Isla} symbolic evaluation engine for {Sail} and {Isla-axiomatic} exploration tool for axiomatic concurrency models},
  year = {2019--2024},
  optnote = {\url{http://www.cl.cam.ac.uk/~pes20/sail/}},
  note = {\href{http://isla-axiomatic.cl.cam.ac.uk/}{[web interface]}},
  project = {http://www.cl.cam.ac.uk/~pes20/sail/},
  github = {https://github.com/rems-project/isla},
  optrecent = {true},
  software = {true},
  elversoftware = {true},
  pkvmsoftware = {true}
}

@misc{sail-arm,
  optkey = {},
  author = {
  Thomas Bauereiss and
  Brian Campbell and
  Alasdair Armstrong and
  Alastair Reid and
  Kathryn E. Gray and
  Anthony Fox and
  Peter Sewell and
  Arm Limited
  },
  title = {Sail {Armv9.4-A, Armv9.3-A and ARMv8.5-A} instruction-set architecture ({ISA}) models},
  opthowpublished = {},
  optmonth = {},
  year = {2019, 2022, 2024},
  optnote = {},
  optannote = {},
  project = {http://www.cl.cam.ac.uk/~pes20/sail/},
  github = {https://github.com/rems-project/sail-arm},
  software = {true},
  elversoftware = {true}
}

@misc{sail-morello,
  optkey = {},
  author = {
  Arm Limited and
  Thomas Bauereiss and
  Brian Campbell and
  Alasdair Armstrong and
  Alastair Reid and
  Peter Sewell 
  },
  title = {{Sail Morello (CHERI Arm)} instruction-set architecture ({ISA}) model},
  opthowpublished = {},
  optmonth = {},
  year = {2022},
  optnote = {},
  optannote = {},
  project = {http://www.cl.cam.ac.uk/~pes20/sail/},
  github = {https://github.com/CTSRD-CHERI/sail-morello},
  software = {true},
  elversoftware = {true}
}

@misc{sail-riscv,
  optkey = {},
  author = {
   ahadali5000 and
   Alasdair Armstrong and
   Alexander Richardson and
   Aril Computer Corp. (for contributions by Scott Johnson) and
   Ben Marshall and
   Bicheng Yang and
   Bilal Sakhawat and
   Brian Campbell and
   Chris Casinghino and
   Christopher Pulte and
   Codasip (for contributions by Tim Hutt, Martin Berger and Ben Fletcher) and
   dylux and
   eroom1966 and
   Google LLC (for contributions by its employees) and
   Hesham Almatary and
   Jan Henrik Weinstock and
   Jessica Clarke and
   Jon French and
   Martin Berger and
   Michael Sammler and
   Microsoft (for contributions by Robert Norton-Wright and Nathaniel Wesley Filardo) and
   Muhammad Bilal Sakhawat and
   Nathaniel Wesley Filardo and
   Paul A. Clarke and
   Peter Rugg and
   Peter Sewell and
   Philipp Tomsich and
   Prashanth Mundkur and
   Rafael Sene and
   Nikhil (Bluespec, Inc.), Rishiyur S.  and
   Robert Norton-Wright and
   Shaked Flur and
   Thibaut Pérami and
   Thomas Bauereiss and
   VRULL GmbH (for contributions by its employees) and
   William McSpaddden and
   Xinlai Wan
  },
  title = {Sail {RISC-V} instruction-set architecture ({ISA}) model},
  opthowpublished = {},
  optmonth = {},
  year = {2014--2024},
  optnote = {},
  optannote = {},
  project = {http://www.cl.cam.ac.uk/~pes20/sail/},
  optgithub = {https://github.com/rems-project/sail-riscv},
  github = {https://github.com/riscv/sail-riscv},
  software = {true},
  elversoftware = {true}
}

@misc{sail-cheri-mips,
  optkey = {},
  author = {
Alasdair Armstrong
and  Thomas Bauereiss
and  Brian Campbell
and  Jessica Clarke
and  Nathaniel Filardo
and  Shaked Flur
and  Jon French
and  Kathryn E. Gray
and  Alexandre Joannou
and  Robert Norton-Wright
and  Christopher Pulte
and  Alexander Richardson
and  Peter Sewell
  },
  title = {Sail {CHERI-MIPS} instruction-set architecture ({ISA}) model},
  opthowpublished = {},
  optmonth = {},
  year = {2016--2021},
  optnote = {},
  optannote = {},
  project = {https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/},
  optproject = {http://www.cl.cam.ac.uk/~pes20/sail/},
  github = {https://github.com/CTSRD-CHERI/sail-cheri-mips},
  software = {true}
}

@misc{sail-cheri-riscv,
  optkey = {},
  author = {
  Alasdair Armstrong
and  Thomas Bauereiss
and  Brian Campbell
and  Jessica Clarke
and   Filardo, Nathaniel Wesley
and Google
and  Alexandre Joannou
and Microsoft
and  Prashanth Mundkur
and  Robert Norton-Wright 
and  Alexander Richardson
and  Peter Rugg
and  Peter Sewell
  },
  title = {Sail {CHERI-RISC-V} instruction-set architecture ({ISA}) model},
  opthowpublished = {},
  optmonth = {},
  year = {2019--2024},
  optnote = {},
  optannote = {},
  project = {https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/},
  optproject = {http://www.cl.cam.ac.uk/~pes20/sail/},
  github = {https://github.com/CTSRD-CHERI/sail-cheri-riscv},
  software = {true},
  elversoftware = {true}
}

@misc{rmem,
  optkey = {},
  author = {
Susmit Sarkar and Peter Sewell and Luc Maranget and Shaked Flur and Christopher Pulte and Jon French and Ben Simner and
Scott Owens and 
Pankaj Pawan and
Francesco Zappa Nardelli and 
Sela Mador-Haim and 
Dominic Mulligan and 
Ohad Kammar and 
Jean Pichon-Pharabod and 
Gabriel Kerneis and 
Alasdair Armstrong and 
Thomas Bauereiss and 
Jeehoon Kang
  },
  title = {{RMEM}: Executable operational concurrency model exploration tool for {ARMv8}, {RISC-V}, {Power}, and {x86}},
  opthowpublished = {},
  optmonth = {},
  year = {2010--2024},
  note = {\href{http://www.cl.cam.ac.uk/users/pes20/rmem}{[web interface]}},
  optannote = {},
  github = {https://github.com/rems-project/rmem},
  software = {true},
  elversoftware = {true}
}

@misc{cppmem,
  optkey = {},
  author = {
    Mark Batty and
    Scott Owens and
    Jean Pichon-Pharabod and
    Susmit Sarkar and
    Peter Sewell},
  title = {CppMem: {C/C++} memory model exploration tool},
  opthowpublished = {},
  optmonth = {},
  year = {2012--2019},
  note = {\href{http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem}{[web interface]}},
  url = {http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem},
  optannote = {},
  software = {true}
}

@misc{cerberus,
  optkey = {},
  author = {
  Kayvan Memarian
and  Victor B. F. Gomes
and  Justus Matthiesen
and  Peter Sewell
and  Kyndylan Nienhuis
and  Stella Lau
and  Jean Pichon-Pharabod
and  Christopher Pulte
and  Rodolphe Lepigre
and  James Lingard
and  Thomas Sewell
and  Dhruv Makwana
},
  title = {Cerberus C executable semantics and exploration tool},
  opthowpublished = {},
  optmonth = {},
  year = {2016--2024},
  note = {\href{http://cerberus.cl.cam.ac.uk/cerberus}{[web interface]}},
  project = {http://www.cl.cam.ac.uk/~pes20/cerberus},
  github = {https://github.com/rems-project/cerberus},
  optannote = {},
  software = {true},
  elversoftware = {true},
  pkvmsoftware = {true}
}

@misc{cn-sw,
  optkey = {},
  author = {
Christopher Pulte and Dhruv C. Makwana and Thomas Sewell and Kayvan Memarian and Rini Banerjee and Peter Sewell and Neel Krishnaswami
},
  title = {CN C verification and testing tool},
  opthowpublished = {},
  optmonth = {},
  year = {2023--},
  optnote = {\href{http://cerberus.cl.cam.ac.uk/cerberus}{[web interface]}},
  github = {https://github.com/rems-project/cn},
  optannote = {},
  software = {true},
  elversoftware = {true},
  pkvmsoftware = {true}
}

@misc{cerberus-bmc,
  optkey = {},
  author = {
  Stella Lau
and  Kayvan Memarian
and  Victor B. F. Gomes
and  Kyndylan Nienhuis
and  Justus Matthiesen
and  James Lingard
and  Peter Sewell
},
  title = {{Cerberus-BMC} tool for exploring the behaviour of small concurrent {C} test programs with respect to an arbitrary axiomatic concurrency model},
  opthowpublished = {},
  optmonth = {},
  year = {2019},
  note = {\href{http://cerberus.cl.cam.ac.uk/bmc.html}{[web interface]}},
  project = {http://www.cl.cam.ac.uk/~pes20/cerberus},
  github = {https://github.com/rems-project/cerberus},
  optannote = {},
  software = {true},
  elversoftware = {true}
}

@misc{lem,
  optkey = {},
  optauthor = {Thomas Bauereiss and Kathryn E. Gray and  Gabriel Kerneis and Dominic Mulligan and  Scott Owens and Peter Sewell and Thomas Tuerk},
  author = {
Dominic Mulligan
and Thomas Bauereiss
and Kathryn E. Gray
and Scott Owens
and Peter Sewell 
and Thomas Tuerk

and Basile Clement
and Brian Campbell
and Christopher Pulte
and David Sheets
and Fabian Immler
and Frederic Loulergue
and Francesco Zappa Nardelli
and Gabriel Kerneis
and James Lingard
and Jean Pichon-Pharabod
and Justus Matthiesen
and Kayvan Memarian
and Kyndylan Nienhuis
and Lars Hupel
and Mark Batty
and Michael Greenberg
and Michael Norrish
and Ohad Kammar
and Peter Boehm
and Robert Norton
and Sami M\"akel\"a
and Shaked Flur
and Stephen Kell
and Thibaut P\'erami
and Thomas Bauereiss
and Thomas Williams
and Victor Gomes 
and emersion
},
  title = {Lem, a tool for lightweight executable mathematics},
  opthowpublished = {},
  optmonth = {},
  year = {2010--2023},
  optnote = {previously in instr-sem/lem ?},
  optnote = {},
  optannote = {},
  project = {https://www.cl.cam.ac.uk/~pes20/lem/},
  github = {https://github.com/rems-project/lem},
  software = {true}
}

@misc{linksem,
  optkey = {},
  author = {
   Dominic Mulligan
   and Stephen Kell
   and Simon Ser
   and Peter Sewell
   and Shaked Flur
   and Thibaut P{\'e}rami
   and Robert Norton
   and Ramana Kumar
   and Jonathan French
   and Thomas Bauereiss
  },
  title = {Linksem: Executable semantic model for aspects of {ELF} linking and {DWARF} debug information},
  opthowpublished = {},
  optmonth = {},
  year = {2014--2024},
  optnote = {},
  optannote = {},
  github = {https://github.com/rems-project/linksem},
  software = {true},
  elversoftware = {true},
  pkvmsoftware = {true}
}

@misc{ott,
  optkey = {},
  author = {Peter Sewell and Zappa Nardelli, Francesco and Scott Owens
and Joey Eremondi
and Hannes Mehnert
and Karl Palmskog
and Thibaut Perami
and Matthew Parkinson
and Hannes Mehnert
and kit-ty-kate
and Brian Campbell
and Francois Pottier
and Gilles Peskine
and Alastair Reid
and Tom Ridge
and Susmit Sarkar
and Rok Strni{\v{s}}a
and Viktor Vafeiadis
},
  title = {The Ott tool for writing definitions of programming languages and calculi},
  opthowpublished = {},
  optmonth = {},
  year = {2005--2024},
  optnote = {},
  optannote = {},
  project = {http://www.cl.cam.ac.uk/~pes20/ott/},
  github = {https://github.com/ott-lang/ott},
  software = {true},
  elversoftware = {true}
}

@misc{netsem,
  optkey = {},
  author = {Steve Bishop and Matthew Fairbairn and Hannes Mehnert and Michael Norrish and Tom Ridge and Peter Sewell and Michael Smith and Keith Wansbrough},
  title = {Network Semantics: formal specification of TCP, UDP, and the Sockets API},
  opthowpublished = {},
  optmonth = {},
  year = {2001--2017},
  optnote = {},
  optannote = {},
  project = {http://www.cl.cam.ac.uk/~pes20/Netsem},
  github = {https://github.com/rems-project/netsem},
  software = {true}
}