Heather Miller

According to our database, Heather Miller authored at least 36 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sparse Matrix in Large Language Model Fine-tuning.

Haoze He, Juncheng Billy Li, Xuan Jiang, Heather Miller

CoRR, 2024

Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization.

Michael Assad, Christopher S. Meiklejohn, Heather Miller, Stephan Krusche

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

DSPy: Compiling Declarative Language Model Calls into State-of-the-Art Pipelines.

Omar Khattab, Arnav Singhvi, Paridhi Maheshwari, Zhiyuan Zhang, Keshav Santhanam, Sri Vardhamanan, Saiful Haq, Ashutosh Sharma, Thomas T. Joshi, Hanna Moazam, Heather Miller, Matei Zaharia, Christopher Potts

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly.

Ben L. Titzer, Elizabeth Gilbert, Bradley Wei Jie Teo, Yash Anand, Kazuyuki Takayama, Heather Miller

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines.

Omar Khattab, Arnav Singhvi, Paridhi Maheshwari, Zhiyuan Zhang, Keshav Santhanam, Sri Vardhamanan, Saiful Haq, Ashutosh Sharma, Thomas T. Joshi, Hanna Moazam, Heather Miller, Matei Zaharia, Christopher Potts

CoRR, 2023

For-Each Operations in Collaborative Apps.

Matthew Weidner, Ria Pradeep, Benito Geordie, Heather Miller

Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023

2022

Collabs: Composable Collaborative Data Structures.

Matthew Weidner, Heather Miller, Huairui Qi, Maxime Kjaer, Ria Pradeep, Benito Geordie, Christopher Meiklejohn

CoRR, 2022

Distributed Execution Indexing.

Christopher S. Meiklejohn, Rohan Padhye, Heather Miller

CoRR, 2022

Message from the SEIP Chairs of ICSE 2022.

Mark Harman, Heather Miller

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

Method overloading the circuit.

Christopher Meiklejohn, Lydia Stark, Cesare Celozzi, Matt Ranney, Heather Miller

Proceedings of the 13th Symposium on Cloud Computing, SoCC 2022, 2022

2021

Service-Level Fault Injection Testing.

Christopher S. Meiklejohn, Andrea Estrada, Yiwen Song, Heather Miller, Rohan Padhye

Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020

Composing and decomposing op-based CRDTs with semidirect products.

Matthew Weidner, Heather Miller, Christopher Meiklejohn

Proc. ACM Program. Lang., 2020

Heard it through the Gitvine: an empirical study of tool diffusion across the npm ecosystem.

Hemank Lamba, Asher Trockman, Daniel Armanios, Christian Kästner, Heather Miller, Bogdan Vasilescu

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

Matthew Weidner, Heather Miller, Christopher Meiklejohn

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.

Garreth W. Tigwell, Roshan Lalintha Peiris, Stacey Watson, Gerald M. Garavuso, Heather Miller

Proceedings of the ASSETS '20: The 22nd International ACM SIGACCESS Conference on Computers and Accessibility, 2020

2019

Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild.

Filip Krikava, Heather Miller, Jan Vitek

Proc. ACM Program. Lang., 2019

A reduction semantics for direct-style asynchronous observables.

Philipp Haller, Heather Miller

J. Log. Algebraic Methods Program., 2019

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

Filip Krikava, Heather Miller, Jan Vitek

CoRR, 2019

PARTISAN: Scaling the Distributed Actor Runtime.

Christopher S. Meiklejohn, Heather Miller, Peter Alvaro

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Checking-in on network functions.

Zeeshan Lakhani, Heather Miller

Proceedings of the Applied Networking Research Workshop, 2019

2018

Simplicitly: foundations and applications of implicit function types.

Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki

Proc. ACM Program. Lang., 2018

A programming model and foundation for lineage-based distributed computation.

Philipp Haller, Heather Miller, Normen Müller

J. Funct. Program., 2018

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

Zeeshan Lakhani, Heather Miller

CoRR, 2018

Partisan: Enabling Cloud-Scale Erlang Applications.

Christopher Meiklejohn, Heather Miller

CoRR, 2018

Towards a Solution to the Red Wedding Problem.

Christopher Meiklejohn, Heather Miller, Zeeshan Lakhani

Proceedings of the USENIX Workshop on Hot Topics in Edge Computing, 2018

2017

Monotonicity Types for Distributed Dataflow.

Kevin Clancy, Heather Miller

Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, 2017

2016

Function passing: a model for typed, distributed functional programming.

Heather Miller, Philipp Haller, Normen Müller, Jocelyn Boullier

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

2015

Language Support for Distributed Functional Programming.

Heather Miller

PhD thesis, 2015

Distributed Programming via Safe Closure Passing.

Philipp Haller, Heather Miller

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.

Philipp Haller, Heather Miller

CoRR, 2015

A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution.

Heather Miller, Philipp Haller

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

Functional programming for all! scaling a MOOC for students and professionals alike.

Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky

Proceedings of the 36th International Conference on Software Engineering, 2014

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution.

Heather Miller, Philipp Haller, Martin Odersky

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization.

Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012

FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction.

Aleksandar Prokopec, Heather Miller, Tobias Schlatter, Philipp Haller, Martin Odersky

Proceedings of the Languages and Compilers for Parallel Computing, 2012

2011

Seamless data visualization for frost detection.

Jingfang Huang, Ikechukwu Azogu, Anusha Sunkara, Hong Liu, Honggang Wang, Heather Miller

Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011