~/talks

Michael Ficarra

what they talk about

where they keep going back

no series more than once — all 3 in the filters

on a stage with

all 8 in the filters

who talks about the same things

titleconferencedate
Panel: Mechanized Specifications for Real-World Programming LanguagesRPLS 20252025-06-17
Panelists contrast concrete outcomes: an K framework built for engineering-first, executable semantics; a call for a usable symbolic executor for P4 that can…
Panel on
The Software Supporting the JavaScript Language SpecificationRPLS 20252025-06-17
The specification moves from a single Word document to a Git-backed web application spec that scales: ECMarkup generates the HTML, uses Egg/Gram markdown for…
Talk on
PanelFuture Frontend 20242024-06-13
Panel lays out concrete progress and trade offs at TC39: which proposals move (a simplified temporal proposal aimed at browser implementability), which APIs…
Panel on
InterviewFuture Frontend 20242024-06-13
Two new iterator proposals—iterator sequencing and joint iteration—advance to formal stages, the first at stage 2 and the second at stage 2.7, promising…
Interview on
Introduction to Property Testing in JavascriptLambdaConf 20172017-05-25
Introduces concrete property testing for JavaScript with examples: GenTest as the library, sampling integers and arrays to check determinism and round‑trip…
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.