Eric Van Wyk

2007
25	EE	Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger: Attribute Grammar-Based Language Extensions for Java. ECOOP 2007: 575-599
24	EE	Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk: Flexible and Extensible Notations for Modeling Languages. FASE 2007: 102-116
23	EE	Eric Van Wyk, August Schwerdfeger: Context-aware scanning for parsing extensible languages. GPCE 2007: 63-72
22	EE	Eric Van Wyk, Eric Johnson: Composable Language Extensions for Computational Geometry: A Case Study. HICSS 2007: 258
21	EE	Eric Van Wyk, Lijesh Krishnan: Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars. Electr. Notes Theor. Comput. Sci. 176(3): 109-122 (2007)
20	EE	Eric Van Wyk: Implementing aspect-oriented programming constructs as modular language extensions. Sci. Comput. Program. 68(1): 38-61 (2007)
2006
19	EE	David F. Montana, Eric Van Wyk, Marshall Brinn, Joshua Montana, Stephen Milligan: Genomic computing networks learn complex POMDPs. GECCO 2006: 233-234
18	EE	Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson: Adding domain-specific and general purpose language features to Java with the Java language extender. OOPSLA Companion 2006: 728-729
17	EE	Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson, August Schwerdfeger, Phil Russell: Tool Demonstration: Silver Extensible Compiler Frameworks and Modular Language Extensions for Java and C. SCAM 2006: 161
16	EE	Görel Hedin, Eric Van Wyk: Preface. Sci. Comput. Program. 61(3): 189 (2006)
2004
15	EE	Görel Hedin, Eric Van Wyk: Preface. Electr. Notes Theor. Comput. Sci. 110: 1-2 (2004)
14	EE	David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen: Compiler Optimization Correctness by Temporal Logic. Higher-Order and Symbolic Computation 17(3): 173-206 (2004)
2003
13	EE	Eric Van Wyk: Aspects as Modular Language Extensions. Electr. Notes Theor. Comput. Sci. 82(3): (2003)
12	EE	Oege de Moor, David Lacey, Eric Van Wyk: Universal Regular Path Queries. Higher-Order and Symbolic Computation 16(1-2): 15-35 (2003)
11		Eric Van Wyk: Specification languages in algebraic compilers. Theor. Comput. Sci. 291(3): 351-385 (2003)
2002
10	EE	Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski: Forwarding in Attribute Grammars for Modular Language Design. CC 2002: 128-142
9	EE	David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen: Proving correctness of compiler optimizations by temporal logic. POPL 2002: 283-294
8		Teodor Rus, Eric Van Wyk, Tom Halverson: Generating Model Checkers from Algebraic Specifications. Formal Methods in System Design 20(3): 249-284 (2002)
2000
7	EE	Eric Van Wyk: Meta Languages in Algebraic Compilers. AMAST 2000: 119-134
6		Eric Van Wyk: Domain Specific Meta Languages. SAC (2) 2000: 799-803
1999
5	EE	Oege de Moor, Simon L. Peyton Jones, Eric Van Wyk: Aspect-Oriented Compilers. GCSE 1999: 121-133
1998
4		Teodor Rus, Eric Van Wyk: Using Model Checking in a Parallelizing Compiler. Parallel Processing Letters 8(4): 459-471 (1998)
1997
3		Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima: An Algebraic Language Processing Environment. AMAST 1997: 581-585
2		Teodor Rus, Eric Van Wyk: Integrating Temporal Logics and Model Checking Algorithms. ARTS 1997: 95-110
1		Teodor Rus, Eric Van Wyk: A Formal Approach to Parallelizing Compilers. PPSC 1997

Coauthor Index

1	Kevin Backhouse	[10]
2	Derek Bodin	[17] [18] [25]
3	Marshall Brinn	[19]
4	Carl Christian Frederiksen	[9] [14]
5	Jimin Gao	[24]
6	Tom Halverson	[3] [8]
7	Görel Hedin	[15] [16]
8	Mats Per Erik Heimdahl	[24]
9	Eric Johnson	[17] [18] [22]
10	Neil D. Jones	[9] [14]
11	Simon L. Peyton Jones	[5]
12	Robert Kooima	[3]
13	Lijesh Krishnan	[17] [18] [21] [25]
14	Paul Kwiatkowski	[10]
15	David Lacey	[9] [12] [14]
16	Stephen Milligan	[19]
17	David F. Montana	[19]
18	Joshua Montana	[19]
19	Oege de Moor	[5] [10] [12]
20	Teodor Rus	[1] [2] [3] [4] [8]
21	Phil Russell	[17]
22	August Schwerdfeger	[17] [23] [25]

Colors in the list of coauthors