December 6, 2024

Yongwei’s paper on using derivatives to intelligently drive symbolic execution will appear at POPL. Congrats to Yongwei, Zhe, and Julia!