"Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023)
Industry experts analyze emerging threats surrounding "Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023).
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
Strange Loop Conference·43 min
Engineers explore architecture and security mechanisms for "Towards Language Support for Distributed Systems" by Heather Miller.
distributed-systemslanguagedistributed+1
Strange Loop Conference·34 min
Presenters detail vulnerability discovery and exploitation in "Death of the Trusted Internet" by Marianne Bellotti.
deathtrustedinternet+2
Strange Loop Conference·38 min
Industry experts analyze emerging threats surrounding "Ceptre: A Language for Modeling Generative Interactive Systems" by Chris Martens.
ceptrelanguagemodeling+3