Lambda Jam 2015 Chicago Topics

Keynote

Functional Programming & Composing Actors

Thumb_223deb4b-3b34-48d3-b0b4-43fe58636df6
Viktor Klang
Deputy CTO at Typesafe

Racket: a programming-language programming language

Thumb_0c722c65-6270-46c2-be9b-b7c4eea633bb
Robby Findler
Professor at Northwestern University & PLT
Talk

FP and Scala - The Killer Combo for Machine Learning

Thumb_0018de20-4cae-478a-826e-e238c9386a13
Marek Kolodziej
Sr. Research Engineer at Nitro.

Formal Verification of Secure Software Systems

Thumb_05e199ad-3934-4c9f-a837-adfffefb38a2
Aaron Bedra
Principal Engineer at Groupon

High Assurance Software: A Practical Overview

Thumb_8da90fcf-4be4-4ba3-9ed5-44e3f96b2bb5
Justin Leitgeb
Co-Founder and CTO of Stack Builders Inc

How To Use Real Computer Science in Your Day Job

Thumb_bcee3564-f38a-41f1-8ec1-e5b87fac9582
Craig Stuntz
Software Engineer

Modeling State Transitions with Specification-based Random Testing

Thumb_2bd50f16-658f-4102-9e88-bcf7f66c2b57
Zeeshan Lakhani
Programmer,Software Engineer at @basho,Founder of @papers_we_love

Reactive Machine Learning

Thumb_883c636c-2f02-4f6a-a6fb-4acb319e459b
Jeffrey Smith
data engineer at Intent Media

Type-Level Programming in Scala 101

Thumb_1540529c-5765-4081-8369-6ebfb9ddbee8
Joe Barnes
Senior Software Architect at Mentor Graphics

Writing a Writer

Thumb_c5309c63-a06c-4af7-b84b-f099b46fb0ea
Richard Gabriel
Researcher at IBM
Workshop / Jam

Building Distributed Applications with riak_core

Thumb_f65aea78-a4a7-4c92-9a24-dafd1853ba4e
Mark Allen
Senior Software Engineer

Clojure Macros

Thumb_160e8976-0e75-48d0-97e7-4c1696c53476

Colin Jones

Erlang: Inspiring Software

Thumb_062fc310-cbbc-4801-a37b-a3c5ea9d60ab

Francesco Cesarini

Exploring Data with Clojure

Thumb_d9a8c8b7-cb40-4eb6-984d-7b5cabfcbe64
Kevin Greene
Spantree Technology Group

How to host CLP (Without Much Hassle)

Thumb_3f42d1e6-d4a6-4f2a-bc0d-d7ec1ce41c6f

Jason Hemann

Thumb_8d32624b-17d9-4756-965c-17bd53eb36f8

Dan Friedman

Programming with Refinement Types

Thumb_f55f6f80-fa8e-49cd-b1cf-85061f9b61d8
Ranjit Jhala
Professor

Type-Level Programming in Scala 101

Thumb_1540529c-5765-4081-8369-6ebfb9ddbee8
Joe Barnes
Senior Software Architect at Mentor Graphics