default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHeather Miller
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c22]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: 398-415- [c21]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 - [c20]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: 54-58 - [i12]Ben L. Titzer, Elizabeth Gilbert, Bradley Wei Jie Teo, Yash Anand, Kazuyuki Takayama, Heather Miller:
Flexible Non-intrusive Dynamic Instrumentation for WebAssembly. CoRR abs/2403.07973 (2024) - [i11]Michael Assad, Christopher Meiklejohn, Heather Miller, Stephan Krusche:
Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization. CoRR abs/2404.01886 (2024) - [i10]Haoze He, Juncheng Billy Li, Xuan Jiang, Heather Miller:
Sparse Matrix in Large Language Model Fine-tuning. CoRR abs/2405.15525 (2024) - 2023
- [c19]Matthew Weidner, Ria Pradeep, Benito Geordie, Heather Miller:
For-Each Operations in Collaborative Apps. PaPoC@EuroSys 2023: 56-62 - [i9]Matthew Weidner, Ria Pradeep, Benito Geordie, Heather Miller:
For-Each Operations in Collaborative Apps. CoRR abs/2304.03141 (2023) - [i8]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 abs/2310.03714 (2023) - 2022
- [c18]Christopher Meiklejohn, Lydia Stark, Cesare Celozzi, Matt Ranney, Heather Miller:
Method overloading the circuit. SoCC 2022: 273-288 - [c17]Mark Harman, Heather Miller:
Message from the SEIP Chairs of ICSE 2022. ICSE (SEIP) 2022: xiv - [i7]Christopher S. Meiklejohn, Rohan Padhye, Heather Miller:
Distributed Execution Indexing. CoRR abs/2209.08740 (2022) - [i6]Matthew Weidner, Heather Miller, Huairui Qi, Maxime Kjaer, Ria Pradeep, Benito Geordie, Christopher Meiklejohn:
Collabs: Composable Collaborative Data Structures. CoRR abs/2212.02618 (2022) - 2021
- [c16]Christopher S. Meiklejohn, Andrea Estrada, Yiwen Song, Heather Miller, Rohan Padhye:
Service-Level Fault Injection Testing. SoCC 2021: 388-402 - 2020
- [j5]Matthew Weidner, Heather Miller, Christopher Meiklejohn:
Composing and decomposing op-based CRDTs with semidirect products. Proc. ACM Program. Lang. 4(ICFP): 94:1-94:27 (2020) - [c15]Garreth W. Tigwell, Roshan Lalintha Peiris, Stacey Watson, Gerald M. Garavuso, Heather Miller:
Student and Teacher Perspectives of Learning ASL in an Online Setting. ASSETS 2020: 10:1-10:6 - [c14]Matthew Weidner, Heather Miller, Christopher Meiklejohn:
Composing and decomposing op-based CRDTs with semidirect products: (summary). PaPoC@EuroSys 2020: 14:1-14:2 - [c13]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: 505-517 - [i5]Matthew Weidner, Heather Miller, Christopher Meiklejohn:
Composing and Decomposing Op-Based CRDTs with Semidirect Products. CoRR abs/2004.04303 (2020)
2010 – 2019
- 2019
- [j4]Philipp Haller, Heather Miller:
A reduction semantics for direct-style asynchronous observables. J. Log. Algebraic Methods Program. 105: 75-111 (2019) - [j3]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): 163:1-163:28 (2019) - [c12]Zeeshan Lakhani, Heather Miller:
Checking-in on network functions. ANRW 2019: 69-76 - [c11]Christopher S. Meiklejohn, Heather Miller, Peter Alvaro:
PARTISAN: Scaling the Distributed Actor Runtime. USENIX ATC 2019: 63-76 - [e5]Peter Achten, Heather Miller:
Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018. EPTCS 295, 2019 [contents] - [i4]Filip Krikava, Heather Miller, Jan Vitek:
Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild. CoRR abs/1908.07883 (2019) - 2018
- [j2]Philipp Haller, Heather Miller, Normen Müller:
A programming model and foundation for lineage-based distributed computation. J. Funct. Program. 28: e7 (2018) - [j1]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): 42:1-42:29 (2018) - [c10]Christopher Meiklejohn, Heather Miller, Zeeshan Lakhani:
Towards a Solution to the Red Wedding Problem. HotEdge 2018 - [i3]Christopher Meiklejohn, Heather Miller:
Partisan: Enabling Cloud-Scale Erlang Applications. CoRR abs/1802.02652 (2018) - [i2]Zeeshan Lakhani, Heather Miller:
Clippy(ing) Network Functions: Towards Better Abstractions for Checking and Designing Network Programs. CoRR abs/1812.11145 (2018) - 2017
- [c9]Kevin Clancy, Heather Miller:
Monotonicity Types for Distributed Dataflow. PMLDC@ECOOP 2017: 2:1-2:10 - [e4]Christopher Meiklejohn, Heather Miller:
Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017. ACM 2017, ISBN 978-1-4503-6356-3 [contents] - [e3]Heather Miller, Philipp Haller, Ondrej Lhoták:
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017. ACM 2017 [contents] - 2016
- [c8]Heather Miller, Philipp Haller, Normen Müller, Jocelyn Boullier:
Function passing: a model for typed, distributed functional programming. Onward! 2016: 82-97 - 2015
- [b1]Heather Miller:
Language Support for Distributed Functional Programming. EPFL, Switzerland, 2015 - [c7]Heather Miller, Philipp Haller:
A Type-Based Foundation for Closure-Passing in the Age of Concurrency and Distribution. Software Engineering & Management 2015: 41-42 - [c6]Philipp Haller, Heather Miller:
Distributed Programming via Safe Closure Passing. PLACES 2015: 99-107 - [e2]Philipp Haller, Heather Miller:
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, Scala@PLDI 2015, Portland, OR, USA, June 15-17, 2015. ACM 2015, ISBN 978-1-4503-3626-0 [contents] - [i1]Philipp Haller, Heather Miller:
A Formal Model for Direct-style Asynchronous Observables. CoRR abs/1511.00511 (2015) - 2014
- [c5]Heather Miller, Philipp Haller, Martin Odersky:
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. ECOOP 2014: 308-333 - [c4]Heather Miller, Philipp Haller, Lukas Rytz, Martin Odersky:
Functional programming for all! scaling a MOOC for students and professionals alike. ICSE Companion 2014: 256-263 - [e1]Philipp Haller, Heather Miller:
Proceedings of the Fifth Annual Scala Workshop, SCALA@ECOOP 2014, Uppsala, Sweden, July 28-29, 2014. ACM 2014, ISBN 978-1-4503-2868-5 [contents] - 2013
- [c3]Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky:
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. OOPSLA 2013: 183-202 - 2012
- [c2]Aleksandar Prokopec, Heather Miller, Tobias Schlatter, Philipp Haller, Martin Odersky:
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction. LCPC 2012: 158-173 - 2011
- [c1]Jingfang Huang, Ikechukwu Azogu, Anusha Sunkara, Hong Liu, Honggang Wang, Heather Miller:
Seamless data visualization for frost detection. IWCMC 2011: 1970-1975
Coauthor Index
aka: Christopher S. Meiklejohn
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
