© 2018 Strange Loop
Strange Loop 2018
Keynotes
Talks
-
Categories for the Working Hacker
Philip Wadler
University of Edinburgh / IOHK
-
Machine Learning for Personalised Health
Danielle Belgrave
Microsoft Research Cambridge
-
Contracts For Getting More Programs Less Wrong
Rob Simmons
Calculemus LLC
-
"It's Just Matrix Multiplication": Notation for Weaving
Lea Albaugh
Carnegie Mellon University Human-Computer Interaction Institute
-
Isolation without Containers
Tyler McMullen
Fastly
-
Some things may never get fixed
Rachel Kroll
RBTB Enterprises
-
Building Senior Engineers
Dalton Mitchell
Riskalyze
-
Misuer
David Schmudde
Beyond the Frame
-
Reactive Programming: A Better Way To Write Frontend Applications
Hannah Howard
Carbon Five
-
Vellvm - Verifying the LLVM
Steve Zdancewic
University of Pennsylvania
-
A Tale of Two Asyncs: Open Source Language Design in Rust and Node.js
Ashley Williams
Rust Core Team, Mozilla
-
You are a Program Synthesizer
James Koppel
MIT
-
FaCT: A New Language for Constant-Time Programming
Sunjay Cauligi
UC San Diego
-
Chasing the Stream Processing Utopia
Kartik Paramasivam
LinkedIn
-
Learning from machines
Ashi Krishnan
GitHub
-
TBD 3
Kavya Joshi
-
Puzzles, Problems, and Programs
Chris Martens
North Carolina State University
-
Towards Language Support for Distributed Systems
Heather Miller
Carnegie Mellon University
-
Soul from Scratch: Designing a More Portable Organ
Peter Teichman
Fastly
-
Rosie Pattern Language: Improving on 50-Year Old Regular Expression Technology
Jamie Jennings
IBM
-
Data Driven UIs, Incrementally
Yaron Minsky
Jane Street Group
-
Of Data Dropboxes and Data Gloveboxes
Clay Baenziger
Bloomberg L.P.
-
Democratizing AI - Back-fitting end-to-end machine learning at LinkedIn scale
Joel Young
LInkedIn
Bo Long
LinkedIn
-
Browser Testing using Grammars and a Consensus Oracle
Joel Martin
ViaSat, Inc
-
Resurrecting a Recommendations Platform
Leemay Nassery
Comcast NBCUniversal
-
Making machines that make music
Srihari Sriraman
nilenso
-
A Box of Chaos: The Generative Artist's Toolkit
Benjamin Kovach
Freckle Education
-
Validating Big Data Pipelines & ML (w Spark & Beam) - Inspecting Functional Pipelines & Avoiding Awkward Recommendations
Holden Karau
Google
-
How we've made a global search engine for genetic data
Miro Cupak
DNAstack
-
Freeing the software that runs our elections
Roan Kattouw
-
Your Secrets are Safe with Julia: A Compiler for Secure Computation
Jason Dagit
Galois, Inc
-
Understanding TypeScript's Structural Type System
Drew Colthorp
Atomic Object
-
Hazel: A Live Functional Programming Environment with Typed Holes
Cyrus Omar
University of Chicago
-
Gradual typing of Ruby at Scale
Dmytro Petrashko
Stripe
Paul Tarjan
Stripe
Nelson Elhage
Stripe
-
Algorithms for DNA Data Storage
Ruthie Nachmany
Warby Parker
-
Trusting Your Data Science Pipelines: A Quantitative Approach
Elijah ben izzy
Two Sigma
-
Hackett: a metaprogrammable Haskell
Alexis King
-
Mapping Imaginary Cities
Mouse Reeve
Internet Archive
-
For AI, By AI: Freedom & Evolution of the AlgoPoetic Avant-Garde
Connor Walsh
-
Generating Music From Emotion (and other experiments)
Hannah Davis
-
Building a Canary Testing Framework
Iheanyi Ekechukwu
-
Zero Downtime Migrations of Stateful Systems
Sangeeta Handa
Netflix
-
Privacy: the Last Stand for Fair Algorithms
Katharine Jarmul
http://kiprotect.com
-
Don't Ask, Don't Tell: The Virtues of Privacy By Design
Eleanor McHugh
Innovative Identity Solutions
-
Proof Theory Impressionism: Blurring the Curry-Howard Line
Dan Pittman
PolySync
-
Type-Driven Program Synthesis
Nadia Polikarpova
UC San Diego
-
Designing Augmented Reality Systems for Speed
Diana Hu
Niantic, Inc
-
A Cultural History of Open Source: Exploring Problems and Future Directions
Evan Czaplicki
NoRedInk
-
Mill vs. Spectre: Performance and Security
Ivan Godard
Mill Computing, Inc.
-
Musical Steganography: Hiding Things in Music
Scott Fradkin
Flexion
-
Building Financial Systems on Eventually Consistent DBs
Rahul Pilani
Netflix
-
The bots that help run Wikipedia
Niharika Kohli
Wikimedia Foundation
-
Flare: Optimizing Apache Spark for Scale-Up Architectures and Medium-Size Data
Gregory Essertel
Purdue University
-
Running With Scissors: Live Coding With Data
Stuart Halloway
Cognitect
-
Picasso, Geometry, Jupyter
Ryan Herr
-
The Magical Rebalance Protocol of Apache Kafka
Gwen Shapira
Confluent
-
Architecting for Active-Active Resiliency in the Cloud
Steven Dang
Capital One
-
Making Games for 1920s Hardware
Mike Lazer-Walker
-
Scala DSLs and Probabilistic Programming
Joe Wingbermuehle
CiBO Technologies
-
Ray: A distributed system for emerging AI applications
Stephanie Wang
UC Berkeley
Robert Nishihara
UC Berkeley
-
Moving from 1 to N regions: an open retrospective
Andrew Bloomgarden
New Relic
-
Leverage vs. Autonomy in a Large Software System
Jake Donham
Twitter, Inc.
-
Rebuilding Optimizing Compiler for Dart
Vyacheslav Egorov
Google
-
Git from the Ground Up
Safia Abdalla
-
Why I chose to modularize the ducks in my React App
Lauren Lee
Amazon
-
Deep Pwning 101: how to break a machine learning model
Paige Bailey
Microsoft
-
Software Performance: A Shape Not a Number
Kay Ousterhout
LightStep
-
A Little Taste of Dependent Types
David Christiansen
Galois, Inc.
-
PANOPTES: Open Source Exoplanet Discovery
Jen Tong
Google
-
Tree-sitter - a new parsing system for programming tools
Max Brunsfeld
GitHub
-
A Theory of Everything
Johnny Ray Austin
Mapbox
-
Scalable Anomaly Detection (with Zero Machine Learning)
Arthur Gonigberg
Netflix
-
Understanding Microservices with Distributed Tracing
Lita Cho
Lyft
-
The Glitching Hour
Amy Wibowo
Bubblesort Zines
-
From the Inside Out: Building a City Vacancy Portal
Jonathan Leek
Daugherty Business Solutions
Laura Ginn
Green City Coalition
-
A Funny Thing Happened On The Way To Reimplementing AlphaGo
Xuanyi Chew
Ordermentum
-
The Search for a New Visual Search, Beyond Language
Bryan Minor
Shutterstock
-
Justice For Sale
Brittany Wald