ayaka_photo

Ayaka Yorihiro (頼廣 采佳)

she/her

ayaka@cs.cornell.edu

CV

Twitter

About

I am a first-year PhD student in the Department of Computer Science at Cornell University. I received a BA in Computer Science and Music from Swarthmore College in May 2020, where I was advised by Zachary Palmer.

I am generally interested in Software Engineering and Programming Languages, with the goal to explore various avenues to help programmers and engineers better understand code and find bugs. At Swarthmore, I worked on developing the theory and implementation of Plume, a family of static program analyses for functional programs that supports not only fixed-size list-based context models, but also a Set-based context model, where control flows are equated with the same set of call sites on the program stack. From experimentation on both types of context models in various program analyses, we found that the set-based model shows promise for tractability and expressivity on representative functional programs for both forward- and demand-driven functional analyses.

Research

Projects

Currently, I am exploring various topics in Runtime Verification. More info coming soon!

Publications

Talks

Teaching Experiences

Swarthmore College

Service

Misc

Fun Facts

Musings and Advice

Not quite sure what this section is, but I wrote some things down that may or may not be helpful...