git.ralfj.de Git - web.git/history - research/papers/2026-popl-miri.pdf

]> git.ralfj.de Git - web.git/history - research/papers/2026-popl-miri.pdf

3 days ago	Ralf Jung	miri paper: fix typo	blob \| commitdiff \| raw
4 days ago	Ralf Jung	update Miri paper (fix section titles)	blob \| commitdiff \| raw \| diff to current
10 days ago	Ralf Jung	update Miri paper: add missing acknowledgments	blob \| commitdiff \| raw \| diff to current
2025-12-03	Ralf Jung	add Miri paper	blob \| commitdiff \| raw \| diff to current

sources for my website