Skip to content

Commit

Permalink
Update index.html
Browse files Browse the repository at this point in the history
  • Loading branch information
potanin committed Sep 5, 2024
1 parent 3df431c commit 25bab38
Showing 1 changed file with 8 additions and 3 deletions.
11 changes: 8 additions & 3 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -305,6 +305,11 @@ <h3>Refereed Conference Papers</h3>

<ol start="12">

<li>Emmanuel Iko-Ojo Simon, Chirath Hettiarachchi, Alex Potanin,
Hanna Suominen, and Fatemeh Fard. <i>Automated Detection of
Algorithm Debt in Deep Learning Frameworks: An Empirical
Study</i>. In ICSME 2024 Registered Reports Track.</li>

<li>David Young, Ziyi Yang, Ilya Sergey, Alex
Potanin. <i><a href="./files/YoungYangSergeyPotaninECOOP2024.pdf">Higher-Order
Specifications for Deductive Synthesis of Programs with
Expand Down Expand Up @@ -488,7 +493,7 @@ <h3>Refereed Conference Papers</h3>

<h3>Refereed Workshop Papers</h3>

<ol start="39">
<ol start="40">

<li>Abhaas Goyal, Alex Potanin and Jonathan
Aldrich. <i><a href="files/GoyalPotaninAldrichPLATEAU2024.pdf">A
Expand Down Expand Up @@ -634,7 +639,7 @@ <h3>Refereed Workshop Papers</h3>

<h3>Edited Journals</h3>

<ol start="62">
<ol start="63">

<li>Alex Potanin and Gail Murphy
(Editors). <i><a href="https://www.sciencedirect.com/journal/science-of-computer-programming/vol/163/suppl/C">Special
Expand Down Expand Up @@ -664,7 +669,7 @@ <h3>Edited Journals</h3>

<h3>Other Refereed Publications</h3>

<ol start="66">
<ol start="67">

<li>Manish Singh, Lindsay Groves, Alex Potanin. <i>A Relaxed
Balanced Non-Blocking Binary Search Tree.</i> Poster in
Expand Down

0 comments on commit 25bab38

Please sign in to comment.