diff --git a/src/components/Publications/copypasta.tsx b/src/components/Publications/copypasta.tsx index 5069f616b..83c8104ab 100644 --- a/src/components/Publications/copypasta.tsx +++ b/src/components/Publications/copypasta.tsx @@ -6,6 +6,13 @@ import Link from "@docusaurus/Link"; export const copypastaPublications: ReactNode = (
+ Doctoral Thesis: Christian Menard, + "Deterministic Reactive Programming for Cyber-physical Systems" + , TU Dresden, 03 June 2024. +
+DDE '24: Peter Donovan, Erling Jellum, Byeonggil Jun, Hokeun Kim, Edward A. Lee, @@ -16,23 +23,23 @@ Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan.
- BERKUN '24: Samuel Berkun. + Master's Thesis: Samuel Berkun. "Concurrency Without Threads for Multicore Microprocessors." - Master's thesis, University of California, Berkeley, 2024. + , University of California, Berkeley, 2024.
- KWOK '24: Jacky Kwok. + Master's Thesis: Jacky Kwok. "Towards Efficient and Deterministic Dataflow Systems for Machine Learning." - Master's thesis, University of California, Berkeley, 2024. + , University of California, Berkeley, 2024.
- SOYER '24: Efsane Soyer. + Master's Thesis: Efsane Soyer. "Dealing with Time: Measuring Real-Time Capabilities of Lingua Franca." - Master's thesis, University of California, Berkeley, 2024. + , University of California, Berkeley, 2024.
+ VSSTE '23: Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jeronimo Castrillon, Andrés Goens, " + + Provable Determinism for Software in Cyber-Physical Systems," in + Proceedings of the 15th International Conference on Verified Software: Theories, Tools, and Experiments, October 2023. +
+MEMOCODE '23: Soroush Bateni, Marten Lohstroh, Hou Seng Wong, @@ -115,6 +130,13 @@ Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan. , Lecture Notes in Computer Science, vol 13660. Springer, Cham.
+ Master's Thesis: Johannes Hayeß, + "Verifying the Rust Runtime of Lingua Franca." + , TU Dresden, 06 March 2023. +
+IC '23: Edward A. Lee, Soroush Bateni, Shaokai Lin, @@ -140,6 +162,13 @@ Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan. January 18 2023.
+ Master's Thesis: Clément Fournier, + "A Rust Backend for Lingua Franca." + , TU Dresden, 06 December 2021. +
+ISoLA '21: Edward A. Lee and Marten Lohstroh, " @@ -187,6 +216,13 @@ Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan. ," in Forum on Design Languages (FDL), Kiel, Germany, September, 2020.
+ Bachelor's Thesis: Marcus Rossel, + "Provable Determinism in Reactors." + , TU Dresden, 01 April 2021. +
+DATE '20: Christian Menard, Andrés Goens, Marten