Update nutshell

Author: dlesbre

papers/2024-pldi-compiling-with-abstract-interpretation.md

@@ -45,9 +45,6 @@ that F(j + z%2) is F(j)), optimistic **global value numbering** (to learn that i
 <img src="/assets/publications/imgs/2024-pldi-full-example.svg"
 style="width:700px; display:block; margin-left:auto; margin-right:auto">
 
-
-
-
 ## Contributions
 
 Our paper shows the following novel results:
@@ -103,12 +100,9 @@ Our paper shows the following novel results:
     }
     ```
 
-
-
-
 ## Further information
 
 - Read the **paper**: either [published version](/assets/publications/pdfs/2024-pldi-compiling-with-abstract-interpretation.pdf) or the [version with appendices](/assets/publications/pdfs/2024-pldi-compiling-with-abstract-interpretation-with-appendices.pdf)
-- Download the [software artifact](https://doi.org/10.5281/zenodo.10895582) from
+- Presented at the [Programming Language Design and Implementation (PLDI) 2024 conference](https://pldi24.sigplan.org/). Watch the [**talk video**](https://www.youtube.com/watch?v=2Btkn9AvM8o) or look at the [**slides**](/assets/publications/slides/2024-pldi-compiling-with-abstract-interpretation.pdf)
+- Download the [**software artifact**](https://doi.org/10.5281/zenodo.10895582) from
   Zenodo to try out our example analyzer and explore the code.
-- To appear at the [Programming Language Design and Implementation (PLDI) 2024 conference](https://pldi24.sigplan.org/)