~/talks

Heather Miller

what they talk about

all 13 in the filters

where they keep going back

all 16 in the filters

on a stage with

all 31 in the filters

who talks about the same things

titleconferencedate
Debugging WebAssembly? Put some Whamm on it!OOPSLA 20252025-10-16
Whamm is an instrumentation framework for WebAssembly that compiles a declarative DSL into either an engine-level Whey engine API probe module or a…
Talk on
Composing and decomposing op-based CRDTs with semidirect productsSPLASH 20222022-12-05
Presents a concrete construction that composes two op-based CRDTs into one using an explicit semidirect product action that transforms noncommuting ops (proofs…
Talk on
Making Webapps Collaborative with Composable CRDTsStrange Loop 20212021-09-30
Claims a practical path to turn single‑page webapps into collaborative apps by swapping native types for collaborative CRDT types using the Compoventuals…
Talk on
Panel: ScalawagsScala Love in the City 20212021-02-13
Scala 3 reaches RC1 next week and the ecosystem already lands a compat move: 2.13.5 reads TASTy so Scala 2 can consume Scala 3 artifacts, while tasty-as-bridge…
Panel on
Composing and Decomposing Op-Based CRDTs with Semidirect ProductsICFP 20202020-08-23
Construction called the semidirect product composes two op-based CRDTs plus an action function to produce a single CRDT that deterministically resolves…
Talk on
The Times Are A-Changin'Scale By The Bay 20192019-11-13
U.S. demand for developers is exploding with about 660,000 graduates now and 7.4% annual degree growth plus bootcamps growing ~14%, and the Bureau of Labor…
Talk on
InterviewScale By The Bay 20192019-11-13
Research on distributed runtimes and programming languages aims to make microservice development feel like one language even when teams use 20 different…
Talk on
PARTISAN: Scaling the Distributed Actor RuntimeUSENIX ATC '192019-07-10
PARTISAN is an Erlang library that replaces Distributed Erlang’s single full‑mesh, single‑TCP assumptions with runtime‑selectable overlays (full‑mesh…
Talk on
Towards language support for distributed systemsCode Mesh LDN 20182018-11-08
Survey of recent work showing concrete language and system artifacts: compositional CRDTs implemented in functional languages and adopted in Akka and…
Talk on
Towards Language Support for Distributed SystemsStrange Loop 20182018-09-26
Argues for moving correctness into the language by targeting two concrete problems: composing richer computations on CRDTs that provide strong eventual…
Talk on
A Programming Lanaguage Is Its CommunityScala Italy 20182018-09-14
Claim: a language’s success depends on its community and maintenance, not just features. Scala has ~5,800 projects and ~300,000 releases on Scalex while Python…
Talk on
We're Building On Hollowed Foundations (...)Lambda Days 20182018-02-22
Conference data shows widespread adoption: 78% of companies ran open source in 2015 and 60% report adding more in 2017; security failures like OpenSSL —…
Talk on
Some Trends in Open Source & the State of the Scala CenterScala World 20172017-09-16
Argues open source is shared digital infrastructure and gives hard numbers: corporate reliance jumps 38% to 78% (2010→2015) and 66% now pick OSS first; many…
Talk on
The Dramatic Consequences of the Open Source Revolution (...)Lambda Days 20172017-02-09
Claim: open source dependence has surged to 78% of companies citing quality or features as the reason, while critical projects suffer low staffing — a study…
Talk on
Scala Days Berlin Closing PanelScala Days Berlin 20162016-06-15
Panel covers concrete migration steps: Dotty features landing in 2.12 (trait encoding, union/with changes) and a pragmatic timeline (2.12 M5 now, final around…
Panel on
Keynote: Introducing the Scala CenterScala Days Berlin 20162016-06-15
A new independent center at EPFL launches as a not-for-profit at EPFL to fund Scala infrastructure and education; it devotes one to two staff per priority…
Talk on
Introducing the Scala CenterScala Days Berlin 20162016-06-15
New not‑for‑profit based at EPFL launches to fund education and ecosystem work, reporting 400,000+ MOOC registrations and a 19.2% completion rate for the…
Talk on
Academese to English: A Practical Tour of Scala’s Type SystemPhilly ETE 20162016-04-11
Practical tour of Scala’s type system shows concrete rules and patterns: how parameterized types, bounds and variance, and simple examples (Box, Field/zebra…
Talk on
Function-Passing, A New Model for Typed, Asynchronous and Distributed ProgrammingCode Mesh 20152015-11-03
Claims a concrete runtime model called function-passing that inverts actors by keeping immutable data stationary in SiloRefs and shipping typed, serializable…
Talk on
Function-Passing Style Typed, Distributed Functional ProgrammingScalar Conference 20152015-04-11
Prototype implements a Function-Passing model in Scala using a pickling serializer, Netty for networking, and typed, serializable closures called spores…
Talk on
Scalar Conference 2015 SummaryScalar Conference 20152015-04-11
Founded to fill a gap of Eastern Europe lacking a quality Scala conference, the event runs its second edition as free-to-attend with 30-minute talks that pack…
Talk on
Function Passing Style: Typed, Distributed Functional ProgrammingStrange Loop 20142014-09-17
Claims a concrete programming model called Function-Passing: typed, serializable closures (spores) travel to stationary, immutable data containers (silos)…
Talk on
Academese to English: Scala's Type System, Dependent Types and What It Means To YouNortheast Scala Symposium 20142014-03-01
Scala’s type system gives concrete features and patterns: abstract type members replace verbose generics, existential and refinement types decouple…
Talk on
Spores: Distributable Functions in ScalaStrange Loop 20132013-09-18
A new Scala pickling framework and a closure discipline called Spores aim to make function shipping practical: pickling uses macro‑based generation and type…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.