Heather Miller

According to our database1, Heather Miller authored at least 31 papers between 2011 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


For-Each Operations in Collaborative Apps.
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023

Collabs: Composable Collaborative Data Structures.
CoRR, 2022

Distributed Execution Indexing.
CoRR, 2022

Message from the SEIP Chairs of ICSE 2022.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

Method overloading the circuit.
Proceedings of the 13th Symposium on Cloud Computing, SoCC 2022, 2022

Service-Level Fault Injection Testing.
Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

Composing and decomposing op-based CRDTs with semidirect products.
Proc. ACM Program. Lang., 2020

Heard it through the Gitvine: an empirical study of tool diffusion across the npm ecosystem.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Composing and decomposing op-based CRDTs with semidirect products: (summary).
Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, 2020

Student and Teacher Perspectives of Learning ASL in an Online Setting.
Proceedings of the ASSETS '20: The 22nd International ACM SIGACCESS Conference on Computers and Accessibility, 2020

Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild.
Proc. ACM Program. Lang., 2019

A reduction semantics for direct-style asynchronous observables.
J. Log. Algebraic Methods Program., 2019

Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild.
CoRR, 2019

PARTISAN: Scaling the Distributed Actor Runtime.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Checking-in on network functions.
Proceedings of the Applied Networking Research Workshop, 2019

Simplicitly: foundations and applications of implicit function types.
Proc. ACM Program. Lang., 2018

A programming model and foundation for lineage-based distributed computation.
J. Funct. Program., 2018

Clippy(ing) Network Functions: Towards Better Abstractions for Checking and Designing Network Programs.
CoRR, 2018

Partisan: Enabling Cloud-Scale Erlang Applications.
CoRR, 2018

Towards a Solution to the Red Wedding Problem.
Proceedings of the USENIX Workshop on Hot Topics in Edge Computing, 2018

Monotonicity Types for Distributed Dataflow.
Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, 2017

Function passing: a model for typed, distributed functional programming.
Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Language Support for Distributed Functional Programming.
PhD thesis, 2015

Distributed Programming via Safe Closure Passing.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

A Formal Model for Direct-style Asynchronous Observables.
CoRR, 2015

A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Functional programming for all! scaling a MOOC for students and professionals alike.
Proceedings of the 36th International Conference on Software Engineering, 2014

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction.
Proceedings of the Languages and Compilers for Parallel Computing, 2012

Seamless data visualization for frost detection.
Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011