Eric Van Wyk
where else to find them
what they talk about
where they keep going back
- SLE2 editions2020–2023
on a stage with
all 4 in the filters
who talks about the same things
- Lucas Kramer8 talks
- Steve Zdancewic19 talks
- Yizhou Zhang13 talks
- Nada Amin26 talks
- Nick Rioux5 talks
- Michael Arntzenius7 talks
| title | conference | date |
|---|---|---|
| A Modular Approach to Metatheoretic Reasoning for Extensible Languages | PLDI 2025 | 2025-06-16 |
Claims a practical, sound method to build complete metatheory for languages assembled from independently written extensions by: decomposing proofs around… | ||
| Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Gra... | SLE 2023 | 2023-10-23 |
Reimagines forwarding in Silver by adding an at-sign sharing operator and translation attributes so a forwarded child is decorated once and reused, avoiding… | ||
| Nanopass Attribute Grammars | SLE 2023 | 2023-10-23 |
Presents a formalism and prototype that combine nanopass compilers with attribute grammars, implementing a significant subset of Go to validate the approach… | ||
| Strategic Tree Rewriting in Attribute Grammars | SLE 2020 | 2020-11-16 |
Introduces strategy attributes: higher-order synthesized attributes with attached rewrite strategies implemented as a modular Silver extension that translate… | ||
| Monadification of Attribute Grammars | SLE 2020 | 2020-11-16 |
A rewrite algorithm called the monadification procedure transforms implicit attribute equations by inserting bind/return insertion and filling omitted match or… | ||
| nothing matches | ||