Videos

Lingua Franca (LF) is a polyglot coordination language for concurrent and possibly time-sensitive applications ranging from low-level embedded code to distributed cloud and edge applications. This page collects videos presented by the Lingua Franca team:

• Technical Talks
• Weekly Research Meetings
• Short Course
• Tutorial

Technical Talks

• Decentralized Coordination in Federated Lingua Franca, Nov. 20, 2024.
• Trading Off Consistency and Availability using Lingua Franca, Nov. 10, 2024.
• Deterministic Concurrency in Cyber-Physical Systems, June 16, 2023.
• Deterministic Concurrency and the Lingua Franca Coordination Language, April 18, 2023.
• Verifying Parallel and Distributed Systems: The Observer Problem, Feb. 9, 2023.
• Trading off Consistency and Availability in Cyber-Physical Systems, Jan. 28, 2023.
• Time for All Programs, Not Just Real-Time Programs, Oct. 25, 2021.
• 10-minute Demo of Lingua Franca, May 6, 2021.

More videos can be found on this playlist.

Weekly Research Meetings

The LF team meets approximately once a week, and sometimes the meetings are recorded. These recordings can be found in this Google Drive folder.

Short Course

In May, 2022, Edward Lee gave a short course on software design for cyber-physical systems that featured Lingua Franca.

Tutorial from 2021

On Oct. 8, 2021, we offered a tutorial on Lingua Franca for the EMSOFT conference, a part of ESWEEK. This tutorial is dated, and many aspects of the language have changed since then. Nevertheless, the videos may provide a useful entry point. A video playlist recording is available in six segments, as detailed below.

Useful links:

• Complete video playlist
• Part I: Introduction
• Part II: Hello World
• Part III: Target Languages
• Part IV: Basic Concepts
• Part V: Concurrency and Performance
• Part VI: Research Overview
• Slides

Part I: Introduction

This part briefly describes the background of the project and explains how to get started with the software.

warning

These videos mentioned Epoch, an IDE that is no longer actively maintained. We recommend using our VS Code extension instead.

Useful links:

• Complete video of part I

• Individual parts of the video:

  Contents
  Introduction
  Motivation
  Overview of this tutorial
  History of the project
  Participating
  Getting started
  Native releases (Epoch IDE and lfc)
  Virtual Machine with LF pre-installed

• Virtual machine image: download the Ubuntu-for-LF.ova image and import into your favorite virtualization software (e.g., VirtualBox or VMWare Player). Start the VM and run Epoch IDE by clicking on the icon on the left.

• Epoch IDE and lfc command-line compiler: Add lfc (and epoch) to your $PATH environment variable.

• Requirements for each target language: We use the C target in this tutorial.

Part II: Hello World

This part introduces the language with a simple example.

Useful links:

• Complete video of part II
• Individual parts of the video:

  Contents
  Open Epoch and create a project
  Hello World
  Adding a timer
  Adding a timeout target property
  Adding state variables
  Creating and connecting multiple reactors
  Parameterized reactors
  LF tour recap
  Diagrams

Part III: Target Languages

This part focuses on the target languages other than C, namely C++, Python, TypeScript, and Rust.

Useful links:

• Complete video of part III
• Individual parts of the video:

  Contents
  Introduction
  Cpp
  Python
  Python Demo: Piano Synth
  TypeScript
  Rust

Part IV: Basic Concepts

This part focuses on basic concepts in the language and includes three demos.

Useful links:

• Complete video of part IV
• Individual parts of the video:

  Contents
  Reflex game overview
  Generating the prompts: Basic concepts
  Program control of time: Logical action
  Handling external events: Physical action
  Cycle and causality loop
  Reflex game in Python
  The Rhythm example

Part V: Concurrency

This part focuses on how the language expresses concurrency, exploits multicore, and supports distributed execution.

Useful links:

• Complete video of part V
• Individual parts of the video:

  Contents
  Introduction
  Banks and Multiports
  Utilizing Multicore
  Tracing
  Performance
  Federated Execution

Part VI: Research Overview

This part focuses on a few of the research projects that have been stimulated by the Lingua Franca project.

Useful links:

• Complete video of part VI
• Individual parts of the video:

  Contents
  Introduction
  AUTOSAR
  Autoware/Carla
  Bare Iron Platforms
  Modal Models
  Automated Verification
  Secure Federated Execution
  LF Language Server