Boltzmann sampling for fun and profit : Comment utiliser des séries formelles pour corriger des copies !

April 11, 2022

Benoit Barbot (LACL)

The long title : a modest proposal for preventing teacher to think too hard when evaluating student’s programmatic feast.

Therein the speaker, the honourable Benoît Barbot shall enlighten us on the theory and practice of Boltzmann sampling, before reporting on the masterful application in automated evaluation of student’s programming skills in functional programming.

The title is a reference to the excellent essay of Dr J. Swift.
https://en.wikipedia.org/wiki/A_Modest_Proposal