University of Minnesota
Software Engineering Center
/

You are here

Publications

Publication Title Authors Date of Publication Venuesort descending Associated Research Groups Publication Files
Proving Correctness of Compiler Optimizations by Temporal Logic David Lacey
Neil D. Jones
Eric Van Wyk
Carl Christian Frederiksen
January 2002 In Proc. of ACM POPL Minnesota Extensible Language Tools PDF icon popl02_correctness.pdf
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 PDF icon iowacity.pdf
Using Verified Data-flow Analysis-based Optimizations in Attribute Grammars Eric Van Wyk
Lijesh Krishnan
April 2006 In Proc. of Compiler Optimization meets Compiler Verification Workshop. Minnesota Extensible Language Tools PDF icon cocv06.pdf
Forwarding in Attribute Grammars for Modular Language Design Eric Van Wyk
Oege de Moor
Kevin Backhouse
Paul Kwiatkowsky
April 2002 In Proc. of International Conference on Compiler Construction, Springer Verlag Lecture Notes in Computer Science volume 2304. Minnesota Extensible Language Tools PDF icon forwarding.pdf
Aspects as Modular Language Extensions Eric Van Wyk April 2003 In Proc. of Language Descriptions, Tools and Applications (LDTA), (an ETAPS 2003 Workshop) volume 82.3 of Electronic Notes in Theoretical Computer Science. Elsevier Science Minnesota Extensible Language Tools
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 PDF icon geneva_final.pdf
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 PDF icon utah_book_final.pdf
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 PDF icon mallorca_final.pdf
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language Sanjai Rayadurgam
Anjali Joshi
Mats Heimdahl
November 2003 In Proc. of the 5th International Conference on Formal Engineering Methods (ICFEM) Critical Systems Research Group PDF icon ICFEM.pdf
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 PDF icon minn_final.pdf

Pages