Search talks

BOTCONF · 2025botconf-euadvanced

You OTA Know: Combating Malicious Android System Updaters - Łukasz Siewierski; Alec Guertin;

Łukasz Siewierski · Alec Guertin

ROMHACK · 2024romhack

Lorenzo Cavallaro - Trustworthy AI… for Systems Security

Lorenzo Cavallaro

STRANGE LOOP · 2022strange-loop-conference

"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram

STRANGE LOOP · 2022strange-loop-conference

"Addressing the parallelism gap in replicated server systems" by Jose Faleiro

Jose Faleiro

STRANGE LOOP · 2022strange-loop-conference

"Aggregator: MapReduce in the type system" by Dan Frank

STRANGE LOOP · 2022strange-loop-conference

"All In With Determinism for Performance and Testing in Distributed Systems" by John Hugg

STRANGE LOOP · 2022strange-loop-conference

"Apache Kafka and the Next 700 Stream Processing Systems" by Jay Kreps

STRANGE LOOP · 2022strange-loop-conference

"Architectural Patterns of Resilient Distributed Systems" by Ines Sombra

STRANGE LOOP · 2022strange-loop-conference

"Building a Distributed Build System at Google Scale" by Aysylu Greenberg

STRANGE LOOP · 2022strange-loop-conference

"Building Financial Systems on Eventually Consistent DBs" by Rahul Pilani

STRANGE LOOP · 2022strange-loop-conference

"Building Real-time Systems with Open Source Technologies" by Gian Merlino and Fangjin Yang

STRANGE LOOP · 2022strange-loop-conference

"Building Secure Systems in Haskell" by Deian Stefan

STRANGE LOOP · 2022strange-loop-conference

"Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023)

STRANGE LOOP · 2022strange-loop-conference

"Cap'n Proto and Rust: Type Systems for Sharing" by David Renshaw

STRANGE LOOP · 2022strange-loop-conference

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

STRANGE LOOP · 2022strange-loop-conference

"Consistency without consensus in production systems" by Peter Bourgon

STRANGE LOOP · 2022strange-loop-conference

"Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann

Martin Kleppmann

STRANGE LOOP · 2022strange-loop-conference

"Deep dive into Unbounded Data Processing Systems" by Monal Daxini

STRANGE LOOP · 2022strange-loop-conference

"Design and Implementation of a Topic Detection System" by Wes Chow

STRANGE LOOP · 2022strange-loop-conference

"Designing Augmented Reality Systems for Speed" by Diana Hu

Diana Hu

STRANGE LOOP · 2022strange-loop-conference

"Functional distributed systems beyond request/response" by Melinda Lu

STRANGE LOOP · 2022strange-loop-conference

"Hopelessness and Confidence in Distributed Systems Design" by Camille Fournier

STRANGE LOOP · 2022strange-loop-conference

"Keeping Time in Real Systems" by Kavya Joshi

STRANGE LOOP · 2022strange-loop-conference

"Learnfun and Playfun: A Nintendo automation system" by Tom Murphy VII (2013)