Publications Authored by Eric Van Wyk

Publication Title	Authors	Date Published	Venue	Research Group	Download
Is an MVE the Right Environment for Your Visualization Application?	Kent Lee Jun Ni Tom Halverson Eric Van Wyk Judy Brown	May 1995	Computer Graphics, vol 29, num 2, May 1995.	Minnesota Extensible Language Tools
Algebraic Implementation of Model Checking	Teodor Rus Eric Van Wyk	March 1996	In Proc. of the 3rd AMAST Workshop on Real-Time Systems held in Salt Lake City, Utah March 6-8 1996.	Minnesota Extensible Language Tools	utah_book_final.pdf utah_book_final.ps
A Formal Approach to Parallelizing Compilers	Teodor Rus Eric Van Wyk	March 1997	In Proc. of the 8th SIAM Conference on Parallel Processing for Scientific Computing held in Minneapolis, Minnesota March 14-17, 1997.	Minnesota Extensible Language Tools	minn_final.pdf minn_final.ps
Model Checking as a Tool Used by Parallelizing Compilers	Teodor Rus Eric Van Wyk	April 1997	In Proc. of the 2nd Formal Methods for Parallel Processing: Theory and Applications workshop held at the 11th International Parallel Processing Symposium in Geneva Switzerland, April 1-5, 1997.	Minnesota Extensible Language Tools	geneva_final.pdf geneva_final.ps
Integrating Temporal Logics and Model Checking Algorithms	Teodor Rus Eric Van Wyk	May 1997	In Proc. of the 4th AMAST Workshop on Real-Time Systems held in Mallorca, Spain May 21-23, 1997. Springer Verlag Lecture Notes in Computer Science volume 1231.	Minnesota Extensible Language Tools	mallorca_final.pdf
An Algebraic Language Processing Environment	Teodor Rus Tom Halverson Eric Van Wyk Robert Kooima	December 1997	In Proc. 6th International Conference on Algebraic Methodology and Software Technology (AMAST). Springer Verlag Lecture Notes in Computer Science volume 1349	Minnesota Extensible Language Tools	sydney.pdf sydney.ps
Using Model Checking in a Parallelizing Compiler	Teodor Rus Eric Van Wyk	January 1998	Parallel Processing Letters. in Volume 8, Number 4	Minnesota Extensible Language Tools	ppl_final.ps
Aspect Oriented Compilers	Oege de Moor Simon Peyton-Jones Eric Van Wyk	September 1999	In Proc. of the First International Symposium on Generative and Component-Based Software Engineering. Springer Verlag Lecture Notes in Computer Science vol. 1799	Minnesota Extensible Language Tools	aspects.ps
Domain Specific Meta Languages	Eric Van Wyk	February 2000	In Proc. of <a href="http://www.acm.org/conferences/sac/"> ACM Symposium on Applied Computing</a>	Minnesota Extensible Language Tools	como.ps
Meta Languages in Algebraic Compilers	Eric Van Wyk	May 2000	In Proc. of Algebraic Methodology and Software Technology, AMAST 2000. Springer Verlag Lecture Notes in Computer Scinece vol. 1816	Minnesota Extensible Language Tools	iowacity.pdf iowacity.ps