Publications of the MELT group

Papers | Theses

• Monadification of Attribute Grammars. Dawn Michaelson and Eric Van Wyk, In Proceedings of 13th ACM SIGPLAN International Conference on Software Language Engineering (SLE '20) ACM.

• Strategic Tree Rewriting in Attribute Grammars. Lucas Kramer and Eric Van Wyk, In Proceedings of 13th ACM SIGPLAN International Conference on Software Language Engineering (SLE '20) ACM.

• The Software Language Extension Problem. Manual Leduc, Thomas Degueule, Eric Van Wyk, and Benoit Combemale., Software and System Modelling 4 pages. December, 2019. (A position paper.)

• Reflection of Terms in Attribute Grammars: Design and Applications. Lucas Kramer, Ted Kaminski, and Eric Van Wyk, Journal of Computer Languages. Elsevier. (Accepted with minor revisions.)

• Reflection in Attribute Grammars. Lucas Kramer and Eric Van Wyk, In Proceedings of 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE '19) ACM, 13 pages.

• Parallel Nondeterministic Programming as a Language Extension to C (Short Paper). Lucas Kramer, Ted Kaminski, and Eric Van Wyk, In Proceedings of 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE '19) ACM, 7 pages.

• Type qualifiers as composable language extensions for code analysis and generation. Travis Carlson and Eric Van Wyk. Journal of Computer Languages. 59, pp. 49-69. Elsevier, February 2019.

• Reliable and Automatic Composition of Language Extensions to C: The ableC Extensible Language Framework. Ted Kaminski, Lucas Kramer, Travis Carlson, and Eric Van Wyk, Proceedings of ACM Programming Languages 1, OOPSLA, Article 98 (October 2017), 29 pages.

• Type Qualifiers as Composable Language Extensions. Travis Carlson and Eric Van Wyk, In Proceedings of 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE '17) ACM, 13 pages.

• Ensuring Non-interference of Composable Language Extensions. Ted Kaminski and Eric Van Wyk, In Proceedings of 2017 ACM SIGPLAN International Conference on Software Language Engineering (SLE '17) ACM, 12 pages.

• Embedding Attribute Grammars and their Extensions using Functional Zippers. Pedro Martins, Joãao Fernandes, João Saraiva, Eric Van Wyk, and Anthony Sloane. Science of Computer Programming. 132(1): 2--28. Elsevier Science, December, 2016. DOI.

• A Modular Specification of Oberon0 Using the Silver Attribute Grammar System. Ted Kaminski and Eric Van Wyk, Science of Computer Programming, 114 (C): 29--40, November, 2015, Elsevier Science.

• Origin Tracking in Attribute Grammars. Kevin Williams and Eric Van Wyk, Proceedings of the 7th International Conference on Software Language Engineering (SLE 2014), LNCS, vol. 8706, pages 282-301, Springer Verlag, 2014.

• A compiler extension for parallel matrix programming. (PDF) Kevin Williams and Matthew Le and Ted Kaminski and Van Wyk, Eric, Proceedings of the International Conference on Parallel Programming (ICPP 2014), .

• Generating Attribute Grammar-based Bidirectional Transformations from Rewrite Rules. Pedro Martins, Joao Saraiva, Joao Paulo Fernandes, and Eric Van Wyk, Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM 2014), pages 63--70, ACM.

• Scaling language specifications to mainstream languages and real-world applications. (PDF) Ted Kaminski and Eric Van Wyk, Presented at the Scalable Language Specifications workshop, Cambridge, UK, June, 2013.

• Creating and using domain-specific language features. (PDF) Ted Kaminski and Eric Van Wyk, Proceedings of International Workshop on The Globalization of Domain Specific Languages, Montpellier, France, July 2013.

• Modular well-definedness analysis for attribute grammars. (PDF) Ted Kaminski and Eric Van Wyk, Proceedings of 5th the International Conference on Software Language Engineering (SLE 2012), LNCS, vol. 7745, pp. 352--371, Springer Verlag, 2012.

• Termination Analysis for Higher-Order Attribute Grammars. (PDF) Lijesh Krishnan and Eric Van Wyk, Proceedings of 5th the International Conference on Software Language Engineering (SLE 2012), LNCS, vol. 7745, pp. 44-63, Springer Verlag, 2012.

• XRobots: A Flexible Langauge for Programming Mobile Robots Based on Hierarchical State Machines. (PDF) Steve Tousignant, Eric Van Wyk, and Maria Gini, Proceedings of 2012 IEEE International Conference on Robotics and Automation (ICRA), pp. 1773 -- 1778, IEEE, 2012.

• Integrating attribute grammar and functional programming language features. (PDF) Ted Kaminski and Eric Van Wyk, Proceedings of 4th the International Conference on Software Language Engineering (SLE 2011), LNCS, vol. 6940, pp. 263--282, Springer Verlag, 2011.

• ableP: an extensible specification and implementation of Promela. (PDF) Yogesh Mali and Eric Van Wyk, Proceedings of 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), LNCS, vol. 6823, pp. 108--125, Springer Verlag, 2011.

• Network generation and analysis of complex biomass conversion systems. (PDF) Srinivas Rangarajan, Ted Kaminski, Eric Van Wyk, Aditya Bhan, and Prodromos Daoutidis, Proceedings of 21st European Symposium on Computer Aided Process Engineering – ESCAPE, Elsevier, 2011.

• Silver: an Extensible Attribute Grammar System. (PDF) Eric Van Wyk, Derek Bodin, Jimin Gao, and Lijesh Krishnan, Science of Computer Programming, 75 (1-2): 39-54, Elsevier, January, 2010.

• Verifiable Parse Table Composition for Deterministic Parsing. (PDF) August Schwerdfeger and Eric Van Wyk, Pproceedings of 2nd International Conference on Software Language Engineering (SLE 2009), LNCS, vol. 5969, pp. 184-203. Springer-Verlag, 2009.

• Flexibility in Modeling Languages and Tools: A Call to Arms. (PDF) Eric Van Wyk and Mats Heimdahl, Journal of Software Tools for Technology Transfer, 11 (3): 203-215. Springer-Verlag, June, 2009.

• Verifiable Composition of Deterministic Grammars. (PDF) August Schwerdfeger and Eric Van Wyk, Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2009), pp. 199-210, ACM Press, 2009.

