Publications

Book

Distributed Programming
H. Miller, N. Dempkowski, J. Larisch, C. Meiklejohn, P. Haller
A textbook about the building blocks we use to build distributed systems. These range from the small, RPC, futures, actors, to the large; systems built up of these components like MapReduce and Spark. We explore issues and concerns central to distributed systems like consistency, availability, and fault tolerance, from the lens of the programming models and frameworks that the programmer uses to build these systems.

Current Drafts

Monotonicity Types
K. Clancy, H. Miller, C. Meiklejohn
PDF
The Essence of Coordination-Free Distributed Computation
C. Meiklejohn, K. Clancy, H. Miller

Refereed Journal and Conference Papers

A Programming Model and Foundation for Lineage-Based Distributed Computation
P. Haller, H. Miller, N. Müller
Journal of Functional Programming, to appear
2018
PDF
JFP 2018
Simplicitly: Foundations and Applications of Implicit Function Types
M. Odersky, O. Blanvillain, F. Liu, A. Biboudis, H. Miller, S. Stucki
ACM SIGPLAN Symposium on Principles of Programming Languages
2018
PDF ACM DL
POPL 2018
Function Passing: A Model for Typed, Distributed Functional Programming
H. Miller, P. Haller, N. Müller, and J. Boullier
ACM SIGPLAN Systems, Programming, Languages and Applications: Software for Humanity, Onward!
2016
PDF ACM DL
SPLASH 2016
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
H. Miller, P. Haller and M. Odersky
European Conference on Object-Oriented Programming
2014
PDF ACM DL
ECOOP 2014
Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
H. Miller, P. Haller, L. Rytz and M. Odersky
36th International Conference on Software Engineering, SEET Track
2014
PDF ACM DL
ICSE 2014
Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization
H. Miller, P. Haller, E. Burmako and M. Odersky
ACM SIGPLAN 2013 Conference on Object Oriented Programming, Systems, Languages and Applications
2013
PDF ACM DL
OOPSLA 2013

Refereed Workshop Papers

Monotonicity Types for Distributed Dataflow
K. Clancy, H. Miller
Programming Models and Languages for Distributed Computing
2017
PDF ACM DL
PMLDC 2017
Distributed Programming via Safe Closure Passing
H. Miller, P. Haller and M. Odersky
Programming Language Approaches to Communication and Concurrency Centric Systems
2015
PDF
PLACES 2015
RAY: Integrating Rx and Async for Direct-Style Reactive Streams
P. Haller, H. Miller
Reactivity, Events and Modularity
2013
PDF
REM 2013
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction
A. Prokopec, H. Miller, T. Schlatter, P. Haller, M. Odersky
25th International Workshop on Languages and Compilers for Parallel Computing
2012
PDF
LCPC 2012

Language Proposals, White Papers, General Interest Articles

SIP-21 - Spores
H. Miller, M. Odersky, P. Haller
June 2013
article 
Functional Programming Principles in Scala: Impressions and Statistics
H. Miller, M. Odersky
January 2012
article 
SIP-14 – Futures and Promises
P. Haller, A. Prokopec, H. Miller, V. Klang, R. Kuhn, V. Jovanovic
January 2012
article 

Technical Reports

The Function Passing Model: Types, Proofs, and Semantics
P. Haller, N. Müller, H. Miller
May 2016
PDF
Specialising Parsers for Queries
M. Jonnalagedda, J. Vicente Cantero, H. Miller, M. Odersky
April 2016
Improving Human-Compiler Interaction Through Customizable Type Feedback
H. Plociniczak, H. Miller, M. Odersky
August 2014
PDF
Self-Assembly: Lightweight Language Extension and Datatype Generic Programming, All-in-One!
H. Miller, P. Haller, B. C. d. S. Oliveira
August 2014
PDF
Spores, Formally
H. Miller, P. Haller
December 2013
PDF
FlowPools: A Lock-Free Deterministic Concurrent Dataflow June 2012 Abstraction – Proofs
A. Prokopec, H. Miller, P. Haller
June 2012
PDF

Thesis

Language Support for Distributed Functional Programming
Heather Miller
Doctoral Thesis
Thesis Advisor: Martin Odersky
Thesis Committee: Matei Zaharia, Jan Vitek, Viktor Kuncak, James Larus
EPFL, October 2015
PDF