Merge pull request #301 from lf-lang/pub

Add MEMOCODE'24 paper and fix minor formatting issues
lf-lang · Dec 21, 2024 · c8b9794 · c8b9794
2 parents 175cfdc + b419143
commit c8b9794
Showing 1 changed file with 13 additions and 4 deletions.
diff --git 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. 
@@ -103,16 +112,16 @@ 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.
+	  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>