2020-11-26 14:59:34 (GMT)
Please submit proposals for the next bookclub in January. Decision beginning of January (around 2021-01-06).
2020-12-30 20:3:42 (GMT)
Not a lot of proposals so far… :)
2020-12-31 15:36:7 (GMT)
A Minimalistic Verified Bootstrapped Compiler (Proof Pearl)
Magnus O. Myreeen
CPP 2021 (distinguished paper award)
http://www.cse.chalmers.se/~myreen/cpp2021-bootstrap-myreen.pdf
2021-01-07 12:48:33 (GMT)
So we now have a winner:
Jasmin Blanchette said:
A Minimalistic Verified Bootstrapped Compiler (Proof Pearl)
Magnus O. Myreeen
CPP 2021 (distinguished paper award)
http://www.cse.chalmers.se/~myreen/cpp2021-bootstrap-myreen.pdf
See you all in two weeks!