Conference paperCompiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic ProgrammingGuillaume Baudart, Javier Burroni, et al.PLDI 2021
Conference paperGNNIC: Finding Long-Lost Sibling Functions with Abstract SimilarityQiushi Wu, Zhongshu Gu, et al.NDSS 2024
PaperRiver: an intermediate language for stream processingRobert Soulé, Martin Hirzel, et al.Software - Practice and Experience