• Language and Library Support for Climate Data Applications. (PDF) Eric Van Wyk, Vipin Kumar, Michael Steinbach, Shyam Boriah, and Alok Choudhary, Proceedings of Workshop on Software Research and Climate Change, Orlando, Florida.

• Adding Dimension Analysis to Java as a Composable Language Extension. (PDF) Eric Van Wyk and Yogesh Mali, Post Proc. of Generative and Transformational Techniques in Software Engineering (GTTSE), LNCS, vol. 5235, pp. 442-456. Springer-Verlag, 2008.

• Context-Aware Scanning for Parsing Extensible Languages. (PDF) Eric Van Wyk and August Schwerdfeger, Proceedings of International Conference on Generative Programming and Component Engineering, (GPCE 2007), pp. 63-72. ACM Press, 2007.

• Attribute Grammar-based Language Extensions for Java. (PDF) Eric Van Wyk, Lijesh Krishnan, August Schwerdfeger, and Derek Bodin, Proceedings of European Conference on Object Oriented Prog. (ECOOP 2007), LNCS, vol. 4609, pp. 575-599. Springer-Verlag, 2007.

• Flexible and Extensible Notations for Modeling Languages. (PDF) Jimin Gao, Mats Heimdahl, and Eric Van Wyk, Proceedings of Conference on Fundamental Approaches to Software Engineering, (FASE 2007), LNCS, vol. 4422, pp. 102-116. Springer-Verlag, 2007.

• Extending Lustre with Timeout Automata. (PDF) Jimin Gao, Mike Whalen, and Eric Van Wyk, Proceedings of Model-driven High-level Programming of Embedded Systems (SLA++P 2007), Electronic Notes in Theoretical Computer Science (ENTCS), vol. 203, issue 4, pp. 111-124, Elsevier, 2008.

• Silver: an Extensible Attribute Grammar System. (PDF) Eric Van Wyk, Derek Bodin, Ljiesh Krishnan, and Jimin Gao, Proceedings of Workshop on Language Descriptions, Tools, and Applications (LDTA 2007), Electronic Notes in Theoretical Computer Science (ENTCS), vol. 203, issue 2, pp. 103-116, Elsevier, 2008.

• Composable Language Extensions for Computational Geometry: a Case Study. (PDF) Eric Van Wyk and Eric Johnson, Proceedings of 40th Hawaii Intl' Conf. on System Sciences, 2007.

• Implementing Aspect-oriented Programming Constructs as Modular Language Extensions. (PDF) Eric Van Wyk, Scinece of Computer Programming, 68 (1): 36-61, Elsevier, 2007.

• Adding Syntax and Static Analysis to Libraries via Extensible Compilers and Language Extensions. (PDF) Eric Van Wyk, Derek Bodin, and Paul Huntington, Proceedings of LCSD 2006, Library-Centric Software Design, 2006.

• Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars. (PDF) Eric Van Wyk and Lijesh Krishnan, Proceedings of Workshop on Compiler Optimization Meets Compiler Verification (COCV 2006), Electronic Notes in Theoretical Computer Science (ENTCS), vol. 176, issue 3, pp. 109-122, Elsevier, 2007.

