Skip to content

presentations.md

Latest commit

 

History

History
258 lines (230 loc) · 11.5 KB

presentations.md

File metadata and controls

258 lines (230 loc) · 11.5 KB
title Presentations
layout landing
description Presentations from iCyPhy
image assets/images/presentations.jpeg
nav-menu true
order 3
show_tile true
<iframe width="560" height="315" src="https://www.youtube.com/embed/SeRfpLP2VwE" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Working with Deadlines in Lingua Franca

by Edward A. Lee, UC Berkeley, for Lingua Franca weekly meeting, Sep. 24, 2025

<iframe width="560" height="315" src="https://www.youtube.com/embed/eDBOwr5iD3s" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Decentralized Coordination in Federated Lingua Franca

by Edward A. Lee, UC Berkeley, for Lingua Franca weekly meeting, Nov. 20, 2024

<iframe width="560" height="315" src="https://www.youtube.com/embed/3lHmiWOedHM" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Trading off Consistency and Availability using Lingua Franca

by Edward A. Lee, UC Berkeley, for Mulligan's Stew, Nov. 8, 2024

<iframe width="560" height="315" src="https://www.youtube.com/embed/OA_GknXKe4g" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Deterministic Concurrency in CPS

by Edward A. Lee, UC Berkeley, SIGBED Distinguished Lecture, online, Jun. 15, 2023

<iframe width="560" height="315" src="https://www.youtube.com/embed/GT4NJ5XnEt4" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Deterministic Concurrency and the Lingua Franca Coordination Language

by Edward A. Lee, UC Berkeley, Invited talk: CEA-LIST, Saclay, Paris, Apr. 18, 2023

<iframe width="560" height="315" src="https://www.youtube.com/embed/C7k7ckGubT0" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Trading off Consistency and Availability in Cyber-Physical Systems

by Edward A. Lee, UC Berkeley, Time Appliances Project(TAP), online, Feb. 15, 2023

<iframe width="560" height="315" src="https://www.youtube.com/embed/M1tl3HqLUzA" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Trading off Consistency and Availability in Cyber-Physical Systems

by Edward A. Lee, UC Berkeley, Mälardalen University, Västeras, Sweden, Feb. 10, 2023

<iframe width="560" height="315" src="https://www.youtube.com/embed/20EKKsdWTQ8" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Verifying Parallel and Distributed Systems: The Observer Problem

by Edward A. Lee, UC Berkeley, Mälardalen University, Västeras, Sweden, Feb. 9, 2023

<iframe width="560" height="315" src="https://www.youtube.com/embed/VbQPdTZjsZo" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Trading off Consistency and Availability in Cyber-Physical Systems

by Edward A. Lee, UC Berkeley, ISAE Toulouse, France, Jan. 26, 2023

<iframe width="560" height="315" src="https://www.youtube.com/embed/WlQ8oXG1K8c" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Time for All Programs, Not Just Real-Time Programs

by Edward A. Lee, UC Berkeley, ISoLA, Rhodes, Greece, Oct. 25, 2021

<iframe width="560" height="315" src="https://www.youtube.com/embed/aTazoPeotcc" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Keynote on Determinism

by Edward A. Lee, UC Berkeley, IBM PREVAIL 2021, online, Oct. 20, 2021

<iframe width="560" height="315" src="https://www.youtube.com/embed/F3ejsAoyEu8" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Keynote on the CAL Theorem

by Edward A. Lee, UC Berkeley, Symp. on Distributed Simulation and Real Time Applications (DS-RT), online, Sep. 27, 2021

<iframe width="560" height="315" src="https://www.youtube.com/embed/Dm92rsguzzA" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Keynote on Determinism

by Edward A. Lee, UC Berkeley, RTCSA, online, Aug. 19, 2021

<iframe width="560" height="315" src="https://www.youtube.com/embed/UZ1P70Rz5sY" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

10-Minute Demonstration of Lingua Franca

by Shaokai Lin, UC Berkeley, for the NSP CPS PI Meeting, May 2020

<iframe width="560" height="315" src="https://www.youtube.com/embed/X-C_s8JUfbo" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

90-Second Introduction to the Lingua Franca Project

by Prof. Edward A. Lee, UC Berkeley, for the NSP CPS PI Meeting, May 2020

<iframe class="yt-video" src="https://www.youtube.com/embed/SpgZLtVghIs" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

From Transistors to Swarm Systems: The Evolution of Design Methods and Tools in the last 40 Years

Lecture by Prof. Alberto Sangiovanni-Vincentelli, UC Berkeley at the Advanced Circuits Research Center (ACRC) online seminar. Date: November 24, 2020

<iframe class="yt-video" src="https://www.youtube.com/embed/FYAZyHf_Jbc" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Verifying Parallel and Distributed Systems: The Observer Problem

Invited Talk by Edward A. Lee at the Integrated Formal Methods (iFM) conference, held virtually from Lugano, Switzerland, on Nov. 18 2020.

<iframe class="yt-video" src="https://www.youtube.com/embed/roM3ywzEBaQ" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Deterministic Actors

Invited talk in the Seminar Series:Design and Programming Cyber-Physical Systems and IoT Applications, organized by TU Dresden, Germany & Univ. of Manouba, Tunisia, Oct. 15, 2020.

<iframe class="yt-video" src="https://www.youtube.com/embed/_qszqXlKADw?start=12275" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Verified Artificial Intelligence and Autonomy

Keynote by Prof. Sanjit A. Seshia, UC Berkeley at the 12th NASA Formal Methods Symposium (NFM). Event Date: Wednesday May 13th, 2020

<iframe class="yt-video" src="https://www.youtube.com/embed/QF210fIhkuo" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Towards Verified Artificial Intelligence: A Run-Time Verification Perspective

Invited talk by Prof. Sanjit A. Seshia, UC Berkeley at the 19th International Conference on Runtime Verification (RV 2019). Event Date: Wednesday October 8-11th, 2019

<iframe class="yt-video" src="https://www.youtube.com/embed/IrrEvjqinBY" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

GridWatch: Sensing the Health of the Power Grid

Invited talk by Prof. Prabal Dutta, UC Berkeley.