Hello. I am an Assistant Clinical Professor at in the College of Computer and Information Science at Northeastern University. I also hold the position of Research Scientist at EPFL, and Executive Director of the Scala Center. I work on and around the Scala programming language.
In October 2015, I earned my PhD under the supervision of Professor Martin Odersky at the Programming Methods Laboratory (LAMP for short) at EPFL. Before moving to Switzerland, I was born in and lived all over the US.
I'm interested in programming language and compiler support for data-centric distributed programming. In particular, I'm interested in using type systems to facilitate the design of new, functional distributed systems. Loosely, that translates into several independent research/practical projects:
- distributable closures,
- flexible, extensible, and performant serialization,
- asynchronous and concurrent programming via futures and promises and deterministic concurrent dataflow
- [Fall 2016] CS7680, Special Topics in Computer Systems: Programming Models for Distributed Computation (Northeastern)
- [Spring 2016] CS 206, Parallelism and Concurrency (EPFL)
- [Spring 2015] CS 212, Reactive Programming and Parallelism (EPFL)
- TFPIE 2018 chair
- ICFP 2018 PC member
- OBT 2018 PC member
- PLDI 2018 ERC member
- OOPSLA 2017 PC member
- Curry On 2017 (co-chair)
- PMLDC 2017 (co-chair)
- TFP 2016 PC member
- SLE 2016 PC member
- REBLS 2016 PC member
- Scala 2016 PC member
- PMLDC 2016 (co-chair)
- Curry On 2016 (co-chair)
- ECOOP 2016 ERC member
- TFP 2016 PC member
- SAC 2016 PC member
- PLE 2015 PC member
- DSLDI 2015 PC member
- Curry On 2015 (co-chair)
- ECOOP 2015 organizing committee (sponsorship chair)
- Scala 2015 (co-chair)
- POPL 2015 AEC
- Scala 2014 (co-chair)
- Scala 2013 (co-chair)
- ECOOP 2013 ERC member
- Scala 2013 ERC member
P. Haller, H. Miller and N. Müller. A Programming Model and Foundation for Lineage-Based Distributed Computation. under submission, 2017.
K. Clancy and H. Miller. Monotonicity Types for Distributed Dataflow. 2nd Workshop on Programming Models and Languages for Distributed Computing (PMLDC), 2017.
H. Miller, P. Haller, N. Müller, and J. Boullier. Function Passing: A Model for Typed, Distributed Functional Programming. ACM SIGPLAN Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), Onward!, 2016.
P. Haller, N. Müller, and H. Miller. The Function Passing Model: Types, Proofs, and Semantics. EPFL Tech Report, 2016.
H. Miller, P. Haller and B. Oliveira. Self-Assembly: Lightweight Language Extension and Datatype Generic Programming, All-in-One!. Draft, 2015.
H. Plociniczak, H. Miller and M. Odersky. Improving Human-Compiler Interaction Through Customizable Type Feedback.. Draft, 2015.
P. Haller and H. Miller. Distributed Programming via Safe Closure Passing. Programming Language Approaches to Communication and Concurrency Centric Systems (PLACES'15), London, UK, April 2015.
H. Miller, P. Haller and M. Odersky. Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. European Conference on Object-Oriented Programming (ECOOP'14), Uppsala, Sweden, July 2014.
H. Miller, P. Haller, L. Rytz and M. Odersky. Functional Programming For All! Scaling a MOOC for Students and Professionals Alike. 36th International Conference on Software Engineering (ICSE'14) SEET Track, Hyderabad, India, June 2014.
H. Miller and P. Haller. Spores, Formally, EPFL Tech Report, December 2013.
H. Miller, P. Haller, E. Burmako and M. Odersky. Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization. ACM SIGPLAN 2013 Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA'13), Indianapolis, Indiana, USA, October 2013.
P. Haller and H. Miller. RAY: Integrating Rx and Async for Direct-Style Reactive Streams. Workshop on Reactivity, Events and Modularity (REM'13), Indianapolis, Indiana, USA, October 2013.
A. Prokopec, H. Miller, T. Schlatter, P. Haller and M. Odersky. FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC'12), Tokyo, Japan, September 2012.
A. Prokopec, H. Miller, P. Haller, T. Schlatter and M. Odersky. FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction – Proofs, EPFL Tech Report, June 2012.
H. Miller, P. Haller, and M. Odersky, Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance, Presented at NIPS 2011 Workshop on Parallel and Large-Scale Machine Learning (BigLearn'11), Granada Spain, December 2011.
P. Haller and H. Miller, Parallelizing Machine Learning-- Functionally: A Framework and Abstractions for Parallel Graph Processing, presented at the Scala Workshop 2011, Stanford CA, USA, June 2011.
H. Miller, F. Ingelrest, G. Barrenetxea, M. Vetterli, A Pragmatic View of Data Compression in Environmental Wireless Sensor Networks, Tech Report.
R. Leeb, M. Gubler, H. Miller, J. Millan, On the Road to a Neuroprosthetic Hand: A Novel Hand Grasp Orthosis based on Functional Electrical Stimulation, Presented at IEEE EMBC'10, Buenos Aires, Argentina, September 2010.
- College of Computer & Information Science
- Northeastern University
- 440 Huntington Ave,
- 242, West Village H (Building 23H)
- Boston, MA 02115
- EPFL SI SCALA
- INR 329 (Bâtiment INR)
- Station 14
- 1015 Lausanne
Email: email@example.com or firstname.lastname@example.org
Phone: +1 (646) 301-1825 or +41 21 693 76 68