The provenance memory model for C
Link: gustedt.wordpress.com/2025/06/…
Discussion: news.ycombinator.com/item?id=4…
The provenance memory model for C
A years-long effort led by Kayvan Memarian and Peter Sewell from Cambridge University, UK, Martin Uecker from Graz University of Technology, Austria, and myself (from ICube/Inria, France) has guide…Jens Gustedt's Blog
Austrian
in reply to Working Class History • • •