Follow
Heather Miller
Title
Cited by
Cited by
Year
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
H Miller, P Haller, M Odersky
European Conference on Object Oriented Programming (ECOOP'14), 2014
532014
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 (POPL'18), 2018
502018
Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization
H Miller, P Haller, E Burmako, M Odersky
Object Oriented Programming, Systems, Languages and Applications (OOPSLA'13), 2013
452013
Flowpools: A lock-free deterministic concurrent dataflow abstraction
A Prokopec, H Miller, T Schlatter, P Haller, M Odersky
Languages and Compilers for Parallel Computing: 25th International Workshop …, 2013
392013
Medusahead
HC Miller, D Clausnitzer, MM Borman
391999
On the road to a neuroprosthetic hand: a novel hand grasp orthosis based on functional electrical stimulation
R Leeb, M Gubler, M Tavella, H Miller
2010 Annual International Conference of the IEEE Engineering in Medicine and …, 2010
372010
Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
H Miller, P Haller, L Rytz, M Odersky
36th International Conference on Software Engineering (ICSE'14), 2014
322014
Futures and promises
P Haller, A Prokopec, H Miller, V Klang, R Kuhn, V Jovanovic
URL: http://docs. scala-lang. org/overviews/core/futures. html, 2012
312012
Parallelizing machine learning – functionally: A framework and abstractions for parallel graph processing
P Haller, H Miller
2nd Annual Scala Workshop, 2011
242011
Function Passing: A Model for Typed, Distributed Functional Programming
H Miller, P Haller
ACM SIGPLAN conference on Systems, Programming, Languages and Applications …, 2016
182016
Service-level fault injection testing
CS Meiklejohn, A Estrada, Y Song, H Miller, R Padhye
Proceedings of the ACM Symposium on Cloud Computing, 388-402, 2021
152021
Composing and decomposing op-based CRDTs with semidirect products
M Weidner, H Miller, C Meiklejohn
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-27, 2020
142020
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
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
122020
Scala implicits are everywhere: A large-scale study of the use of scala implicits in the wild
F Křikava, H Miller, J Vitek
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019
122019
Demography of medusahead on two soil types: potential for invasion into intact native communities
HC Miller
101996
Partisan: Scaling the Distributed Actor Runtime
CS Meiklejohn, H Miller, P Alvaro
2019 USENIX Annual Technical Conference (USENIX ATC 19), 2019
92019
RAY: Integrating Rx and Async for Direct-Style Reactive Streams
P Haller, H Miller
Workshop on Reactivity, Events and Modularity (REM'13), 2013
92013
A reduction semantics for direct-style asynchronous observables
P Haller, H Miller
Journal of Logical and Algebraic Methods in Programming 105, 75-111, 2019
72019
Partisan: Enabling cloud-scale erlang applications
C Meiklejohn, H Miller
arXiv preprint arXiv:1802.02652, 2018
72018
Towards a solution to the red wedding problem
C Meiklejohn, H Miller, Z Lakhani
USENIX Workshop on Hot Topics in Edge Computing (HotEdge 18), 2018
72018
The system can't perform the operation now. Try again later.
Articles 1–20