MELT group wins Distinguish Paper award at SLE2020
Congratulations to Ph.D. student Lucas Kramer and associate professor Eric Van Wyk for winning the Distinguish Paper award at the 13th ACM SIGPLAN International Conference on Software Language Engineering (SLE).
Their paper titled "Strategic Tree Rewriting in Attribute Grammars" presents strategy attributes, a seamless integration of strategic term rewriting into attribute grammars, that works by automatically generating attribute equations from rewrite rules and strategies. Several applications of strategy attributes are demonstrated, including optimizing a simple expression language, evaluation of the lambda calculus, regex matching using derivatives, normalizing C for-loops, and in the optimization of strategy attribute translations.
Lucas is a 4th year Ph.D. candidate working in the Minnesota Extensible Language Tools group at the University of Minnesota. His research interests include extensible programming language engineering and attribute grammar systems. He additionally holds a part-time student researcher position at Google, working to leverage concepts from functional programming in the Bluespec hardware description language to minimize boilerplate in specifying new operations.