"Gradual typing of Ruby at Scale" by Dmytro Petrashko and Paul Tarjan

Strange Loop Conference·37 min

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

Presenters detail vulnerability discovery and exploitation in "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann.

Strange Loop Conference·33 min

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

Presenters detail vulnerability discovery and exploitation in "Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant.

Strange Loop Conference·1 hr 10 min

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

Security researchers examine technical aspects of "Systems that run forever self-heal and scale" by Joe Armstrong (2013).