3 papers
cs.SE2026
A Study of Scientific Computational Notebook Quality
Shun Kashiwa, Ayla Kurdak, Savitha Ravi +5
The quality of scientific code is a critical concern for the research community. Poorly written code can result in irreproducible results, incorrect findings, and slower scientific…
cs.PL2024
Efficient, Portable, Census-Polymorphic Choreographic Programming
Mako Bates, Shun Kashiwa, Syed Jafri +3
Choreographic programming (CP) is a paradigm for implementing distributed systems that uses a single global program to define the actions and interactions of all participants. Libr…
cs.PL2023
Portable, Efficient, and Practical Library-Level Choreographic Programming
Shun Kashiwa, Gan Shen, Soroush Zare +1
Choreographic programming (CP) is an emerging paradigm for programming distributed applications that run on multiple nodes. In CP, the programmer writes one program, called a chore…