• Flexibility in Modeling Languages and Tools: A Call to Arms. (PDF) Eric Van Wyk and Mats Heimdahl, Proceedings of IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2005), October, 2005.

• Compiler Optimization Correctness by Temporal Logic. (PDF) David Lacey, Neil D. Jones, Eric Van Wyk, and Carl C. Frederiksen, Higher Order and Symbolic Computation, 17 (3): 173-206, Kluwer, September, 2004.

• Universal Regular Path Queries. (PDF) Oege de Moor, David Lacey, and Eric Van Wyk, Higher Order and Symbolic Computation, 16 (1-2): 15-35, Kluwer, March-June, 2003. Special issue dedicated to Robert Paige.

• Aspects as Modular Language Extensions. (PDF) Eric Van Wyk, Proceedings of Workshop on Language Descriptions, Tools and Applications (LDTA 2003), Electronic Notes in Theoretical Computer Science (ENTCS), vol. 82, issue 3, pp. 555–574, Elsevier, 2003.

• Specification Languages in Algebraic Compilers. (PDF) Eric Van Wyk, Theoretical Computer Science, 231 (3): 351-385, Elsevier, January, 2003.

• Forwarding in Attribute Grammars for Modular Language Design. (PDF) Eric Van Wyk, Oege de Moor, Kevin Backhouse, and Paul Kwiatkowski, Proceedings of 11th Conference on Compiler Construction (CC 2002), LNCS, vol. 2304, pp. 128-142, Springer Verlag, 2002.

• Proving Correctness of Compiler Optimizations by Temporal Logic. (PDF) David Lacey and Neil D. Jones, Eric Van Wyk, and Carl C. Frederiksen, Proceedings of 29th ACM Symposium on Principles of Programming Languages (POPL 2002), pp. 283-294, ACM, 2002.

• Generating Model Checkers from Algebraic Specifications. Teo Rus, Eric Van Wyk, and Tom Halverson, Formal Methods in System Design, 20 (3): 249-284, 2002.

• Domain Specific Meta Languages. (PDF) Eric Van Wyk, Proceedings of ACM Symposium on Applied Computing (SAC 2000), pp. 799--803, ACM, 2000.

• Meta Languages in Algebraic Compilers. (PDF) Eric Van Wyk, Proceedings of 8th International Conference on Algebraic Methodology and Software Technology (AMAST 2000), LNCS, vol. 1816, pp. 1190134, Springer Verlag, 2000.

• Aspect Oriented Compilers. (PDF) Oege de Moor, Simon Peyton-Jones, and Eric Van Wyk, Proceedings of First International Symposium on Generative and Component-Based Software Engineering, LNCS, vol. 1779, pp. 121-133, Springer Verlag, 1999.

• Using Model Checking in a Parallelizing Compiler. Teo Rus and Eric Van Wyk, Parallel Processing Letters, 8 (4): 459-471, 1998.

• An Algebraic Language Processing Environment. (PDF) Teodor Rus, Tom Halverson, Eric Van Wyk, and Robert Kooima, Proceedings of 6th International Conference on Algebraic Methodology and Software Technology (AMAST '97), LNCS, vol. 1349, pp. 581-585, Springer Verlag, 1997.

• A formal approach to parallelizing compilers. (PDF) Eric Van Wyk and Teodor Rus, Proceedings of SIAM Conference on Parallel Processing for Scientific Computation, 1997.

• Integrating Temporal Logics and Model Checking Algorithms. (PDF) Teodor Rus and Eric Van Wyk, Proceedings of 4th AMAST Workshop on Real-Time Systems, LNCS, vol. 1231, pp. 95-110, Springer Verlag, 1997.

• Model checking as a tool used by parallelizing compilers. (PDF) Teodor Rus and Eric Van Wyk, Proceedings of 2nd International Workshop on Formal Methods for Parallel Programming: Theory and Applications, April, 1997.

• Algebraic Implementation of Model Checking Algorithms. (PDF) Teodor Rus and Eric Van Wyk, Proceedings of 3rd AMAST Workshop on Real-Time Systems, pp. 267-279, 1996.

Theses

• Reliably composable language extensions. (archived version) Ted Kaminski, Ph.D. Dissertation, Department of Computer Science and Engineering, University of Minnesota, Minneapolis, Minnesota, USA. July, 2017.

• Composable Semantics Using Higher-Order Attribute Grammars. (archived version) Lijesh Krishnan, Ph.D. Dissertation, Department of Computer Science and Engineering, University of Minnesota, Minneapolis, Minnesota, USA. 2012.

• Context-aware scanning and determinism-preserving grammar composition, in theory and practice. (archived version) August Schwerdfeger, Ph.D. Dissertation, Department of Computer Science and Engineering, University of Minnesota, Minneapolis, Minnesota, USA. July, 2010.