diff --git a/publications.bib b/publications.bib
index a66f2033dd9deba54ec419cd95aedf7c83c6f54e..fb71ab95278d08092be3f3cc1b6d3aad988f37a3 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1860,6 +1860,17 @@ certificate of correctness. We provide a prototype implementation and we report
 on some textbook examples.},
 }
 
+@InProceedings{Maksimovic2021Gillian, 
+author    = {Petar Maksimovic and
+            Jos{\'{e}} Fragoso Santos and
+            Sacha{-}{\'{E}}lie Ayoun and
+            Philippa Gardner},
+  title    = { Gillian, Part II: Real-World Verification for
+JavaScript and C},
+booktitle = {33rd International Conference on Computer-Aided Verification, (CAV 2021)},
+year      = {2021},
+}
+
 @Comment{jabref-meta: databaseType:bibtex;}
 
 @Comment{jabref-meta: saveActions:enabled;