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 | 51 | 2014 |
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 | 48 | 2018 |
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 | 47 | 2013 |
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 | 39 | 2013 |
Medusahead HC Miller, D Clausnitzer, MM Borman | 38 | 1999 |
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 | 36 | 2010 |
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 | 32 | 2014 |
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 | 30 | 2012 |
Parallelizing machine learning – functionally: A framework and abstractions for parallel graph processing P Haller, H Miller 2nd Annual Scala Workshop, 2011 | 24 | 2011 |
Function Passing: A Model for Typed, Distributed Functional Programming H Miller, P Haller ACM SIGPLAN conference on Systems, Programming, Languages and Applications …, 2016 | 17 | 2016 |
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 | 14 | 2020 |
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 | 11 | 2021 |
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 | 11 | 2020 |
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 | 11 | 2019 |
Demography of medusahead on two soil types: potential for invasion into intact native communities HC Miller | 10 | 1996 |
Partisan: Scaling the Distributed Actor Runtime CS Meiklejohn, H Miller, P Alvaro 2019 USENIX Annual Technical Conference (USENIX ATC 19), 2019 | 9 | 2019 |
RAY: Integrating Rx and Async for Direct-Style Reactive Streams P Haller, H Miller Workshop on Reactivity, Events and Modularity (REM'13), 2013 | 9 | 2013 |
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 | 8 | 2018 |
Partisan: Enabling cloud-scale erlang applications C Meiklejohn, H Miller arXiv preprint arXiv:1802.02652, 2018 | 7 | 2018 |
Monotonicity types for distributed dataflow K Clancy, H Miller Proceedings of the Programming Models and Languages for Distributed …, 2017 | 7 | 2017 |