Shun Kashiwa

Master's Student in Computer Science / Software Engineer


Hi! I'm Shun Kashiwa, and I'm currently a first-year master's student at the University of California, Santa Cruz.

I am interested in developer productivity, in particular, using programming languages and tools to make developers more productive.

I have experience in web development and am skilled in designing and developing modern web front-ends. I am also a hobby iOS developer and published several apps on the App Store.

Publications & Drafts

Shun Kashiwa, Gan Shen, Soroush Zare, Lindsey Kuper

Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Work Experiences

Software Engineer, Intern

Recruit | August - September 2020

Worked for Hot Pepper Beauty Cosme: a user-generated cosmetics review website. Improved server response time by 200ms by optimizing React's server-side rendering process; accomplished a better user experience and reduced the use of server resources. Blog Post (Japanese).

Part-time Frontend Engineer

atena | 2020 - 2022

Led the frontend development of atena - digital mailbox where users can browse postal mails online. Was responsible for the redesign of user console and architected the web application using React, Next.js, styled-components, Storybook, Jest, SWR, etc.

Software Engineer, Intern

M3 | July - August 2019

Participated in the development of Docpedia: Q&A website for medical professionals. Created specifications, designed APIs and implemented the back-end and front-end for users' profile screen. Blog Post (Japanese).

Software Engineer, Intern

Mercari | August 2018

Added new features to Mercari: the most popular C2C e-commerce app in Japan with 10M+ monthly active users. Used modern technologies such as TypeScript, React, Jest, and Storybook to write maintainable code. Analyzed user-events through BigQuery and Kibana and made data-driven decisions.



Open Source

ChoRus is a library for practicing choreographic programming in the Rust programming language. It achieves efficient choreographic programming with two new implementation techniques: EPP-as-DI and choreographic enclaves. Please see the paper and the website for more details.


Open Source

Built an iOS app that extends the Safari browser and brings gesture control. Downloaded for more than 50,000 times. Featured at the Apple App Store multiple times ( Best Apps and Games of September 2021, Get Started With Safari Extensions). Source code at GitHub.

University Service

Undergraduate Tutor

UC Santa Cruz

Worked as an undergraduate tutor for CSE 138: Distributed Systems in Fall 2021 and CSE 114A: Foundations of Programming Language in Spring 2022. Hosted tutoring sessions and helped students on concepts and assignments.