"Ceptre: A Language for Modeling Generative Interactive Systems" by Chris Martens

Strange Loop Conference·41 min

• STRANGE LOOP
• Community
• Date: 2022
• Location: Strange Loop

Industry experts analyze emerging threats surrounding "Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023).

Strange Loop Conference·43 min

• STRANGE LOOP
• Community
• Date: 2022
• Location: Strange Loop

Engineers explore architecture and security mechanisms for "Towards Language Support for Distributed Systems" by Heather Miller.

Strange Loop Conference·42 min

• STRANGE LOOP
• Community
• Date: 2022
• Location: Strange Loop

Michael Tiller

Presenters detail vulnerability discovery and exploitation in "Modelica: Component Oriented Modeling of Physical Systems" by Michael Tiller.