Eric Van Wyk

Summary

• 13 papers in 10 bundles
• Top 3 popular topics:
  • T3A: Meta-languages (9 times)
  • T1D: Composition (6 times)
  • T5D: Formal Methods (6 times)
• Top 3 coauthors:
  • Ted Kaminski (3 times)
  • Lucas Kramer (3 times)
  • Lijesh Krishnan (2 times)
• Made 26 contributions (see below)

List of contributions

• (SLE 2008) Served as a Programme Chair
• (SLE 2009) Coauthored Verifiable Parse Table Composition for Deterministic Parsing (August Schwerdfeger, Eric Van Wyk)
• (SLE 2010) Served on PC
• (SLE 2011) Coauthored Integrating Attribute Grammar and Functional Programming Language Features (Ted Kaminski, Eric Van Wyk)
• (SLE 2011) Served on PC
• (SLE 2012) Coauthored Termination Analysis for Higher-Order Attribute Grammars (Lijesh Krishnan, Eric Van Wyk)
• (SLE 2012) Coauthored Modular Well-Definedness Analysis for Attribute Grammars (Ted Kaminski, Eric Van Wyk)
• (SLE 2012) Served on PC
• (SLE 2012 SI) Coauthored Monolithic and modular termination analyses for higher-order attribute grammars (Lijesh Krishnan, Eric Van Wyk)
• (SLE 2013) Served as a General Chair
• (SLE 2014) Coauthored Origin Tracking in Attribute Grammars (Kevin Williams, Eric Van Wyk)
• (SLE 2014) Served on PC
• (SLE 2014 SI) Served as an Editor
• (SLE 2016) Served on PC
• (SLE 2017) Coauthored Ensuring Non-interference of Composable Language Extensions (Ted Kaminski, Eric Van Wyk)
• (SLE 2017) Served on PC
• (SLE 2020) Coauthored Monadification of Attribute Grammars (Dawn Michaelson, Eric Van Wyk)
• (SLE 2020) Coauthored Strategic Tree Rewriting in Attribute Grammars (Lucas Kramer, Eric Van Wyk)
• (SLE 2020) Received Distinguished Paper Award
• (SLE 2020) Selected as a Distinguished Reviewer
• (SLE 2020) Served on PC
• (SLE 2022) Served on PC
• (SLE 2023) Coauthored Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars (Lucas Kramer, Eric Van Wyk)
• (SLE 2023) Coauthored Nanopass Attribute Grammars (Nathan Ringo, Lucas Kramer, Eric Van Wyk)
• (SLE 2025) Coauthored Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars (Luke Bessant, Eric Van Wyk)
• (SLE 2026) Coauthored AGTix: Concise Use of Scope Graphs in Reference Attribute Grammars (Luke Bessant, Eric Van Wyk)

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.