Smalltalk VM Hackathon

3rd International Smalltalk VM Sessions and Hackathon

The aim of this virtual event is to share and discuss recent developments in Smalltalk VM construction.

The hackathon will be held on November 19th and 20th, 2021.

Friday, November 19th

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, November 20th

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

Session hours are in GMT-3 timezone.

Meetup information

Report abuse