Skip to content

Commit

Permalink
Deploy ayakayorihiro/ayakayorihiro.github.io to ayakayorihiro/ayakayo…
Browse files Browse the repository at this point in the history 
…rihiro.github.io:gh-pages
  • Loading branch information
GitHub Actions committed Sep 26, 2024
0 parents commit 9cbe877
Show file tree
Hide file tree
Showing 34 changed files with 2,188 additions and 0 deletions.
3 changes: 3 additions & 0 deletions 404.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
<!doctype html>
<title>404 Not Found</title>
<h1>404 Not Found</h1>
Binary file added Ayaka_Yorihiro_CV_Current.pdf
Binary file not shown.
254 changes: 254 additions & 0 deletions about/index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,254 @@
<!DOCTYPE html>
<html lang="en">

<head>
<meta charset="utf-8">

<title>About | Ayaka Yorihiro</title>

<link rel="icon" href=https://ayakayorihiro.github.io/img/favicon.png type="image/png">
<link href=https://ayakayorihiro.github.io/css/main.css type= "text/css" rel = "stylesheet">
</head>

<body>
<header>
<nav>
<h1 class="name"><a class="nav-item" href="/">Ayaka Yorihiro</a></h1>
<a class="nav-item" href="/#research">Research</a>
<a class="nav-item" href="/#teaching">Teaching</a>
<a class="nav-item" href="https://ayakayorihiro.github.io/posts/">Posts</a>
<a class="nav-item" href="https://ayakayorihiro.github.io/misc/">Misc</a>
<a class="nav-item" href="https://ayakayorihiro.github.io/Ayaka_Yorihiro_CV_Current.pdf">CV</a>
</nav>
</header><!--End of Header-->

<section class="section">
<div class="container">


<div class = "basic_info">
<img src="https://ayakayorihiro.github.io/img/tall.jpg" alt = "ayaka_photo">
<p> Ayaka Yorihiro (頼廣 采佳) <br>
she/her<br>
Gates Hall 407<br>
<a href="mailto:[email protected]">[email protected]</a><br>
<a href="https://github.com/ayakayorihiro">Github</a></p>
<!-- <p> <a href = "Ayaka_Yorihiro_CV_Current.pdf"> CV </a></p> -->
<!-- <p> <a href = "https://twitter.com/ayaka_yourhero"> Twitter </a></p> -->
</div> <!-- End of basic_info -->


<!-- Bio -->
<section>
<div class="bio">

<h2>About</h2>
<p>I am a fifth-year PhD candidate in the <a href="https://www.cs.cornell.edu/">Department of Computer Science</a> at <a href="https://www.cornell.edu/">Cornell University</a> working with <a href="https://www.cs.cornell.edu/~asampson/">Adrian Sampson</a> in the <a href="https://capra.cs.cornell.edu/">Capra research group</a>. I received a BA in <a href="https://www.swarthmore.edu/computer-science">Computer Science</a> and <a href="https://www.swarthmore.edu/music">Music</a> from <a href="https://www.swarthmore.edu/">Swarthmore College</a> in May 2020, where I was advised by <a href="https://www.cs.swarthmore.edu/~zpalmer/">Zachary Palmer</a>.</p>
<p>I am generally interested in Programming Languages and Software Engineering. More specifically, my research explores ways to help programmers better understand and find bugs in their code. At Swarthmore, I studied context model designs and their effects on static higher-order program analyses. Some of my time at Cornell was spent tackling challenges in Runtime Verification, a dynamic analysis technique to check program executions against formally specified properties. These days, I'm working on tools for hardware development that take inspiration from software engineering.</p>
<!--- # A tidbit about Plume. Maybe I can resurrect this later -->
<!--- Plume's novelty comes from supporting a Set-based context model, where control flows are equated with the same set of call sites on the program stack. We found in our experiments that the set-based model shows promise for tractability and expressivity on representative functional programs for both forward- and demand-driven functional analyses. -->
<p><strong>Pronounciation Guide:</strong> My first name can be pronounced as either &quot;eye-AH-ka&quot; (most common) or &quot;AH-ya-ka&quot; (closer to the Japanese intonation). A nice work-around in pronouncing my last name is to say &quot;You're a hero&quot; fast.</p>

</div>
</section>

<section>
<div class="research" id="research">
<h2>Research</h2>
<h3>Publications</h3>



