Curry On Prague! 2015

Curry On is a new conference focused on the intersection of emerging languages and emerging challenges in industry (e.g. big data or security), as well as new ideas and paradigms in software development.

Curry On also seeks to act as a conduit for ferrying understanding and ideas back and forth between industry and academic programming languages, software engineering, and systems research communities (amongst others).

Curry On is a rare event where academic minds responsible for concepts and tools now invaluable to everyday software development – like functional programming, or generics in Java – collide with the movers and shakers in industry that are building next-generation systems and developing software engineering practices central to our entire industry.

Curry On will be held in a different European city year-to-year, and it will always be co-located with one of the top academic conferences in programming languages. This year, it's co-located with ECOOP.

Join us for two days of fruitful and mind-altering ideas and discussions, and maybe a few beers.

Program

Monday, July 6^th

	Room 1: Bohemia 1	Room 2: Moravia I & II
8:45-9:00	Curry On opening remarks Jan Vitek and Heather Miller
9:00-9:45 Keynote Room: Bohemia II	keynote Programs Wanted: Dead or Alive Gilad Bracha Google @Gilad_Bracha Dart language
9:45-10:05	Coffee break, served outside of lecture hall
10:05-10:45	Kotlin: Challenges in language design Andrey Breslav JetBrains @abreslav Kotlin languageJVMlanguage design	Crystal: a programming language for humans and computers Ary Borenszweig & Juan Wajnerman Manas @asterite Crystal languageLLVMlanguage design
10:55-11:35	chess timer talk Structured Synchronous Programming Francisco Sant'Anna PUC-Rio, Brazil @fsantanna_puc Céu languagelanguage designstructured programming	chess timer talk Akka Typed: Between Session Types and the Actor Model Roland Kuhn Typesafe @rolandkuhn concurrencyactor modelScala language
11:45-12:25	Encapsulating replication, high concurrency and consistency with CRDTs Marc Shapiro Inria/LIP6 concurrencydistributioneventual consistency	Pull > Push: Please stop polluting our imperative languages with pure concepts Ron Pressler Parallel Universe @puniverseco functional programmingimperative programming
12:35-13:50	Lunch, Plzencka Restaurace, 250 meters from venue hotel
13:50-14:30	Empowering Spreadsheet Users with Probabilistic Programs Andy Gordon Microsoft Research probabilistic programmingbig data	Speed at a Price: The Evolution of V8 and the Challenges of Research in a Billion User VM Ben Titzer Google VMsJavaScript languagehackers' delight
14:40-15:20	It Probably Works Tyler McMullen Fastly @tbmcmullen probabilistic algorithms	Coccinelle for the Working Programmer Julia Lawall Inria/LIP6/UPMC/Sorbonne University bug-findingC language
15:30-16:00	Coffee break, served outside of lecture hall
16:00-16:40	Java @ Twitter - a bird's eye view Tony Printezis Twitter @tonyprintezis JVMJava language	Servant: a type-level DSL for web APIs Julian Arni Zalora web servicestypesdomain specific languagesHaskell language
16:50-17:30	Post-FRP Frontend Programming Bodil Stokke @bodil PureScript languagefunctional programming	Making Embedded Domain Specific Languages a Practical Reality Jurriaan Hage Utrecht University domain specific languagesHaskell language
17:40-18:30 Keynote Room: Bohemia II	keynote Julia: Numerical Applications Pushing the Limits of Language Design Jeff Bezanson & Stefan Karpinski MIT @jeffbezanson & @stefankarpinski Julia languagebig data
19:30-22:00	Curry On Party!, at Velká klášterní restaurace

Tuesday, July 7^th

	Room 1: Bohemia 1	Room 2: Moravia I & II
9:00-9:45 Keynote Room: Bohemia II	keynote JS @ 20 Brendan Eich @BrendanEich JavaScript languagelanguage design
9:45-10:05	Coffee break, served outside of lecture hall
10:05-10:45	Bits of Advice for VM Writers Cliff Click H2O VMsJVMhackers' delight	Some of the Things That Macros Do Zach Tellman Factual @ztellman macrosClojure language
10:55-11:35	chess timer talk Pyro – Typing Python in Python Alex Muscar Lyst typesPython language	chess timer talk QuickCheck: from invention to product Thomas Arts Quviq @quviq static analysistestingHaskell languageC language
11:45-12:25	How to be a good host: miniKanren as a case study Dan Friedman & Jason Hemann Indiana University @dfried00 & @jhemann logic programmingdomain specific languages	Data Manipulation using Programming By Examples and Natural Language Sumit Gulwani Microsoft Research Data CleaningSpreadsheets
12:35-13:50	Lunch, Plzencka Restaurace, 250 meters from venue hotel
13:50-14:30	What - if anything - have we learned from C++? Bjarne Stroustrup Morgan Stanley C++ language	Coding for Types: The Universe Pattern in Idris David Christiansen IT University of Copenhagen @d_christiansen dependent typesIdris language
14:40-15:20	chess timer talk Tern: Practical Type Inference for JavaScript Editing Marijn Haverbeke static analysisJavaScript language	Everything old is new again: Quoted domain specific languages Philip Wadler University of Edinburgh @philipwadler domain specific langaugeslanguage design
15:30-16:00	Coffee break, served outside of lecture hall
16:00-16:40	LLVM for JavaScript Filip Pizlo Apple @filpizlo JavaScript languageVMshackers' delight	GS Collections: Echoes of Smalltalk’s Past Alex Iliev Goldman Sachs software designsciencethe future
16:50-17:30	chess timer talk Rust: A Type System You Didn't Know You Wanted Felix Klock Mozilla @pnkfelix Rust languagetypeslanguage design	Java everywhere again - with DukeScript! Anton Epple NetBeans @monacotoni IDEs
17:40-18:20	Pony: making it easy to write efficient, concurrent, data-race free programs Sylvan Clebsch, Sebastian Blessing, Sophia Drossopoulou Casuality and Imperial College @ponylang Pony languageconcurrencylanguage design	Scaling SQL Databases Beyond Limits with PostgreSQL Valentin Gogichashvili Zalando @valgog SQL
18:30-19:20 Keynote Room: Bohemia II	keynote Let's be mainstream! User-focused design in Elm Evan Czaplicki Prezi @czaplic Elm languagefunctional reactive programmingfront-endlanguage design

Conference

Attending