Mikhail Barash
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- SLE2 editions2020–2021
all 5 in the filters
on a stage with
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Towards a Mechanization of the ECMAScript (JavaScript) Proposal "Temporal" | RocqPL 2026 | 2026-01-17 |
Mechanization covers about 43 functions of a 500+ function Temporal proposal (≈200 date/time functions), producing 3,000 lines of Rocq code and proofs; one… | ||
| Lambda JS à la Carte | RocqPL 2026 | 2026-01-17 |
Presents a modular mechanization of JavaScript semantics using the Coq à la Carte approach to avoid monolithic encodings. It addresses the maintenance and… | ||
| Standardaizing JavaScript: Call for PL researchers | PLMW @ PLDI 2025 | 2025-06-16 |
Overview of TC39 research group TG5 and how to engage: TG5 formalizes academic collaboration, runs monthly TG5 meetings (last Wednesday, 16:00 CET), maintains… | ||
| Manipulating GUI Structures Declaratively | SPLASH 2022 | 2022-12-05 |
A DSL called Warframe lets programmers declare incidental GUI structures as relations with test and establish methods and then auto-generates an API that… | ||
| Vision: The Next 700 Language Workbenches | SLE 2021 | 2021-10-17 |
Argues for making language workbench definitions algebraic and actionable by adding five concrete feature groups: meta-definitions, meta-modifications… | ||
| Example-Driven Software Language Engineering | SLE 2020 | 2020-11-16 |
Proposes a concrete example-driven definition method: define language constructs by annotated code examples that specify concrete syntax, abstract syntax… | ||
| Manipulating GUI Structures Declaratively | GPCE 2020 | 2020-11-16 |
A DSL models GUI components, relations like precedes, and transformation rules that generate JavaScript transformation functions which unestablish and… | ||
| nothing matches | ||