diff --git a/publications.bib b/publications.bib
index 23d95282d98870e2041a6e704ea4e4fa93db60e6..e887a564a8988b88c4f981f5648d846335a91079 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1954,6 +1954,7 @@ author = {Petar Maksimovic and
           Caroline Cronj\"ager and
           Julian Sutherland and
           Andreas L\"o\"ow and
+          Sacha{-}{\'{E}}lie Ayoun and
           Philippa Gardner},
 title  = {Exact Separation Logic (submitted)},
 year   = {2022},