Folgen
Shun Kashiwa
Shun Kashiwa
University of California, Santa Cruz
Bestätigte E-Mail-Adresse bei ucsc.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3