]> git.ralfj.de Git - web.git/commit
update Miri paper: add missing acknowledgments master
authorRalf Jung <post@ralfj.de>
Fri, 12 Dec 2025 18:10:49 +0000 (19:10 +0100)
committerRalf Jung <post@ralfj.de>
Fri, 12 Dec 2025 18:10:49 +0000 (19:10 +0100)
commit80fbe65d757aacd45ee62548221430faa5bb65d0
tree7a4b155c05feb9ee56aa86f8ca48294c99084ee1
parent9041989626bd4865507051dab2553c358a87f065
update Miri paper: add missing acknowledgments
research/papers/2026-popl-miri.pdf