From e994e295ef4e6527d5ab424f741349e88f0533ae Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Thu, 7 Nov 2024 16:10:23 -0500
Subject: [PATCH] Added talk

---
 content/publications.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/content/publications.md b/content/publications.md
index 6602668..37cd54e 100644
--- a/content/publications.md
+++ b/content/publications.md
@@ -79,6 +79,11 @@ Guiding Hiearchical Reinforcement Learning in Partially Observable Environments
 
 ## Presentations
 
+VSPursuer: A VSP Verification Tool for MaGIC
+- Authors: *Brandon Rozek* and Andrew Tedder
+- Venue: International Workshop on Variable Sharing Properties and Their Discontents, November 2024.
+- [Program](https://rairlab.github.io/vsp/#brandon) | [Codebase](https://github.com/Brandon-Rozek/vspursuer)
+
 Efficient Parallel Verification of Natural Deduction Proof Graphs
 - Authors: James Oswald and *Brandon Rozek*
 - Venue: Rensselaer Computer Science Graduate Poster Session, April 2023.