back to root

back to bookclub

2021-01-21 at 15:00 (CET): A Minimalistic Verified Bootst...

• Sophie Tourret

  2021-01-14 13:40:24 (GMT)

  FYI: There are a long and a short video-talk for CPP 21 about this paper available here: https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compiler-Proof-Pearl- .

• Sibylle Moehle

  2021-01-17 14:24:49 (GMT)

  :+1:

• Mathias Fleury

  2021-01-21 6:14:30 (GMT)

  See you all today on https://jitsi.mpi-klsb.mpg.de/sneeuwbal_bookclub at 15:00 (CET)!

• Jasmin Blanchette

  2021-01-21 7:58:53 (GMT)

  Will do my best. :) There's also a PhD defense at TUM right before.

• Sophie Tourret

  2021-01-21 13:26:43 (GMT)

  Sorry, but I will have to pass that one out... :sad:

• Martin Desharnais

  2021-01-21 15:6:19 (GMT)

  https://compcert.org/

• Simon Cruanes

  2021-01-21 15:14:2 (GMT)

  Mathias Fleury said:

  See you all today on https://jitsi.mpi-klsb.mpg.de/sneeuwbal_bookclub at 15:00 (CET)!

  I think we need reminders the day before :tired: . I forgot about that one again…

• Mathias Fleury

  2021-01-21 15:15:58 (GMT)

  I am going to do that next time! thanks for the information.