An Algebraic Language Processing Environment. - Teodor Rus; Tom Halverson; Eric Van Wyk; Robert Kooima (AMAST, 1997)

Integrating Temporal Logics and Model Checking Algorithms. - Teodor Rus; Eric Van Wyk (ARTS, 1997)

A Formal Approach to Parallelizing Compilers. - Teodor Rus; Eric Van Wyk (PP, 1997)

Using Model Checking in a Parallelizing Compiler. - Teodor Rus; Eric Van Wyk (Parallel Process. Lett., 1998)

Aspect-Oriented Compilers. - Oege de Moor; Simon L. Peyton Jones; Eric Van Wyk (GCSE, 1999)

Meta Languages in Algebraic Compilers. - Eric Van Wyk (AMAST, 2000)

Domain Specific Meta Languages. - Eric Van Wyk (SAC (2), 2000)

Forwarding in Attribute Grammars for Modular Language Design. - Eric Van Wyk; Oege de Moor; Kevin Backhouse; Paul Kwiatkowski (CC, 2002)

Proving correctness of compiler optimizations by temporal logic. - David Lacey; Neil D. Jones; Eric Van Wyk; Carl Christian Frederiksen (POPL, 2002)

Generating Model Checkers from Algebraic Specifications. - Teodor Rus; Eric Van Wyk; Tom Halverson (Formal Methods Syst. Des., 2002)

Aspects as Modular Language Extensions. - Eric Van Wyk (LDTA@ETAPS, 2003)

Universal Regular Path Queries. - Oege de Moor; David Lacey; Eric Van Wyk (High. Order Symb. Comput., 2003)

Specification languages in algebraic compilers. - Eric Van Wyk (Theor. Comput. Sci., 2003)

Compiler Optimization Correctness by Temporal Logic. - David Lacey; Neil D. Jones; Eric Van Wyk; Carl Christian Frederiksen (High. Order Symb. Comput., 2004)

Genomic computing networks learn complex POMDPs. - David J. Montana; Eric Van Wyk; Marshall Brinn; Joshua Montana; Stephen Milligan (GECCO, 2006)

Adding domain-specific and general purpose language features to Java with the Java language extender. - Eric Van Wyk; Lijesh Krishnan; Derek Bodin; Eric Johnson (OOPSLA Companion, 2006)

Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C. - Eric Van Wyk; Lijesh Krishnan; Derek Bodin; Eric Johnson; August Schwerdfeger; Phil Russell (SCAM, 2006)

Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars. - Eric Van Wyk; Lijesh Krishnan (COCV@ETAPS, 2006)

Preface. - Görel Hedin; Eric Van Wyk (Sci. Comput. Program., 2006)

Attribute Grammar-Based Language Extensions for Java. - Eric Van Wyk; Lijesh Krishnan; Derek Bodin; August Schwerdfeger (ECOOP, 2007)

Flexible and Extensible Notations for Modeling Languages. - Jimin Gao; Mats Per Erik Heimdahl; Eric Van Wyk (FASE, 2007)

Context-aware scanning for parsing extensible languages. - Eric Van Wyk; August Schwerdfeger (GPCE, 2007)

Adding Dimension Analysis to Java as a Composable Language Extension. - Eric Van Wyk; Yogesh Mali (GTTSE, 2007)

Composable Language Extensions for Computational Geometry: A Case Study. - Eric Van Wyk; Eric Johnson (HICSS, 2007)

Extending Lustre with Timeout Automata. - Jimin Gao; Mike Whalen; Eric Van Wyk (SLA++P@ETAPS, 2007)

Implementing aspect-oriented programming constructs as modular language extensions. - Eric Van Wyk (Sci. Comput. Program., 2007)

Verifiable composition of deterministic grammars. - August Schwerdfeger; Eric Van Wyk (PLDI, 2009)

Verifiable Parse Table Composition for Deterministic Parsing. - August Schwerdfeger; Eric Van Wyk (SLE, 2009)

Evolution of internal dynamics for neural network nodes. - David J. Montana; Eric Van Wyk; Marshall Brinn; Joshua Montana; Stephen Milligan (Evol. Intell., 2009)

Flexibility in modeling languages and tools: a call to arms. - Eric Van Wyk; Mats Per Erik Heimdahl (Int. J. Softw. Tools Technol. Transf., 2009)

Silver: An extensible attribute grammar system. - Eric Van Wyk; Derek Bodin; Jimin Gao; Lijesh Krishnan (Sci. Comput. Program., 2010)

Preface. - Claus Brabrand; Eric Van Wyk (LDTA, 2011)

Integrating Attribute Grammar and Functional Programming Language Features. - Ted Kaminski; Eric Van Wyk (SLE, 2011)

