Add OOPSLA'23 reference

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
hernanponcedeleon · Dec 19, 2023 · c977cbc · c977cbc
1 parent 65e9a8a
commit c977cbc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -141,3 +141,5 @@ References
 [6] Hernán Ponce de León, Thomas Haas, Roland Meyer: [**Dartagnan: SMT-based Violation Witness Validation (Competition Contribution)**](https://hernanponcedeleon.github.io/pdfs/svcomp2022.pdf). TACAS 2022.
 
 [7] Thomas Haas, Roland Meyer, Hernán Ponce de León: [**CAAT: Consistency as a Theory**](https://hernanponcedeleon.github.io/pdfs/oopsla2022.pdf). OOSPLA 2022.
+
+[8] Thomas Haas, René Maseli, Roland Meyer, Hernán Ponce de León: [**Static Analysis of Memory Models for SMT Encodings**](https://hernanponcedeleon.github.io/pdfs/oopsla2023.pdf). OOSPLA 2023.