bibliographer - Kathryn E. Gray

bibliographer a curated TCS bibliography

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

Lem Dominic P. Mulligan Scott Owens Kathryn E. Gray Tom Ridge 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 (2 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]