-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
593b8d9
commit c8512c7
Showing
1 changed file
with
26 additions
and
21 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -11,13 +11,12 @@ <h1> | |
</div><!--End of Header--> | ||
<div class = "basic_info"> | ||
<img src="crepes_closeup.jpeg" alt = "ayaka_photo"> | ||
<!-- <img src="crepe_photo.jpg" alt = "ayaka_photo"> --> | ||
<p> Ayaka Yorihiro (頼廣 采佳) </p> | ||
<p> she/her </p> | ||
<p> Gates Hall 456 </p> | ||
<p> <a href="mailto:[email protected]">[email protected]</a></p> | ||
<p> <a href = "Ayaka_Yorihiro_CV_Current.pdf"> CV </a></p> | ||
<p> <a href = "https://twitter.com/ayaka_yourhero"> Twitter </a></p> | ||
<!-- <p> <a href = "https://twitter.com/ayaka_yourhero"> Twitter </a></p> --> | ||
</div> <!-- End of basic_info --> | ||
<div class = "main_content"> | ||
<h2> About </h2> | ||
|
@@ -32,18 +31,24 @@ <h2> About </h2> | |
Zachary Palmer</a>. | ||
</p> | ||
<p> | ||
I am generally interested in Programming Languages and Software Engineering, 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 <i>Plume</i>, a family of static program analyses | ||
for functional programs that supports not only fixed-size list-based context models, | ||
but also a <i>Set-based</i> 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. | ||
I am generally interested in Programming Languages and | ||
Software Engineering. My research explores ways to help | ||
programmers better understand and find bugs in their code. At | ||
Swarthmore, I worked on developing the theory and | ||
implementation of <i>Plume</i>, a family of static program | ||
analyses for functional programs that supports not only | ||
fixed-size list-based context models, but also | ||
a <i>Set-based</i> 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. | ||
</p> | ||
<p>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. | ||
</p> | ||
<h2> Research </h2> | ||
<h3> Publications </h3> | ||
|
@@ -103,32 +108,32 @@ <h2> Service </h2> | |
<h2> Misc </h2> | ||
<h3> Fun Facts </h3> | ||
<ul> | ||
<li> Outside CS, I am a big fan of many things: dogs, the viola, | ||
<li> Outside CS, I am a big fan of many things: dogs, the viola, singing, | ||
board games, baking, memes, the J-POP band <a href = "https://higedan.com/"> | ||
Official HIGE DANdism</a> | ||
wonderful comedy shows | ||
<a href = "https://www.nbc.com/the-good-place">The Good | ||
Place</a> and <a href = | ||
"https://www.nbc.com/parks-and-recreation">Parks and | ||
Recreation</a>, and more! Recently I've been enjoying | ||
Recreation</a>, and more! Recently, I've been | ||
listening to the artist <a href = | ||
"https://www.universal-music.co.jp/ado/">Ado</a> and | ||
reading old novels by <a href = | ||
reading mystery novels by <a href = | ||
"https://www.goodreads.com/author/show/117366.Keigo_Higashino">Keigo | ||
Higashino</a>. | ||
Higashino</a> and <a href = | ||
"https://en.wikipedia.org/wiki/Miyuki_Miyabe">Miyuki | ||
Miyabe</a>. | ||
</li> | ||
<li> My undergrad thesis in Music was written about Johann Nepomuk Hummel, | ||
a composer contemporary of Beethoven, and his role in cultivating the | ||
improvisatory <i> Fantasie </i> and <i> Potpourri </i> musical genres. | ||
improvisatory <i>Fantasie</i> and <i>Potpourri</i> musical genres. | ||
You can read it <a href = "music_senior_comp.pdf">here</a>. | ||
</li> | ||
<li> 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.</li> | ||
<li> 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. </li> | ||
<li> 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. </li> | ||
<li> If you take the first letter off of my last name, it becomes an element | ||
of a nonregular language - the language of palindromes! | ||
</li> | ||
|