Shun Kashiwa

According to our database, Shun Kashiwa authored at least 3 papers in 2023.

Collaborative distances:

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

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