Heather Miller

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 34

Top Topics

Fault Injection

Top Venues

Proc. ACM Program. Lang.

Publications

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
DSPy: Compiling Declarative Language Model Calls into State-of-the-Art Pipelines. ICLR (2024)
Michael Assad, Christopher Meiklejohn, Heather Miller, Stephan Krusche
Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization. CoRR (2024)
Michael Assad, Christopher S. Meiklejohn, Heather Miller, Stephan Krusche
Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization. ICSE Companion (2024)
Haoze He, Juncheng Billy Li, Xuan Jiang, Heather Miller
Sparse Matrix in Large Language Model Fine-tuning. CoRR (2024)
Ben L. Titzer, Elizabeth Gilbert, Bradley Wei Jie Teo, Yash Anand, Kazuyuki Takayama, Heather Miller
Flexible Non-intrusive Dynamic Instrumentation for WebAssembly. ASPLOS (3) (2024)
Ben L. Titzer, Elizabeth Gilbert, Bradley Wei Jie Teo, Yash Anand, Kazuyuki Takayama, Heather Miller
Flexible Non-intrusive Dynamic Instrumentation for WebAssembly. CoRR (2024)
Matthew Weidner, Ria Pradeep, Benito Geordie, Heather Miller
For-Each Operations in Collaborative Apps. CoRR (2023)
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
DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines. CoRR (2023)
Matthew Weidner, Ria Pradeep, Benito Geordie, Heather Miller
For-Each Operations in Collaborative Apps. PaPoC@EuroSys (2023)
Christopher Meiklejohn, Lydia Stark, Cesare Celozzi, Matt Ranney, Heather Miller
Method overloading the circuit. SoCC (2022)
Mark Harman, Heather Miller
Message from the SEIP Chairs of ICSE 2022. ICSE (SEIP) (2022)
Matthew Weidner, Heather Miller, Huairui Qi, Maxime Kjaer, Ria Pradeep, Benito Geordie, Christopher Meiklejohn
Collabs: Composable Collaborative Data Structures. CoRR (2022)
Christopher S. Meiklejohn, Rohan Padhye, Heather Miller
Distributed Execution Indexing. CoRR (2022)
Christopher S. Meiklejohn, Andrea Estrada, Yiwen Song, Heather Miller, Rohan Padhye
Service-Level Fault Injection Testing. SoCC (2021)
Garreth W. Tigwell, Roshan L. Peiris, Stacey Watson, Gerald M. Garavuso, Heather Miller
Student and Teacher Perspectives of Learning ASL in an Online Setting. ASSETS (2020)
Matthew Weidner, Heather Miller, Christopher Meiklejohn
Composing and decomposing op-based CRDTs with semidirect products. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Matthew Weidner, Heather Miller, Christopher Meiklejohn
Composing and decomposing op-based CRDTs with semidirect products: (summary). PaPoC@EuroSys (2020)
Matthew Weidner, Heather Miller, Christopher Meiklejohn
Composing and Decomposing Op-Based CRDTs with Semidirect Products. CoRR (2020)
Hemank Lamba, Asher Trockman, Daniel Armanios, Christian Kästner, Heather Miller, Bogdan Vasilescu
Heard it through the Gitvine: an empirical study of tool diffusion across the npm ecosystem. ESEC/SIGSOFT FSE (2020)
Zeeshan Lakhani, Heather Miller
Checking-in on network functions. ANRW (2019)
Filip Krikava, Heather Miller, Jan Vitek
Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild. CoRR (2019)
Christopher S. Meiklejohn, Heather Miller, Peter Alvaro
PARTISAN: Scaling the Distributed Actor Runtime. USENIX Annual Technical Conference (2019)
Filip Krikava, Heather Miller, Jan Vitek
Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Philipp Haller, Heather Miller
A reduction semantics for direct-style asynchronous observables. J. Log. Algebraic Methods Program. 105 (2019)
Zeeshan Lakhani, Heather Miller
Clippy(ing) Network Functions: Towards Better Abstractions for Checking and Designing Network Programs. CoRR (2018)
Philipp Haller, Heather Miller, Normen Müller
A programming model and foundation for lineage-based distributed computation. J. Funct. Program. 28 (2018)
Christopher Meiklejohn, Heather Miller, Zeeshan Lakhani
Towards a Solution to the Red Wedding Problem. HotEdge (2018)
Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki
Simplicitly: foundations and applications of implicit function types. Proc. ACM Program. Lang. 2 (POPL) (2018)
Christopher Meiklejohn, Heather Miller
Partisan: Enabling Cloud-Scale Erlang Applications. CoRR (2018)
Kevin Clancy, Heather Miller
Monotonicity Types for Distributed Dataflow. PMLDC@ECOOP (2017)
Heather Miller, Philipp Haller, Normen Müller, Jocelyn Boullier
Function passing: a model for typed, distributed functional programming. Onward! (2016)
Heather Miller, Philipp Haller
A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution. Software Engineering & Management (2015)
Philipp Haller, Heather Miller
Distributed Programming via Safe Closure Passing. PLACES (2015)
Philipp Haller, Heather Miller
A Formal Model for Direct-style Asynchronous Observables. CoRR (2015)
Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky
Functional programming for all! scaling a MOOC for students and professionals alike. ICSE Companion (2014)
Heather Miller, Philipp Haller, Martin Odersky
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. ECOOP (2014)
Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. OOPSLA (2013)
Aleksandar Prokopec, Heather Miller, Tobias Schlatter, Philipp Haller, Martin Odersky
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. LCPC (2012)
Jingfang Huang, Ikechukwu Azogu, Anusha Sunkara, Hong Liu, Honggang Wang, Heather Miller
Seamless data visualization for frost detection. IWCMC (2011)