diff --git a/publications.bib b/publications.bib
index e00ae5454b980ff69bb76e82606271fe66bf69f6..5bdeeca2a81dfc7ddd325b4111151f5517ce78e3 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1832,7 +1832,7 @@ author    = {Emanuele D'Osualdo and
             Julian Sutherland},
 title     = {TaDA Live: Compositional Reasoning for Termination of Fine-grained
             Concurrent Programs},
-booktitle = {ACM Transactions on Programming Languages and Systems (TOPLAS), submitted Jan 2020; accepted 2021.},
+journal = {ACM Transactions on Programming Languages and Systems (TOPLAS), submitted Jan 2020; accepted 2021.},
 year      = {2021},
 abstract  = {We present TaDA Live, a concurrent separation logic for reasoning compositionally about the termination of
 blocking fine-grained concurrent programs. The crucial challenge is how to deal with abstract atomic blocking: