39:11

Radu Popescu - The CernVM File System: Beyond Static Content Distribution

40:55

Marijn Haverbeke - Grammar-based language modes for text editors

42:33

Sztefan Edwards - On Being a type-heavy Scheme programer in InfoSec

38:19

Niko Matsakis - Rust: Putting Ownership to Use

42:45

Brian Goetz - FP is Dead Long Live FP

40:27

Brandon Dail - Building Web Apps with Reason

48:10

Ron Pressler - The Practice and Theory of TLA+

45:59

Tiark Rompf - How types can turn a SQL interpreter into a SQL compiler

35:11

Brandon Kase - Composable Caching in Swift

51:00

Martin Odersky - What to Leave Implicit

37:06

Renzo Borgatti - Clojure Transducers In The Wild

48:36

Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer

40:30

Jon Pretty - Impromptu: A Lightweight, dependently-typed async framework for Scala

38:15

Jonathan Winandy - Centrifuge: Data quality in Spark without the costs

41:15

John Hughes - Don't Write Tests

24:19

PLDI 1 minute madness (day 1)

41:57

Luka Jacobowitz - Reactive Programmingin the Browser with Scala.js and PureScript

11:01

Curry On 2017 opening remarks

39:01

Manu Sridharan - Moving Fast with High Reliability Program Analysis at Uber

40:34

Avik Chaudhuri - Flow Reloaded New Challenges and New Opportunities

43:02

Jeremy Gibbons - Profunctor Optics Modular Data Accessors

42:17

Allison McMillan - Angelina Ballerina Learns About Memory Allocation

41:09

Tijs van der Storm - Rascal: the Swiss Army Knife of Meta Programming - Curry On

41:05

Sean Grove - From Unikernels to Databases to UIs: Truly full-stack apps in OCaml - Curry On

40:48

Oskar Wickström - Oden - A Functional Programming Language for the Go Ecosystem - Curry On

40:18

Jörgen Brandt - Functional Programming and Foreign Language Interfaces - Curry On

45:08

Sean McDirmid - The Future of Programming will be Live - Curry On

42:18

Manuel Chakravarty - A Type is Worth a Thousand Tests - Curry On

46:40

Crista Lopes - Exercises in Programming Style - Curry On

43:01

Úlfar Erlingsson - Data-driven Software security - Curry On

37:25

Kelley Robinson - Why The Free Monad isn't Free - Curry On

54:47

Ron Pressler - Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On

45:58

Peter O'Hearn - Move Fast to Fix More Things - Curry On

39:44

Caitie McCaffrey - Building Scalable Stateful Services - Curry On

52:03

Yuan Yu - Distributed Iterative Computation in TensorFlow - Curry On

45:42

Jaroslav Tulach - Become a Polyglot by learning Java! - Curry On

42:34

Juan Lulkin - What is programming? - Curry On

44:06

Simon Belak - Doing data science with Clojure: the ugly, the sad, the joyful - Curry On

48:59

Matthias Felleisen - The Racket Manifesto - Curry On

45:16

Eugene Burmako - To Macros and Beyond!: How macros changed Scala, and what's coming next - Curry On

30:07

Julien Richard-Foy - Using Object Algebras To Design Embedded Domain Specific Languages - Curry On

40:30

Renzo Borgatti - Distributed Configuration with Clojure - Curry On

42:40

Michael Sperber - The Functional Programming Languages Nomad - Curry on

43:38

Ross Tate - Redesigning Type Systems for Industry OO - Curry On

40:13

Frank Wang - Sieve: Cryptographically Enforced Access Control - Curry On

1:03:57

Dave Herman - Building an Open Source Research Lab - Curry On

39:01

Kasper Lund - Dartino: a managed language on micro-controllers? - Curry On

44:26

Dmitry Ivanov & Nami Nasserazad - Practical Demystification of CRDTs - Curry On

43:10

Silvia Crafa - On the chemistry of typestate-oriented actors Curry On

39:41

James Noble - Notes on Post-Post-Modern-Modern Programming - Curry On

41:24

Andrey Kuzmin & Kolja Wilcke - Creating a Fun Game with Elm - Curry On

53:58

Larry Wall - It's the End of the World as We Know It, and I Feel Fine - Curry On

50:21

David Nolen - How To Win Big With Old Ideas - Curry On

45:47

Cristina Cifuentes - Are We Ready for Secure Languages? - Curry On

40:55

Andrea Magnorsky - A brief and incomplete history of programming languages - Curry On

53:52

Marc Shapiro - Encapsulating replication, high concurrency and consistency with CRDTs - Curry On

37:05

Francisco Sant'Anna - Structured Synchronous Programming - Curry On

41:15

Andrey Breslav - Kotlin: Challenges in language design - Curry On

41:50

Andy Gordon - Empowering Spreadsheet Users with Probabilistic Programs - Curry On

44:43

Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On

31:45

Tyler McMullen - It Probably Works - Curry On

39:43

Tony Printezis Java @ Twitter a bird`s eye view - Curry On

47:18

Jurriaan Hage - Making Embedded Domain Specific Languages a Practical Reality - Curry On

1:01:29

Jeff Bezanson & Stefan Karpinski - Julia: Numerical Applications Pushing Limits of Language Design

40:30

Bodil Stokke - Post FRP Frontend Programming - Curry On

43:46

Julia Lawall - Coccinelle for the Working Programmer - Curry On

38:47

Julian Arni - Servant: a type level DSL for web APIs - Curry On

40:11

Ben Titzer - Speed at a Price: The Evolution of V8 and the Challenges of Research in a Billion User

37:35

Roland Kuhn - Akka Typed: Between Session Types and the Actor Model - Curry On

37:15

Ary Borenszweig & Juan Wajnerman - Crystal: a programming language for humans & computers - Curry On

48:05

David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On

41:11

Valentin Gogichashvili Scaling SQL Databases Beyond Limits with PostgreSQL -Curry On

41:12

Anton Epple - Java everywhere again with DukeScript! - Curry On

40:51

Sumit Gulwani - Data Manipulation using Programming By Examples and Natural Language - Curry On

43:53

Thomas Arts - Quick Check: from invention to product - Curry On

40:07

Zach Tellman - Some Things That Macros Do - Curry On

47:30

Marijn Haverbeke - Tern: Practycal Type Interference for Java Script Editing - Curry On

40:59

Alex Muscar - Pyro: Typing Python in Python - Curry On

46:11

Pony: Making it easy to write efficient, concurrent, data race free programs - Curry On

37:34

Dan Friedman & Jason Hemann - How to be a good host: miniKanren as a case study - Curry On

39:07

Philip Wadler - Everything old is new again: Quoted domain specific languages - Curry On

43:15

Felix Klock - Rust: A type system you didn't know you wanted - Curry On

49:29

Brendan Eich - JavaScript at 20 - Curry On

1:29:30

Bjarne Stroustrup - What – if anything – have we learned from C++? - Curry On/PLE'15 Keynote

44:00

Cliff Click - Bits of advice for VM writers - Curry On

58:23

Evan Czaplicki - Let's be mainstream! User focused design in Elm - Curry On