Follow
Shun Kashiwa
Shun Kashiwa
University of California, Santa Cruz
Verified email at ucsc.edu - Homepage
Title
Cited by
Cited by
Year
Haschor: Functional choreographic programming for all (functional pearl)
G Shen, S Kashiwa, L Kuper
Proceedings of the ACM on Programming Languages 7 (ICFP), 541-565, 2023
142023
Portable, Efficient, and Practical Library-Level Choreographic Programming
S Kashiwa, G Shen, S Zare, L Kuper
arXiv preprint arXiv:2311.11472, 2023
12023
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
E Vin, S Kashiwa, M Rhea, DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ...
International Conference on Computer Aided Verification, 253-265, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–3