Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly
Azure apparatchik shows custom silicon keeping everything locked down
theregister.com·10h
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d
Loading...Loading more...