Heather Miller
Biography
I am a US NSF Graduate Research Fellow, and PhD student in the School of Computer & Communication Sciences, working under the supervision of Prof. Martin Odersky at LAMP. Research Interests: Language support for distributed programming. Parallel (and distributed) programming models. More info: http://www.heather.miller.am CV Committees: POPL 2015 AEC, Scala 2014 (co-chair), Scala 2013 (co-chair) Reviewer for: ECOOP 2013, Scala 2013Publications
. Self-Assembly: Lightweight Language Extension and Datatype Generic Programming, All-in-One!. , 2014.
. Improving Human-Compiler Interaction Through Customizable Type Feedback. , 2014.
. Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. European Conference on Object-Oriented Programming (ECOOP'14), Uppsala, Sweden, 2014.
. 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.
. 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.
. RAY: Integrating Rx and Async for Direct-Style Reactive Streams. Workshop on Reactivity, Events and Modularity, Indianapolis, Indiana, USA, 2013.
Spores, Formally, 2013.
. FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. 25th International Workshop on Languages and Compilers for Parallel Computing, Tokyo, Japan, 2012.
. Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance. NIPS 2011 Workshop on Parallel and Large-Scale Machine Learning (BigLearn), Sierra Nevada, Spain, 2011.
. Parallelizing Machine Learning- Functionally: A Framework and Abstractions for Parallel Graph Processing. 2nd Annual Scala Workshop, Stanford, California, USA, 2011.
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction Proofs, 2012.
. On The Road To A Neuroprosthetic Hand: A Novel Hand Grasp Orthosis Based on Functional Electrical Stimulation. 32nd Annual International Conference of the IEEE EMBS, Buenos Aires, Argentina, IEEE Engineering in Medicine and Biology Society Conference Proceedings, 2010.
Unité: SCALA-GE
Publications
Infoscience
Les donées en-ligne ne sont pas accessiblesD. Klug; H. Miller : Open Source Is A-Changin': How Qualitative Research Can Help Us Adapt. 2018-05-01.
T. M. Malta; A. Sokolov; A. J. Gentles; T. Burzykowski; L. Poisson et al. : Machine Learning Identifies Stemness Features Associated with Oncogenic Dedifferentiation; Cell. 2018-04-05. DOI : 10.1016/j.cell.2018.03.034.
C. Meiklejohn; Z. Lakhani; H. Miller : Towards a Solution to the Red Wedding Problem. 2018.
P. Haller; H. Miller; N. Müller : A Programming Model and Foundation for Lineage-Based Distributed Computation; Journal of Functional Programming. 2018. DOI : 10.1017/S0956796818000035.
K. Clancy; H. Miller; C. Meiklejohn : Monotonicity Types. 2017.
K. Clancy; H. Miller : Monotonicity Types for Distributed Dataflow. 2017. 2nd Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017.
M. Odersky; O. Blanvillain; F. Liu; A. Biboudis; H. Miller et al. : Simplicitly: Foundations and Applications of Implicit Function Types. 2017. 45th ACM SIGPLAN Symposium on Principles of Programming Languages, Los Angeles, California, United States, Sun 7 - Sat 13 January 2018. DOI : 10.1145/3158130.
P. Haller; N. Müller; H. Miller : The Function Passing Model: Types, Proofs, and Semantics. 2016.
H. Miller; P. Haller; N. Müller; J. Boullier : Function Passing: A Model for Typed, Distributed Functional Programming. 2016. ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity, Onward! Research Papers, Amsterdam, Netherlands, November 2-4, 2016. p. 82-97. DOI : 10.1145/2986012.2986014.
H. Miller : Language Support for Distributed Functional Programming. Lausanne, EPFL, 2015. DOI : 10.5075/epfl-thesis-6784.
S. Alam; F. D. Albareti; C. Allende Prieto; F. Anders; S. F. Anderson et al. : The Eleventh And Twelfth Data Releases Of The Sloan Digital Sky Survey: Final Data From Sdss-Iii; Astrophysical Journal Supplement Series. 2015. DOI : 10.1088/0067-0049/219/1/12.
P. Haller; H. Miller : Distributed Programming via Safe Closure Passing. 2015. Programming Language Approaches to Communication and Concurrency Centric Systems, London, UK, April 18, 2015.
H. Miller; P. Haller; d. S. Oliveira; C. Bruno : Self-Assembly: Lightweight Language Extension and Datatype Generic Programming, All-in-One!. 2014.
H. Plociniczak; H. Miller; M. Odersky : Improving Human-Compiler Interaction Through Customizable Type Feedback. 2014.
H. Miller; P. Haller; M. Odersky : Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. 2014. European Conference on Object-Oriented Programming (ECOOP'14), Uppsala, Sweden, July 28 - August 1, 2014.
H. Miller; P. Haller; L. Rytz; M. Odersky : Functional Programming For All! Scaling a MOOC for Students and Professionals Alike. 2014. 36th International Conference on Software Engineering (ICSE'14) SEET Track, Hyderabad, India, May 31 - June 7, 2014.
H. Miller; P. Haller; E. Burmako; M. Odersky : Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization; Acm Sigplan Notices. 2013. DOI : 10.1145/2509136.2509547.
H. Miller; P. Haller : Spores, Formally. 2013.
P. Haller; H. Miller : RAY: Integrating Rx and Async for Direct-Style Reactive Streams. 2013. Workshop on Reactivity, Events and Modularity, Indianapolis, Indiana, USA, October 28, 2013.
H. Miller; P. Haller; E. Burmako; M. Odersky : Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization. 2013. ACM SIGPLAN 2013 Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA'13), Indianapolis, Indiana, USA, October 26-31, 2013.
T. Schlatter; A. Prokopec; H. Miller; P. Haller; M. Odersky : Multi-Lane FlowPools: A Detailed Look. 2012.
A. Prokopec; H. Miller; P. Haller; T. Schlatter; M. Odersky : FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction – Proofs. 2012.
A. Prokopec; H. Miller; T. Schlatter; P. Haller; M. Odersky : FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. 2012. 25th International Workshop on Languages and Compilers for Parallel Computing, Tokyo, Japan, September 11-13, 2012.
H. Miller; P. Haller; M. Odersky : Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance. 2011. NIPS 2011 Workshop on Parallel and Large-Scale Machine Learning (BigLearn), Sierra Nevada, Spain, December 16-17, 2011.
P. Haller; H. Miller : Parallelizing Machine Learning- Functionally: A Framework and Abstractions for Parallel Graph Processing. 2011. 2nd Annual Scala Workshop, Stanford, California, USA, June 2, 2011.
R. Leeb; M. J. Gubler; M. Tavella; H. Miller; J. d. R. Millán : On The Road To A Neuroprosthetic Hand: A Novel Hand Grasp Orthosis Based on Functional Electrical Stimulation. 2010. 32nd Annual International Conference of the IEEE EMBS, Buenos Aires, Argentina, August 31 - September 4, 2010. p. 146-149.