Heather Miller

49 papers A* 2A 3B 1Journal 20Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Debugging WebAssembly? Put Some Whamm on It! Proc. ACM Program. Lang. Elizabeth Gilbert, Matthew Schneider, Zixi An, Suhas Thalanki, Wavid Bowman, Alexander Y. Bai, Ben L. Titzer, Heather Miller
2025	J	`jnl`	Debugging WebAssembly? Put some Whamm on it! CoRR Elizabeth Gilbert, Matthew Schneider, Zixi An, Suhas Thalanki, Wavid Bowman, Alexander Y. Bai, Ben L. Titzer, Heather Miller
2025	J	`jnl`	RTBAS: Defending LLM Agents Against Prompt Injection and Privacy Leakage. CoRR Peter Yong Zhong, Siyuan Chen, Ruiqi Wang, McKenna McCall, Ben L. Titzer, Heather Miller, Phillip B. Gibbons
2025	A*	`conf`	SMT: Fine-Tuning Large Language Models with Sparse Matrices. ICLR Haoze He, Juncheng B. Li, Xuan Jiang, Heather Miller
2024	—	`conf`	Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization. ICSE Companion Michael Assad, Christopher S. Meiklejohn, Heather Miller, Stephan Krusche
2024	J	`jnl`	Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization. CoRR Michael Assad, Christopher Meiklejohn, Heather Miller, Stephan Krusche
2024	A*	`conf`	DSPy: Compiling Declarative Language Model Calls into State-of-the-Art Pipelines. ICLR 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
2024	—	`conf`	Flexible Non-intrusive Dynamic Instrumentation for WebAssembly. ASPLOS (3) Ben L. Titzer, Elizabeth Gilbert, Bradley Wei Jie Teo, Yash Anand, Kazuyuki Takayama, Heather Miller
2024	J	`jnl`	Flexible Non-intrusive Dynamic Instrumentation for WebAssembly. CoRR Ben L. Titzer, Elizabeth Gilbert, Bradley Wei Jie Teo, Yash Anand, Kazuyuki Takayama, Heather Miller
2024	J	`jnl`	Sparse Matrix in Large Language Model Fine-tuning. CoRR Haoze He, Juncheng Billy Li, Xuan Jiang, Heather Miller
2023	J	`jnl`	DSPy: Compiling Declarative Language Model Calls into Self-Improving Pipelines. CoRR 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
2023	—	`conf`	For-Each Operations in Collaborative Apps. PaPoC@EuroSys Matthew Weidner, Ria Pradeep, Benito Geordie, Heather Miller
2023	J	`jnl`	For-Each Operations in Collaborative Apps. CoRR Matthew Weidner, Ria Pradeep, Benito Geordie, Heather Miller
2022	J	`jnl`	Collabs: Composable Collaborative Data Structures. CoRR Matthew Weidner, Heather Miller, Huairui Qi, Maxime Kjaer, Ria Pradeep, Benito Geordie, Christopher Meiklejohn
2022	J	`jnl`	Distributed Execution Indexing. CoRR Christopher S. Meiklejohn, Rohan Padhye, Heather Miller
2022	—	`conf`	Message from the SEIP Chairs of ICSE 2022. ICSE (SEIP) Mark Harman, Heather Miller
2022	—	`conf`	Method overloading the circuit. SoCC Christopher Meiklejohn, Lydia Stark, Cesare Celozzi, Matt Ranney, Heather Miller
2021	—	`conf`	Service-Level Fault Injection Testing. SoCC Christopher S. Meiklejohn, Andrea Estrada, Yiwen Song, Heather Miller, Rohan Padhye
2020	J	`jnl`	Composing and Decomposing Op-Based CRDTs with Semidirect Products. CoRR Matthew Weidner, Heather Miller, Christopher Meiklejohn
2020	J	`jnl`	Composing and decomposing op-based CRDTs with semidirect products. Proc. ACM Program. Lang. Matthew Weidner, Heather Miller, Christopher Meiklejohn
2020	—	`conf`	Composing and decomposing op-based CRDTs with semidirect products: (summary). PaPoC@EuroSys Matthew Weidner, Heather Miller, Christopher Meiklejohn
2020	—	`conf`	Heard it through the Gitvine: an empirical study of tool diffusion across the npm ecosystem. ESEC/SIGSOFT FSE Hemank Lamba, Asher Trockman, Daniel Armanios, Christian Kästner, Heather Miller, Bogdan Vasilescu
2020	A	`conf`	Student and Teacher Perspectives of Learning ASL in an Online Setting. ASSETS Garreth W. Tigwell, Roshan Lalintha Peiris, Stacey Watson, Gerald M. Garavuso, Heather Miller
2019	J	`jnl`	A reduction semantics for direct-style asynchronous observables. J. Log. Algebraic Methods Program. Philipp Haller, Heather Miller
2019	—	`conf`	Checking-in on network functions. ANRW Zeeshan Lakhani, Heather Miller
2019	—	`conf`	PARTISAN: Scaling the Distributed Actor Runtime. USENIX ATC Christopher S. Meiklejohn, Heather Miller, Peter Alvaro
2019	—	`ed.`	Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018. TFPIE@TFP Peter Achten, Heather Miller
2019	J	`jnl`	Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild. CoRR Filip Krikava, Heather Miller, Jan Vitek
2019	J	`jnl`	Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild. Proc. ACM Program. Lang. Filip Krikava, Heather Miller, Jan Vitek
2018	J	`jnl`	A programming model and foundation for lineage-based distributed computation. J. Funct. Program. Philipp Haller, Heather Miller, Normen Müller
2018	J	`jnl`	Clippy(ing) Network Functions: Towards Better Abstractions for Checking and Designing Network Programs. CoRR Zeeshan Lakhani, Heather Miller
2018	J	`jnl`	Partisan: Enabling Cloud-Scale Erlang Applications. CoRR Christopher Meiklejohn, Heather Miller
2018	J	`jnl`	Simplicitly: foundations and applications of implicit function types. Proc. ACM Program. Lang. Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki
2018	—	`conf`	Towards a Solution to the Red Wedding Problem. HotEdge Christopher Meiklejohn, Heather Miller, Zeeshan Lakhani
2017	—	`conf`	Monotonicity Types for Distributed Dataflow. PMLDC@ECOOP Kevin Clancy, Heather Miller
2017	—	`ed.`	Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017 SCALA@SPLASH Heather Miller, Philipp Haller, Ondrej Lhoták
2017	—	`ed.`	Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017 PMLDC@ECOOP Christopher Meiklejohn, Heather Miller
2016	—	`conf`	Function passing: a model for typed, distributed functional programming. Onward! Heather Miller, Philipp Haller, Normen Müller, Jocelyn Boullier
2015	J	`jnl`	A Formal Model for Direct-style Asynchronous Observables. CoRR Philipp Haller, Heather Miller
2015	—	`conf`	A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution. Software Engineering & Management Heather Miller, Philipp Haller
2015	—	`conf`	Distributed Programming via Safe Closure Passing. PLACES Philipp Haller, Heather Miller
2015	—	`—`	Language Support for Distributed Functional Programming. Heather Miller
2015	—	`ed.`	Proceedings of the 6th ACM SIGPLAN Symposium on Scala, Scala@PLDI 2015, Portland, OR, USA, June 15-17, 2015 Scala@PLDI Philipp Haller, Heather Miller
2014	—	`conf`	Functional programming for all! scaling a MOOC for students and professionals alike. ICSE Companion Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky
2014	—	`ed.`	Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014 SCALA@ECOOP Philipp Haller, Heather Miller
2014	A	`conf`	Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. ECOOP Heather Miller, Philipp Haller, Martin Odersky
2013	A	`conf`	Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. OOPSLA Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky
2012	—	`conf`	FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. LCPC Aleksandar Prokopec, Heather Miller, Tobias Schlatter, Philipp Haller, Martin Odersky
2011	B	`conf`	Seamless data visualization for frost detection. IWCMC Jingfang Huang, Ikechukwu Azogu, Anusha Sunkara, Hong Liu, Honggang Wang, Heather Miller