From c977cbc8dd42305cdd72002c3937e7d6635542ad Mon Sep 17 00:00:00 2001 From: Hernan Ponce de Leon Date: Tue, 19 Dec 2023 14:24:31 +0100 Subject: [PATCH] Add OOPSLA'23 reference Signed-off-by: Hernan Ponce de Leon --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index c5794addf0..d95b64c6fe 100644 --- 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.