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.
Source

Refereed Papers

Method overloading the circuit
C. Meiklejohn, L. Stark, C. Celozzi, M. Ranney, H. Miller
ACM Symposium on Cloud Computing
2022
PDF
SoCC 2022
Service-level Fault Injection Testing
C. Meiklejohn, A. Estrada, Y. Song, H. Miller, R. Padhye
ACM Symposium on Cloud Computing
2021
PDF
SoCC 2021
Heard it Through the Gitvine: An Empirical Study of Tool Diffusion Across the npm Ecosystem
H. Lamba, A. Trockman, D. Armanios, C. Kästner, H. Miller, B. Vasilescu
ACM Symposium on the Foundations of Software Engineering
2020
FSE 2020
Composing and Decomposing Op-Based CRDTs with Semidirect Products
M. Weidner, C. Meiklejohn, H. Miller
ACM SIGPLAN International Conference on Functional Programming
2020
ICFP 2020
Scala Implicits Are Everywhere!
F. Krikava, J. Vitek, H. Miller
ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications
2019
OOPSLA 2019
Checking-in on Network Functions
Z. Lakhani, H. Miller
ACM, IRTF & ISOC Applied Networking Research Workshop
2019
ANRW 2019
Partisan: Rethinking the Distributed Actor Runtime For Greater Scalability
C. Meiklejohn, H. Miller, P. Alvaro
USENIX Annual Technical Conference
2019
USENIX ATC 2019
A Reduction Semantics for Direct-Style Asynchronous Observables
P. Haller, H. Miller
Journal of Logical and Algebraic Methods in Programming, Volume 105, p75-111.
2019
Science Direct
JLAMP 2019
A Programming Model and Foundation for Lineage-Based Distributed Computation
P. Haller, H. Miller, N. Müller
Journal of Functional Programming, Volume 28, e7.
2018
PDF Cambridge U. Press
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
Towards a Solution to the Red Wedding Problem
C. Meiklejohn, H. Miller, Z. Lakhani
USENIX Workshop on Hot Topics in Edge Computing
2018
PDF
USENIX HotEdge 2018
Monotonicity Types for Distributed Dataflow
K. Clancy, H. Miller
Programming Models and Languages for Distributed Computing
2017
PDF ACM DL
PMLDC 2017
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
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
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
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

Current Drafts

Open Source Is A-Changin': How Qualitative Research Can Help Us Adapt
D. Klug, H. Miller
Under Submission
PDF
Monotonicity Types
K. Clancy, H. Miller, C. Meiklejohn, P. Haller
Under Submission

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