Publications Authored by Eric Van Wyk
| Publication Title | Authors | Date Published | Venue | Research Group | Download |
|---|---|---|---|---|---|
| Proving Correctness of Compiler Optimizations by Temporal Logic | January 2002 | In Proc. of ACM POPL | |||
| Intentional programming: a host of language features | January 2001 | Techincal Report PRG-RR-01-21, Computing Laboratory, University of Oxford | |||
| Meta Languages in Algebraic Compilers | May 2000 | In Proc. of Algebraic Methodology and Software Technology, AMAST 2000. Springer Verlag Lecture Notes in Computer Scinece vol. 1816 | |||
| Domain Specific Meta Languages | February 2000 | In Proc. of <a href="http://www.acm.org/conferences/sac/"> ACM Symposium on Applied Computing</a> | |||
| Aspect Oriented Compilers | 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 | |||
| Using Model Checking in a Parallelizing Compiler | January 1998 | Parallel Processing Letters. in Volume 8, Number 4 | |||
| An Algebraic Language Processing Environment | December 1997 | In Proc. 6th International Conference on Algebraic Methodology and Software Technology (AMAST). Springer Verlag Lecture Notes in Computer Science volume 1349 | |||
| Integrating Temporal Logics and Model Checking Algorithms | 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. | |||
| Model Checking as a Tool Used by Parallelizing Compilers | 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. | |||
| A Formal Approach to Parallelizing Compilers | March 1997 | In Proc. of the 8th SIAM Conference on Parallel Processing for Scientific Computing held in Minneapolis, Minnesota March 14-17, 1997. |
