Skip to content

Commit

Permalink
Update
Browse files Browse the repository at this point in the history
  • Loading branch information
@MohsenLesani
MohsenLesani committed Jan 27, 2025
1 parent a365dbc commit 3a621fd
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -85,6 +85,7 @@






<style>
Expand Down Expand Up @@ -245,7 +246,7 @@

- Automatic analysis and synthesis of distributed data stores<br>

&nbsp;&nbsp; &nbsp;&nbsp; <a href="companion/popl19/">POPL'19</a>,&nbsp; <span style="text-decoration: underline;"></span><a href="companion/cav20/">CAV'20</a>,&nbsp; <a href="companion/pldi22/">PLDI'22</a><br>
&nbsp;&nbsp; &nbsp;&nbsp; <a href="companion/popl19/">POPL'19</a>,&nbsp; <span style="text-decoration: underline;"></span><a href="companion/cav20/">CAV'20</a>,&nbsp; <a href="companion/pldi22/">PLDI'22</a>, OOPSLA'25<br>

- Verification of distributed systems<br>
&nbsp;&nbsp; &nbsp;&nbsp; <a href="companion/popl16/">POPL'16</a>,&nbsp; <a href="companion/icfp20/">ICFP'20</a><br>
Expand Down

0 comments on commit 3a621fd

Please sign in to comment.