PhD Candidate at LAMP
EPFL IC LAMP
Hello. I am a US NSF Graduate Research Fellow and PhD student working on the Scala programming language at the Programming Methods Laboratory (LAMP for short) under the supervision of Professor Martin Odersky. Before moving to Switzerland, I was born in and lived all over the US.
I am also the Scala "Documentation Czar."
I'm interested in programming language and compiler support for 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
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, 2014.
H. Miller and P. Haller. Spores, Formally, EPFL Tech Report, 2013.
P. Haller and H. Miller. RAY: Integrating Rx and Async for Direct-Style Reactive Streams. Workshop on Reactivity, Events and Modularity, Indianapolis, Indiana, USA, 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, 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, Tokyo, Japan, 2012.
A. Prokopec, H. Miller, P. Haller, T. Schlatter and M. Odersky. FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction – Proofs, EPFL Tech Report, 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), 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.
- EPFL IC IFF LAMP
- INR 329 (Bâtiment INR)
- Station 14
- 1015 Lausanne
Phone: +41 21 693 76 68