Note: Lingua Franca is an evolving language, and the older papers below may use a syntax that does not match the current syntax. Nevertheless, these papers are useful for understanding the principles.
Published Papers
In reverse chronological order:
VER'23: Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia, "Towards Building Verifiable CPS using Lingua Franca," ACM Transactions on Embedded Computing Systems (TECS), Vol. 22, No. 5s, Sept. 9, 2023.
CAL_CPS'23: Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard, "Consistency vs. Availability in Distributed Cyber-Physical Systems," in ACM Transactions on Embedded Computing Systems (TECS), Vol. 22, No. 5s, Sept. 9, 2023.
TACO'23: Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jeronimo Castrillon, Edward A. Lee, "High-Performance Deterministic Concurrency using Lingua Franca," ACM Transactions on Architecture and Code Optimization (TACO), Accepted Aug. 29, 2023
LET'23: Edward A. Lee and Marten Lohstroh, "Generalizing Logical Execution Time," in Principles of Systems Design - Essays Dedicated to Thomas A. Hensinzer on the Occasion of his 60th Birthday, LNCS 13660, July 2023, to appear.
CAL_IC'23: Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, and Christian Menard, "Trading Off Consistency and Availability in Tiered Heterogeneous Distributed Systems," Intelligent Computing, vol. 2, no. Article 0013, pp. 1-23, February 15 2023.
Modes'23: Alexander Schulz-Rosengarten, Reinhard von Hanxleden,Marten Lohstroh, Soroush Bateni, Edward A. Lee, "Modal Reactors," arXiv:2301.09597 [cs.PL], January 23, 2023.
CAL'23: Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard, "Consistency vs. Availability in Distributed Real-Time Systems," arXiv:2301.08906 [cs.DC], January 21, 2023.
NG-RES'23: Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Efsane Soyer, Fuzail Shakir, Torleiv Bryne, Milica Orlandic, Marten Lohstroh, Edward A. Lee, "Beyond the Threaded Programming Model on Real-Time Operating Systems," Workshop on Next Generation Real-Time Embedded Systems (NG-RES), January 18 2023.
Perf'23: Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jeronimo Castrillon and Edward A. Lee, "High-Performance Deterministic Concurrency using Lingua Franca," arXiv:2301.02444 [cs.PL], Jan. 9, 2023
Xronos'22: Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, and Edward A. Lee, "Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems," arXiv:2207.09555 [cs.DC], July 19, 2022.
ISoLA'21: Edward A. Lee and Marten Lohstroh, "Time for All Programs, Not Just Real-Time Programs," Proc. Int. Symp. on Leveraging Applications of Formal Methods (ISoLA), Rhodes, Greece, October 17-29, 2021.
CAL'21: Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard, "Quantifying and Generalizing the CAP Theorem," arXiv:2109.07771 [cs.DC], Sep. 16, 2021.
TECS'21: Marten Lohstroh, Christian Menard, Soroush Bateni, and Edward A. Lee, "Toward a Lingua Franca for Deterministic Concurrent Systems," ACM Transactions on Embedded Computing Systems (TECS), 20(4), May 2021.
Doctoral Thesis: Marten Lohstroh, "Reactors: A Deterministic Model of Concurrent Computation for Reactive Systems", UC Berkeley, EECS Department.
FDL'20: Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jeronimo Castrillon, Edward A. Lee, "A Language for Deterministic Coordination Across Multiple Timelines," Forum on Design Languages (FDL), Kiel, Germany, September, 2020.
DATE'20: Christian Menard, Andrés Goens, Marten Lohstroh, Jeronimo Castrillon, "Achieving Determinism in Adaptive AUTOSAR," Proceedings of the 2020 Design, Automation and Test in Europe Conference (DATE), EDA Consortium, Mar 2020, doi: 10.23919/DATE48585.2020.9116430.
RTSS'19: Marten Lohstroh and Edward A. Lee, "Work-in-Progress: Real-Time Reactors in C," Proceedings of the Real-Time Systems Symposium (RTSS), Hong Kong, Dec. 2019. doi: 10.1109/RTSS46320.2019.00067.
CyPhy'19: Marten Lohstroh, Iñigo Incer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, and Alberto Sangiovanni-Vincentelli, "Reactors: A Deterministic Model for Composable Reactive Systems," Model-Based Design of Cyber Physical Systems (CyPhy'19), Held in conjunction with ESWEEK 2019, New York, NY, Oct. 17-18, 2019.
EMSOFT'19: Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee "Work-in-Progress: Programs with Ironclad Timing Guarantees," ACM SIGBED International Conference on Embedded Software (EMSOFT), New York, NY, October 13-18, 2019.
FDL'19: Marten Lohstroh and Edward A. Lee, "Deterministic Actors," Forum on Design Languages (FDL), Southampton, UK, September, 2019.
DAC'19 Marten Lohstroh, Martin Schoeberl, Andres Goens, Armin Wasicek, Christopher Gill, Marjan Sirjani, Edward A. Lee, "Invited: Actors Revisited for Time-Critical Systems," Design Automation Conference (DAC), June, 2019.
Presentations
Time for All Programs, Not Just Real-Time Programs, invited talk by Edward A. Lee, Oct. 25 2021, ISoLA, Rhodes, Greece
Video recordings of a four-hour Lingua Franca Tutorial offered at EMSOFT, Oct. 8, 2021.
Video recording of talk by Marten Lohstroh on "Deterministic Reactive Software for Embedded, Edge, and Cloud Systems," at KTH, Center for Trustworthy Edge Computing Systems and Applications (TECoSA), June 3, 2021.
Video recording of talk by Efsane Soyer on "[Hardware-Supported Timing-Critical Software in Lingua Franca," at NSF CPS PI Meeting, June 2, 2021. (Received best graduate student presentation award!)
Video recording of talk by Marten Lohstroh on Making Mainstream Programming Languages Deterministic Again, at 27th International Open Workshop on Synchronous Programming (Synchron), November 25-27, 2020
Marten Lohstroh, Christian Menard, Alexander Schulz-Rosengarten, Matthew Weber, Jeronimo Castrillon, Edward A. Lee, "A Language for Deterministic Coordination Across Multiple Timelines," (Slides only) Forum on Design Languages (FDL), Kiel, Germany, September, 2020.
Video recording of a presentation by Christian Menard, Achieving Determinism in Adaptive AUTOSAR, at virtual 23rd DATE conference 2020.
Video recording of a guest lecture by Edward A. Lee, Reactors and Lingua Franca: A Programming Model for Cyberphysical Systems, April 16, 2020.
Video recording of a presentation by Edward A. Lee of two Lingua Franca examples, Reflex Game and Distributed, at "virtual" group lunch on 04-15-20.
Marten Lohstroh, Iñigo Incer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, and Alberto Sangiovanni-Vincentelli, "Reactors: A Deterministic Model for Composable Reactive Systems," (Slides only) Model-Based Design of Cyber Physical Systems (CyPhy'19), Held in conjunction with ESWEEK 2019, New York, NY, Oct. 18.
Marten Lohstroh, Martin Schoeberl, Mathieu Jan, Edward Wang, Edward A. Lee "Work-in-Progress: Programs with Ironclad Timing Guarantees," (Slides only) ACM SIGBED International Conference on Embedded Software (EMSOFT), New York, NY, October 14.
Marten Lohstroh and Edward A. Lee "Deterministic Actors," (Slides only) Forum on Design Languages (FDL), Southampton, UK, September 3, 2019.
Edward A. Lee, "Actors Revisited for Predictable Systems," (Slides only) Model-Based Design of Cyber-Physical Systems (CyPhy), New York, Oct. 17, 2019.
Press Coverage
- "Toward A Lingua Franca For Intelligent System Design," by Frank Schirrmeister, Semiconductor Engineering, September 26, 2019.