From 0e6010b95bc1b963578fc412367424443d9195e1 Mon Sep 17 00:00:00 2001
From: Hokeun Kim <hokeunkim@berkeley.edu>
Date: Fri, 20 Dec 2024 13:22:40 -0700
Subject: [PATCH 1/2] Add MEMOCODE'24 paper and fix minor formatting issues

---
 src/components/Publications/copypasta.tsx | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/src/components/Publications/copypasta.tsx b/src/components/Publications/copypasta.tsx
index 746b8dbf4..26be57535 100644
--- a/src/components/Publications/copypasta.tsx
+++ b/src/components/Publications/copypasta.tsx
@@ -20,6 +20,15 @@ export const copypastaPublications: ReactNode = (
         ACM Transactions on Reconfigurable Technology and Systems (17)4, Nov. 7 2024.
       </p>
     </li>
+    <li>
+      <p>
+        <strong>MEMOCODE '24</strong>: Byeonggil Jun, Edward A. Lee, Marten Lohstroh, and Hokeun Kim.
+        "<Link href="https://doi.org/10.1109/MEMOCODE63347.2024.00019">
+        Efficient Coordination for Distributed Discrete-Event Systems
+        </Link>",
+        in <i>Proceedings of the 22nd ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '24)</i>. October 2024, 114–118.
+      </p>
+    </li>
     <li>
       <p>
         <strong>ESL '24</strong>: Francesco Paladino, Erling Jellum, Efsane Soyer, and Edward A. Lee. 
@@ -105,14 +114,14 @@ Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan.
       <p>
         <strong>VSSTE '23</strong>: Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens, "
         <Link href="https://cfaed.tu-dresden.de/files/Images/people/chair-cc/publications/2310_Rossel_VSSTE.pdf">
-	  Provable Determinism for Software in Cyber-Physical Systems</Link>," in 
-        <i>Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments</i>, October 2023.
+	  Provable Determinism for Software in Cyber-Physical Systems</Link>,"
+    in <i>Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments</i>, October 2023.
       </p>
     </li>
     <li>
       <p>
         <strong>MEMOCODE '23</strong>: Soroush Bateni, Marten Lohstroh, Hou Seng Wong,
-        Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee, "
+        Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee. "
         <Link href="https://doi.org/10.1145/3610579.3613219">
         Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
         </Link>

From b4191430e2f541628128efc8bc996813db838d21 Mon Sep 17 00:00:00 2001
From: Hokeun Kim <hokeunkim@berkeley.edu>
Date: Fri, 20 Dec 2024 19:29:25 -0700
Subject: [PATCH 2/2] Update src/components/Publications/copypasta.tsx

Co-authored-by: Marten Lohstroh <marten@berkeley.edu>
---
 src/components/Publications/copypasta.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/components/Publications/copypasta.tsx b/src/components/Publications/copypasta.tsx
index 26be57535..b4a83bb9c 100644
--- a/src/components/Publications/copypasta.tsx
+++ b/src/components/Publications/copypasta.tsx
@@ -112,7 +112,7 @@ Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan.
     </li>
     <li>
       <p>
-        <strong>VSSTE '23</strong>: Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens, "
+        <strong>VSSTE '23</strong>: Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens."
         <Link href="https://cfaed.tu-dresden.de/files/Images/people/chair-cc/publications/2310_Rossel_VSSTE.pdf">
 	  Provable Determinism for Software in Cyber-Physical Systems</Link>,"
     in <i>Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments</i>, October 2023.