Shun Kashiwa -

Registered user since Thu 17 Jun 2021

Name:Shun Kashiwa

Country:United States

Affiliation:University of California at San Diego

Personal website: https://shun-k.dev

GitHub: https://github.com/shumbo

Contributions

2025

PLDI

Author of Efficient, Portable, Census-Polymorphic Choreographic Programming within the PLDI Research Papers-track

2024

Choreographic Programming

Author of ChoRus: Library-Level Choreographic Programming in Rust within the Choreographic Programming 2024-track

2023

ICFP

Author of HasChor: Functional Choreographic Programming for All (Functional Pearl) within the ICFP Papers and Events-track
Author of HasChor: Functional Choreographic Programming for All (Artifact) within the Artifact Evaluation-track