bibliographer - Peter Sewell

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Mechanized Metatheory for the Masses: The PoplMark Challenge Brian E. Aydemir Aaron Bohannon Matthew Fairbairn J. Nathan Foster Benjamin C. Pierce Peter Sewell Dimitrios Vytiniotis Geoffrey Washburn Stephanie Weirich Steve Zdancewic [github]

Engineering with logic Steve Bishop Matthew Fairbairn Michael Norrish Peter Sewell Michael Smith Keith Wansbrough [github]

Lem Dominic P. Mulligan Scott Owens Kathryn E. Gray Tom Ridge Peter Sewell [github]

SibylFS Tom Ridge David Sheets Thomas Tuerk Andrea Giugliano Anil Madhavapeddy Peter Sewell [github]

The missing link: explaining ELF static linking, semantically Stephen Kell Dominic P. Mulligan Peter Sewell [github]

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS Alasdair Armstrong Thomas Bauereiss Brian Campbell Alastair Reid Kathryn E. Gray Robert M. Norton Prashanth Mundkur Mark Wassell Jon French Christopher Pulte Shaked Flur Ian Stark Neel Krishnaswami Peter Sewell [github]

Library Size: 13G (6 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]