Segui
Shun Kashiwa
Shun Kashiwa
University of California, Santa Cruz
Email verificata su ucsc.edu - Home page
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–3