bibliographer - Ian Stark

bibliographer a curated TCS bibliography

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

Reducibility and tophspace0.167emtop-Lifting for Computation Types Sam Lindley Ian Stark [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]