Building Extensible Specifications and Implementations of Promela with AbleP. - Yogesh Mali; Eric Van Wyk (SPIN, 2011)

XRobots: A flexible language for programming mobile robots based on hierarchical state machines. - Steve Tousignant; Eric Van Wyk; Maria L. Gini (ICRA, 2012)

Modular Well-Definedness Analysis for Attribute Grammars. - Ted Kaminski; Eric Van Wyk (SLE, 2012)

Termination Analysis for Higher-Order Attribute Grammars. - Lijesh Krishnan; Eric Van Wyk (SLE, 2012)

Creating and using domain-specific language features. - Ted Kaminski; Eric Van Wyk (GlobalDSL@ECOOP, 2013)

A Compiler Extension for Parallel Matrix Programming. - Kevin Williams; Matthew Le 001; Ted Kaminski; Eric Van Wyk (ICPP, 2014)

Generating attribute grammar-based bidirectional transformations from rewrite rules. - Pedro Martins 001; João Saraiva; João Paulo Fernandes; Eric Van Wyk (PEPM, 2014)

Origin Tracking in Attribute Grammars. - Kevin Williams; Eric Van Wyk (SLE, 2014)

Language-oriented rule-based reaction network generation and analysis: Algorithms of RING. - Srinivas Rangarajan; Ted Kaminski; Eric Van Wyk; Aditya Bhan; Prodromos Daoutidis (Comput. Chem. Eng., 2014)

Preface to the Special Section on Language Descriptions, Tools, and Applications (LDTA 2011). - Claus Brabrand; Eric Van Wyk (Sci. Comput. Program., 2014)

Monolithic and modular termination analyses for higher-order attribute grammars. - Lijesh Krishnan; Eric Van Wyk (Sci. Comput. Program., 2014)

Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014). - Benoît Combemale; David J. Pearce 001; Richard F. Paige; Eric Van Wyk (Comput. Lang. Syst. Struct., 2015)

A modular specification of Oberon0 using the Silver attribute grammar system. - Ted Kaminski; Eric Van Wyk (Sci. Comput. Program., 2015)

Embedding attribute grammars and their extensions using functional zippers. - Pedro Martins 001; João Paulo Fernandes; João Saraiva; Eric Van Wyk; Anthony Sloane (Sci. Comput. Program., 2016)

Type qualifiers as composable language extensions. - Travis Carlson; Eric Van Wyk (GPCE, 2017)

Ensuring non-interference of composable language extensions. - Ted Kaminski; Eric Van Wyk (SLE, 2017)

SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342). - Benoît Combemale; Ralf Lämmel; Eric Van Wyk (Dagstuhl Reports, 2017)

Reliable and automatic composition of language extensions to C: the ableC extensible language framework. - Ted Kaminski; Lucas Kramer; Travis Carlson; Eric Van Wyk (Proc. ACM Program. Lang., 2017)

Reflection in attribute grammars. - Lucas Kramer; Ted Kaminski; Eric Van Wyk (GPCE, 2019)

Parallel nondeterministic programming as a language extension to C (short paper). - Lucas Kramer; Eric Van Wyk (GPCE, 2019)

Building parallel programming language constructs in the AbleC extensible C compiler framework: a PPoPP tutorial. - Travis Carlson; Eric Van Wyk (PPoPP, 2019)

Type qualifiers as composable language extensions for code analysis and generation. - Travis Carlson; Eric Van Wyk (J. Comput. Lang., 2019)

Strategic tree rewriting in attribute grammars. - Lucas Kramer; Eric Van Wyk (SLE, 2020)

Monadification of attribute grammars. - Dawn Michaelson; Eric Van Wyk (SLE, 2020)

The Software Language Extension Problem. - Manuel Leduc; Thomas Degueule; Eric Van Wyk; Benoît Combemale (Softw. Syst. Model., 2020)

Reflection of terms in attribute grammars: Design and applications. - Lucas Kramer; Ted Kaminski; Eric Van Wyk (J. Comput. Lang., 2021)

Context in Parsing: Techniques and Applications. - Eric Van Wyk (Eelco Visser Commemorative Symposium, 2023)

Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars. - Lucas Kramer; Eric Van Wyk (SLE, 2023)

Nanopass Attribute Grammars. - Nathan Ringo; Lucas Kramer; Eric Van Wyk (SLE, 2023)

A Modular Approach to Metatheoretic Reasoning for Extensible Languages. - Dawn Michaelson; Gopalan Nadathur; Eric Van Wyk (CoRR, 2023)

Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars. - Luke Bessant; Eric Van Wyk (SLE, 2025)