-
Notifications
You must be signed in to change notification settings - Fork 9
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
Showing
3 changed files
with
144 additions
and
1 deletion.
There are no files selected for viewing
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
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 |
|---|---|---|
| @@ -1 +1,91 @@ | ||
| <h1>Test</h1> | ||
| <!doctype html> | ||
| <html> | ||
| <head> | ||
| <meta charset="utf-8"> | ||
| <title>Rule Inference</title> | ||
| <link rel="stylesheet" type="text/css" href="site.css"> | ||
| </head> | ||
| <body> | ||
| <header> | ||
| <h1>Rule Inference for Equality Saturation</h1> | ||
| </header> | ||
| <div class="logo"><img class="logo" src="images/logo.png"></div> | ||
| <p class="abstract"> | ||
| Equality saturation is an increasingly popular technique in optimizing | ||
| compilers, synthesizers, and verifiers. However, equality saturation is | ||
| only as powerful as the rules that it uses, and developing high-quality | ||
| rulesets is difficult and error-prone. | ||
| <p> | ||
| Our goal is to develop techniques and tools for synthesizing rewrite rules | ||
| for use in equality saturation applications. | ||
| </p> | ||
| </p> | ||
|
|
||
| <h2>News</h2> | ||
| <table> | ||
| <tr> | ||
| <td class="date">October 2023</td> | ||
| <td> | ||
| <a href="https://rtjoa.com/">Ryan</a> | ||
| presented a poster at OOPSLA 2023.</td> | ||
| </tr> | ||
| <tr> | ||
| <td class="date">October 2023</td> | ||
| <td><a href="https://ajpal.github.io/">Anjali</a> presented our work on Enumo for her Qualifying Exam</td> | ||
| </tr> | ||
| <tr> | ||
| <td class="date">August 2023</td> | ||
| <td>Our paper, <span class="paper">"Equality Saturation Theory Exploration à la Carte"</span>, | ||
| is accepted at OOPSLA 2023!</td> | ||
| </tr> | ||
| <tr> | ||
| <td class="date">October 2021</td> | ||
| <td><span class="paper">"Rewrite Rule Inference Using Equality Saturation"</span> receives a Distinguished Paper Award!</td> | ||
| </tr> | ||
| </table> | ||
| <h2>Publications</h2> | ||
| <table> | ||
| <tr> | ||
| <td class="date">OOPSLA 2023</td> | ||
| <td> | ||
| <div class="title"> | ||
| <a href="https://dl.acm.org/doi/10.1145/3622834">Equality Saturation Theory Exploration à la Carte</a> | ||
| </div> | ||
| <a href="https://ajpal.github.io/">Anjali Pal</a>, | ||
| <a href="https://www.bsaiki.com/">Brett Saiki</a>, | ||
| <a href="https://thia.codes/">Cynthia Richey</a>, | ||
| <a href="https://rtjoa.com/">Ryan Tjoa</a>, | ||
| <a href="https://amy.zhucchini.ca/">Amy Zhu</a>, | ||
| <a href="https://www.oflatt.com/">Oliver Flatt</a>, | ||
| <a href="https://www.mwillsey.com/">Max Willsey</a>, | ||
| <a href="https://ztatlock.net/">Zachary Tatlock</a>, | ||
| <a href="https://cnandi.com/">Chandrakana Nandi</a>. | ||
| </td> | ||
| </tr> | ||
|
|
||
| <tr> | ||
| <td class="date">OOPSLA 2021</td> | ||
| <td> | ||
| <div class="title"> | ||
| <a href="https://dl.acm.org/doi/10.1145/3485496">Rewrite Rule Inference Using Equality Saturation</a> | ||
| </div> | ||
| <a href="https://cnandi.com/">Chandrakana Nandi</a>, | ||
| <a href="https://www.mwillsey.com/">Max Willsey</a>, | ||
| <a href="https://amy.zhucchini.ca/">Amy Zhu</a>, | ||
| <a href="https://www.bsaiki.com/">Brett Saiki</a>, | ||
| <a href="https://remy.wang/">Remy Wang</a>, | ||
| <a href="https://www.linkedin.com/in/adam-anderson-b34557172/">Adam Anderson</a>, | ||
| <a href="https://homes.cs.washington.edu/~adriana/">Adriana Schulz</a>, | ||
| <a href="https://homes.cs.washington.edu/~djg/">Dan Grossman</a>, | ||
| <a href="https://ztatlock.net/">Zachary Tatlock</a>.<br> | ||
| <b><i>Distinguished Paper Award</i></b> | ||
| <br> | ||
| <a class="aref" href="slides/oopsla21-ruler-slides.pdf">slides</a> | ||
| <a class="aref" | ||
| href="https://www.youtube.com/watch?v=5VGTXMgebOo&list=PLyrlk8Xaylp7soIGai1GYm0M0PuG9LIYh&index=27">talk</a> | ||
| <a class="aref" href="https://github.com/uwplse/ruler">code</a> | ||
| </td> | ||
| </tr> | ||
| </table> | ||
| </body> | ||
| </html> |
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 |
|---|---|---|
| @@ -0,0 +1,53 @@ | ||
| html { | ||
| font-family: sans-serif; | ||
| } | ||
|
|
||
| body { | ||
| width: 80%; | ||
| margin: 2em auto; | ||
| } | ||
|
|
||
| /* body {min-width: 400px; max-width: 800px; margin: 2em auto;} */ | ||
|
|
||
| h1, | ||
| h2, | ||
| h3 { | ||
| font-weight: 600; | ||
| } | ||
|
|
||
| h2 { | ||
| color: #666666; | ||
| } | ||
|
|
||
| p { | ||
| font-family: Arial, Helvetica, sans-serif; | ||
| } | ||
|
|
||
| .logo { | ||
| height: 200px; | ||
| text-align: center; | ||
| } | ||
|
|
||
| .date { | ||
| vertical-align: top; | ||
| font-weight: bold; | ||
| width: 25%; | ||
| } | ||
|
|
||
| table { | ||
| margin-bottom: 30px; | ||
| width: 100%; | ||
| text-align: left; | ||
| color: #3f3f3f; | ||
| border-spacing: 0px 20px; | ||
| border: none; | ||
| } | ||
|
|
||
| .paper { | ||
| font-style: italic; | ||
| } | ||
|
|
||
| .title { | ||
| margin-bottom: 10px; | ||
| font-size: larger; | ||
| } |