<div>
<div>
<b>A FIRRTL Backend for the Calyx High-Level Accelerator Compilation Infrastructure</b>. <a href = "https:&#x2F;&#x2F;osda.ws&#x2F;">(OSDA &#x27;24)</a>
</div>
<div class="pub_list">

<b>Ayaka Yorihiro</b>,

<a href="https:&#x2F;&#x2F;griffinberlste.in&#x2F;">Griffin Berlstein</a>,

<a href="https:&#x2F;&#x2F;kevinlaeufer.com&#x2F;">Kevin Laeufer</a>,

and <a href="https:&#x2F;&#x2F;www.cs.cornell.edu&#x2F;~asampson&#x2F;">Adrian Sampson</a>.
<br>

[<a href=&#x2F;files&#x2F;publications&#x2F;calyx-firrtl.pdf>PDF</a>]


</div>
</div><br>


<div>
<div>
<b>eMOP: A Maven Plugin for Evolution-Aware Runtime Verification</b>. <a href = "https:&#x2F;&#x2F;rv23.csd.auth.gr&#x2F;">(RV &#x27;23)</a>
</div>
<div class="pub_list">

<b>Ayaka Yorihiro</b>,

<a href="https:&#x2F;&#x2F;pengyuejiang.github.io&#x2F;">Pengyue Jiang</a>,

Valeria Marqués,

Benjamin Carleton,

and <a href="https:&#x2F;&#x2F;www.cs.cornell.edu&#x2F;~legunsen&#x2F;">Owolabi Legunsen</a>.
<br>

[<a href=&#x2F;files&#x2F;publications&#x2F;emop.pdf>PDF</a>]


[<a href=https:&#x2F;&#x2F;github.com&#x2F;SoftEngResearch&#x2F;emop>Website</a>]

</div>
</div><br>


<div>
<div>
<b>A Set-Based Context Model for Program Analysis</b>. <a href = "https:&#x2F;&#x2F;conf.researchr.org&#x2F;home&#x2F;aplas-2020">(APLAS &#x27;20)</a>
</div>
<div class="pub_list">

<a href="https:&#x2F;&#x2F;leafac.com&#x2F;">Leandro Facchinetti</a>,

<a href="https:&#x2F;&#x2F;www.cs.swarthmore.edu&#x2F;~zpalmer&#x2F;">Zachary Palmer</a>,

<a href="https:&#x2F;&#x2F;www.cs.jhu.edu&#x2F;~scott&#x2F;">Scott F. Smith</a>,

Ke Wu,

and <b>Ayaka Yorihiro</b>.
<br>

[<a href=&#x2F;files&#x2F;publications&#x2F;plume.pdf>PDF</a>]


</div>
</div><br>

</div>
</section>

<section>
<div class="teaching" id="teaching">
<h2>Teaching Experience</h2>
&#127942; are courses where I won an Outstanding Teaching Award!


<h3>Cornell University</h3>
<p>Instructor:</p>
<ul>
<li>CS2110: Object-Oriented Programming and Data Structures [<a href="https://www.cs.cornell.edu/courses/cs2110/2024su/schedule.html">SU24</a>]</li>
</ul>
<p>Teaching Assistant:</p>
<ul>
<li>CS2110: Object-Oriented Programming and Data Structures [<a href="https://ayakayorihiro.github.io/teaching/cornell/%22https://www.cs.cornell.edu/courses/cs2110/2023fa">FA23</a>, <a href="https://www.cs.cornell.edu/courses/cs2110/2024sp">SP24</a>]</li>
<li>CS5154: Software Testing [<a href="https://www.cs.cornell.edu/courses/cs5154/2021fa/">FA21</a>🏆, <a href="https://www.cs.cornell.edu/courses/cs5154/2022fa/">FA22</a>]</li>
</ul>


<h3>Swarthmore College</h3>
<p>Teaching Assistant:</p>
<ul>
<li>CS73: Programming Languages [<a href="https://www.cs.swarthmore.edu/~zpalmer/cs73/s20/">SP20</a>]</li>
<li>CS46: Theory of Computation [<a href="https://www.cs.swarthmore.edu/~fontes/cs46/20s/">SP20</a>]</li>
<li>CS21: Introduction to Computer Science [<a href="https://www.cs.swarthmore.edu/courses/CS21Labs/f18/">FA18</a>]</li>
</ul>
<p>Grader:</p>
<ul>
<li>CS41: Algorithms [<a href="https://www.cs.swarthmore.edu/~fontes/cs41/19f/">F19</a>]</li>
<li>CS31: Introduction to Computer Systems [<a href="https://www.cs.swarthmore.edu/~richardw/classes/cs31/s18/">SP18</a>, <a href="https://www.cs.swarthmore.edu/~chaganti/cs31/s19/">SP19</a>, <a href="https://www.cs.swarthmore.edu/~newhall/cs31/f19">FA19</a>]</li>
<li>CS35: Data Structures and Algorithms [<a href="https://www.cs.swarthmore.edu/courses/CS35/F17/">FA17</a>]</li>
</ul>


</div>
</section>

<section>
<div class="service">


<h2>Service</h2>
<ul>
<li>I am a Czar for Cornell CS's PhD Mentoring Program!</li>
<li>I co-organized the Joint UT-Cornell Software Engineering Seminar in Summer 2022.</li>
<li>I was a student panelist for Cornell CS's <a href="https://ayakayorihiro.github.io/service/%22https://www.cs.cornell.edu/projects/phdvisit/%22">2022 Admitted Students Day</a>.</li>
<li>I co-organized Cornell CS's <a href="https://ayakayorihiro.github.io/service/%22https://www.cs.cornell.edu/projects/phdvisit/%22">2021 Admitted Students Day</a>.</li>
</ul>

</div>
</section>

<section>
<div class="posts">
<h2>Featured Posts</h2>

<br>
<a href="https://ayakayorihiro.github.io/posts/teaching-su24/">So I taught a CS course over the summer...</a> [Sep &#x27;24]
<div class="indented">
First-time instructor reflects on her summer teaching Data Structures and Java.
</div><br>
<a href="https://ayakayorihiro.github.io/posts/jo-sensei/">Remembering Jo sensei</a> [Aug &#x27;24]
<div class="indented">
In honor of a dear mentor who earnestly believed in her students.
</div><br>
<a href="https://ayakayorihiro.github.io/posts/cra-wp-2024/">2024 CRA-WP Grad Cohort for Women Report</a> [May &#x27;24]
<div class="indented">
Fourth-year grad student attends grad-school-meta-event to gain wisdom and make friends.
</div><br>
<a href="https://ayakayorihiro.github.io/posts/grad_school_app_advice.html/">Grad School Application Tips from a Swat CS alum</a> [Nov &#x27;20]
<div class="indented">
A compilation of things I learned from my own application process.
</div>
<p>Check out the rest of my posts <a href="https://ayakayorihiro.github.io/posts/">here</a>!</p>
</div>
</section>

<section>
<div class="misc">
<h2>Miscellany</h2>

<h3>Fun Facts</h3>
<ul>
<li>Outside CS, I am a big fan of many things: dogs and cats, the viola,
singing, J-POP, board games, baking, memes, and more!
Specifically, I enjoy listening to the wonderful band
<a href="https://higedan.com/">Official HIGE DANdism</a> and the
brilliant singer <a href="https://www.universal-music.co.jp/ado/">Ado</a>. These days,
I'm reading mystery novels by <a href="https://www.goodreads.com/author/show/117366.Keigo_Higashino">Keigo
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 <em>Fantasie</em> and <em>Potpourri</em> musical genres.
You can read it <a href="/files/music_senior_comp.pdf">here</a>.</li>
<li>A performance that I did with some very cool people was featured in a <a href="https://www.youtube.com/watch?v=Jnkqcm0uvWE">video</a> on Swarthmore's youtube channel!
<ul>
<li>The full first movement is featured <a href="https://www.swarthmore.edu/living-liberal-arts/fetter-chamber-music-concert">here</a>, accompanied by a rare publically available picture of me playing a musical instrument.</li>
</ul>
</li>
<li>I have perfect pitch! This means that I can identify musical notes without any references.</li>
<li>I was on the Varsity Tennis team for all four years of high school, and somehow this surprised all of my friends in college.</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>
</ul>

<p>Check out some of my other non-CS related posts <a href="https://ayakayorihiro.github.io/misc/">here</a>!
</div>
</section>


</div>
</section>
</body>

<footer>
<p>Ayaka Yorihiro. Updated September 2024. Built using <a href="https://www.getzola.org/">Zola</a>.</p>
</footer>

</html>
106 changes: 106 additions & 0 deletions css/main.css
Original file line number Diff line number Diff line change
@@ -0,0 +1,106 @@
body {
font-family: system-ui;
font-size: 20px;
text-rendering: optimizeLegibility;
background-color: rgb(240, 248, 255, 0.3);
margin: auto;
width: 75%;
}
header {
top: 0;
bottom: 0;
display: flex;
flex-flow: row wrap;
border-bottom: 2px solid CornflowerBlue;
margin-left: 0px;
}
a:link {
color: SteelBlue;
}
a:visited {
color: Indigo;
}
header h1 {
font-size: 40px;
white-space: nowrap;
display: inline;
margin-right: 50px;
}
nav {
margin-top: 0.75rem;
height: 45px;
align-items: end;
}
a.nav-item {
font-variant: small-caps;
flex: 2;
text-align: center;
color: MidnightBlue;
margin: 17px 8px 0 0;
padding: 0;
font-weight: 500;
text-decoration: none
}
a.nav-item:hover,
a.nav-item:focus {
text-decoration: underline;
}
h1 {
font-size: 30pt;
color: MidnightBlue;
}
h2 {
color: DarkBlue;
border-bottom: 1px solid Navy;
}
h3 {
color: DodgerBlue;
}
ul {
list-style: square;
line-height: 150%;
}
.basic_info {
display: flex;
align-items: center;
margin: 20px;
margin-left: 0px
}
.basic_info img {
/* Image size changes relative to basic_info */
width: 250px;
display: block;
}
.basic_info p {
margin-left: 50px;
text-align: left;
justify-content: center;
font-size: 20px;
}
.page_content {
margin-left: 20px;
width: 98%;
margin-bottom: 2%;
}
footer {
left: 0;
bottom: 0;
width: 100%;
border-top: 2px solid CornflowerBlue;
text-align: center;
padding: 1px;
font-size: 15px;
}
.indented {
margin-left: 1.5em;
}
.pub_list {
margin-left: 1em;
}
.title {
margin-bottom: 0px;
}
.description {
color: DarkSlateGray;
margin-bottom: 1.5em;
}
Loading

0 comments on commit 9cbe877

Please sign in to comment.