Liquify Your Programs, accepted for presentation at SYNT ‘26, co-located with CAV ‘26. Congrats Rajarshi!