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--2023},
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}
}
@misc{isla-sw,
author = {
Alasdair Armstrong
and Brian Campbell
and Thibaut P{\'e}rami
and Ben Simner
and Peter Sewell
and Dhruv Makwana},
title = {The {Isla} symbolic evaluation engine for {Sail} and {Isla-axiomatic} exploration tool for axiomatic concurrency models},
year = {2019--2023},
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}
}
@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.3-A and ARMv8.5-A} instruction-set architecture ({ISA}) models},
opthowpublished = {},
optmonth = {},
year = {2019, 2022},
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 = {
Prashanth Mundkur and
Rishiyur S. Nikhil and
Jon French and
Brian Campbell and
Robert Norton-Wright and
Alasdair Armstrong and
Thomas Bauereiss and
Shaked Flur and
Christopher Pulte and
Peter Sewell and
Alexander Richardson and
Hesham Almatary and
Jessica Clarke and
Nathaniel Wesley Filardo and
Peter Rugg and
Scott Johnson
},
title = {Sail {RISC-V} instruction-set architecture ({ISA}) model},
opthowpublished = {},
optmonth = {},
year = {2014--2023},
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 Nathaniel Wesley Filardo
and Alexandre Joannou
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--2023},
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--2023},
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--2023},
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}
}
@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--2023},
optnote = {},
optannote = {},
github = {https://github.com/rems-project/linksem},
software = {true},
elversoftware = {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--2023},
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}
}