Details
Title
Miller, Heather
Sciper ID
191683
Affiliated labs
LAMP
Publications
A Programming Model and Foundation for Lineage-Based Distributed Computation
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction
Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization
Monotonicity Types for Distributed Dataflow
Open Source Is A-Changin': How Qualitative Research Can Help Us Adapt
Spores, Formally
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance
Towards a Solution to the Red Wedding Problem
See complete list of publications (23)
FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction
Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization
Monotonicity Types for Distributed Dataflow
Open Source Is A-Changin': How Qualitative Research Can Help Us Adapt
Spores, Formally
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution
Tools and Frameworks for Big Learning in Scala: Leveraging the Language for High Productivity and Performance
Towards a Solution to the Red Wedding Problem
See complete list of publications (23)
Link to search
All resources
Record appears in
Authorities > People