Hello! My name is Sora Kanosue and I’m interested in programming languages, compilers, human computer interaction, and math.
I’m currently a Master’s student at UC Berkeley advised by the wonderful Sarah E. Chasins, who I’ve been working with since my time in undergrad, also at UC Berkeley. I expect to graduate in May 2024, and until then, will be continuing my work building and evaluating CNL.
I graduated from undergrad in May 2023, with a major in Computer Science and a minor in Mathematics. I spent my summers interning at Amazon, interning at Cohesity, and teaching.
Research
A DSL for human-in-the-loop data transformation GUIs
Domain experts in the social sciences often undertake large repetitive tasks involving large amounts of data without the technical expertise to automate them. The idea for Cool New Language (CNL) grew out of a project building a bespoke interface for one such task, and realizing that building such a tool with existing abstractions and frameworks is hard. For my Master’s thesis, I will be conducting a user study of programmers using CNL.
I’m being advised on this project by Sarah E. Chasins with mentoring from Parker Ziegler.
Using symbolic execution to optimize RISC-V code
SEPO is a system I’m working on in collaboration with Jacob Yim that explores how ideas from symbolic execution can be leveraged to optimize assembly code. We began by modeling the semantics of the RISC-V ISA to build a symbolic execution engine. This engine was used to execute RISC-V assembly to output traces of snapshots of symbolic CPU states. Our work currently focuses on how these traces can be analyzed to identify optimizing rewrites of the original assembly.
Service
2019-
BMUN is a non-profit organization promoting awareness of international issues and diplomacy and helping high schoolers build debate and public speaking skills through UN simulations. For the past two years, I have served as BMUN’s Treasurer, with major projects including overhauling our scholarship program, and automating our invoicing. Previously, I led BMUN 70’s iteration of the Security Council, and have helped facilitate simulations of the UNHRC and UNEP.