Heather Miller
PhD Candidate at LAMP
  EPFL IC LAMP
INR 329
Station 14
1015 Lausanne
Switzerland


ResearchPapersTalks ContactCV


 

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



Research

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:


Committees:


Reviewer for:



Papers

H. Miller, P. Haller and B. Oliveira. Self-Assembly: Lightweight Language Extension and Datatype Generic Programming, All-in-One!. Under submission, 2014.

H. Plociniczak, H. Miller and M. Odersky. Improving Human-Compiler Interaction Through Customizable Type Feedback.. Under submission, 2014.

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.



Talks

[September 2014] Function-Passing Style: Typed, Distributed Functional Programming, presented at StrangeLoop'14, St. Louis, MO, USA. September 18, 2014.

[July 2014] Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution, presented at ECOOP'14, Uppsala, Sweden. July 31, 2014.

[July 2014]Applying Unconventional Thinking and Principles from Design to Programming, presented at SoundCloud HQ, Berlin, Germany. July 7, 2014.

[June 2014] Spores: Towards Function-Passing Style in the Age of Concurrency and Distribution, presented at ScalaDays'14, Berlin, Germany. June 17, 2014.

[June 2014] Functional Programming For All! Scaling a MOOC for Students and Professionals Alike, presented at ICSE'14, Hyderabad, India. June 4, 2014.

[March 2014] Academese to English: Scala's Type System, Dependent Types and What It Means To You, presented at NESclala'14, New York, NY, USA. March 1, 2014.

[October 2013] Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization, presented at OOPSLA'13, Indianapolis, IN, USA. October 26-31, 2013.

[October 2013, invited] PL Abstractions for Distributed Programming: Pickle Your Spores!, presented at IU PLFest, Bloomington, IN, USA. October 25, 2013.

[September 2013] Spores: Distributable Functions in Scala, presented at StrangeLoop'13, St. Louis, MO, USA. September 18-20, 2013.

[July 2013, invited] Open Issues in Dataflow Programming, presented at LaME'13, Montpellier, France. July 1, 2013.

[July 2013] Scala as a Research Tool, presented at ECOOP'13 Tutorial, Montpellier, France. July 1, 2013.

[June 2013] On Pickles & Spores: Improving Scala's Support for Distributed Programming, presented at ScalaDays'13, New York, NY, USA. July 10-12, 2013.

[April 2013, invited] Futures & Promises in Scala 2.10, presented at PhillyETE, Philadelphia, PA, USA. April 2-3, 2013.

[July 2011] Scala Official Documentation, presented at Scalathon, Philadelphia, PA, USA. July 15-17, 2011.

[June 2011] Parallelizing Machine Learning- Functionally presented at Scala Days 2011, Stanford, CA, USA. June 2-3, 2011.



Contact

Address:
  • EPFL IC IFF LAMP
  • INR 329 (Bâtiment INR)
  • Station 14
  • 1015 Lausanne
  • Switzerland

Email: heather.miller@epfl.ch
Phone: +41 21 693 76 68