Shun Kashiwa

According to our database, Shun Kashiwa authored at least 5 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A Study of Scientific Computational Notebook Quality.

Shun Kashiwa, Ayla Kurdak, Savitha Ravi, Ridhi Srikanth, Angel Thakur, Sonia Chandra, Jonathan Truong, Michael Coblenz

CoRR, March, 2026

2025

Efficient, Portable, Census-Polymorphic Choreographic Programming.

Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near

Proc. ACM Program. Lang., 2025

2023

HasChor: Functional Choreographic Programming for All (Functional Pearl).

Gan Shen, Shun Kashiwa, Lindsey Kuper

Proc. ACM Program. Lang., August, 2023

Portable, Efficient, and Practical Library-Level Choreographic Programming.

Shun Kashiwa, Gan Shen, Soroush Zare, Lindsey Kuper

CoRR, 2023

3D Environment Modeling for Falsification and Beyond with Scenic 3.0.

Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 35th International Conference, 2023