VM Sessions and hackathon

Schedule:

Friday, 2021-11-19:
14:00 - 15:00: "JIT Superoptimization via Counterexample-Driven Program Synthesis" by Boris Shingarov
15:00 - 16:00: discussion and break
16:00 - 16:30: "Towards symbolic execution of JIT: an experiment with Powerlang compiler" by Jan Vrany
16:30 - 17:30: discussion and break
Saturday, 2021-11-20:
14:00 - 15:00: "Refinement Reflection and Deep Theorem Proving in Smalltalk" by Boris Shingarov
15:00 - 16:00: discussion and break
16:00 onwards: Hacking session on Powerlang and JIT superoptimizer

Recommended Info:
https://drive.google.com/drive/folders/174KmOer56K4Zq7-4mRG7fEaRzJlaMM7O?usp=sharing