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
- A Set-Based Context Model for Program Analysis, November 2020. Leandro Fachinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro. Asian Symposium on Programming Languages and Systems (APLAS). [PDF]
Talks
- Automatic Repair of Regular Expressions (Pan, Hu, Xu, D'Antoni) for Cornell's Programming Languages Discussion Group, Spring 2021. [PDF]
- Quickly Detecting Relevant Program Invariants (Ernst, Czeisler, Griswold, Notkin) and Leveraging Test Generation and Specification Mining for Automated Bug Detection with False Positives (Pradel, Gross) for Cornell's Great Works in Programming Languages, Spring 2021. [PDF]
- Context-Sensitive Data-Dependence Analysis via Linear Conjunctive Language Reachability (Zhang, Su) for Cornell's Programming Languages Discussion Group, Fall 2020. [PDF]
Teaching Experiences
Swarthmore College
- Teaching Assistant - CS73: Programming Languages [S20]
- Teaching Assistant - CS46: Theory of Computation [S20]
- Student Mentor - CS21: Introduction to Computer Science [F18]
Service
- I co-organized Cornell CS's 2021 Admitted Students Day!
Misc
Fun Facts
- Outside CS, I am a big fan of many things: dogs, the viola, board games, baking, memes, the J-POP band Official HIGE DANdism, wonderful comedy shows The Good Place and Parks and Recreation, and more!
- My undergrad thesis in Music was written about Johann Nepomuk Hummel, a composer contemporary of Beethoven, and his role in cultivating the improvisatory Fantasie and Potpourri musical genres. You can read it here.
- I was on the Varsity Tennis team for all four years of my High School career, and somehow this surprised all of my friends in College.
- I am one of those people who have perfect pitch, and will tell you that I have perfect pitch whenever I get a chance to do so.
- My first name can be pronounced like either "eye-AH-ka" or "AH-ya-ka", and a nice work-around in pronouncing my last name is to say "You're a hero" fast.
- If you take the first letter off of my last name, it becomes an element of a nonregular language - the language of palindromes!
Musings and Advice
Not quite sure what this section is, but I wrote some things down that may or may not be helpful...