3D Environment Modeling for Falsification and Beyond with Scenic 3.0. - Eric Vin; Shun Kashiwa; Matthew Rhea; Daniel J. Fremont; Edward Kim 005; Tommaso Dreossi; Shromona Ghosh; Xiangyu Yue 001; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia (CAV (1), 2023)

Portable, Efficient, and Practical Library-Level Choreographic Programming. - Shun Kashiwa; Gan Shen; Soroush Zare; Lindsey Kuper (CoRR, 2023)

HasChor: Functional Choreographic Programming for All (Functional Pearl). - Gan Shen; Shun Kashiwa; Lindsey Kuper (Proc. ACM Program. Lang., 2023)

Efficient, Portable, Census-Polymorphic Choreographic Programming. - Mako Bates; Shun Kashiwa; Syed Jafri; Gan Shen; Lindsey Kuper; Joseph P. Near (Proc. ACM Program. Lang., 2025)