Shun Kashiwa

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 5

Top Topics

Programming Language

Functional Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CoRR (2023)
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CAV (1) (2023)
Gan Shen, Shun Kashiwa, Lindsey Kuper
HasChor: Functional Choreographic Programming for All (Functional Pearl). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Gan Shen, Shun Kashiwa, Lindsey Kuper
HasChor: Functional Choreographic Programming for All (Functional Pearl). CoRR (2023)
Shun Kashiwa, Gan Shen, Soroush Zare, Lindsey Kuper
Portable, Efficient, and Practical Library-Level Choreographic Programming. CoRR (2023)