January 6, 2024

Yuantian will present his work on synthesizing bit-vector programs at POPL. Congrats Yuantian!