
MELT group wins Distinguish Paper award at SLE2020
This research was done by Ph.D. student Lucas Kramer and assosciate professor Eric Van Wyk from the Minnesota Extensible Language Tools (MELT group).

Fazzini receives Facebook Testing and Verification Research Award
This work will thoroughly assess app quality to avoid severe failures due to undetected bugs for mobile apps relied on by millions of users for daily activities.
Research in this area focuses on the design of new formalisms and frameworks to improve the quality of software. Software is a solution to a computational problem using a formal programming language. The constructs of the language and the tools available to model, implement, and test a software system influence the quality of that solution, in terms of correctness, reliability, readability, computational efficiency, and efficiency in design and development. At the linguistic level, research focuses on constructing methods for extending existing languages with domain specific features, for example, and in exploiting logic and type theory based approaches in developing flexible and secure programs. At the implementation level, our work focuses on designing virtual machines and compilation techniques to support extensibility and to realize new and sophisticated programming language features.
Faculty






Labs and selected projects
- Abella: An Interactive Theorem Prover for Reasoning About Specifications of Computations Gopalan Nadathur
- CriSys: Critical Systems Research Group Mats Heimdahl
- Flowcheck Stephen McCamant
- MELT: Minnesota Extensible Language Tools Group Eric Van Wyk
- Teyjus: an efficient implementation of Lambda Prolog Gopalan Nadathur
Related centers and programs
Latest research projects, publications, and talks

Proving the Shalls: Early Validation of Requirements Through Formal Methods [preprint]
Posted March 1, 2021
Steven P. Miller, Alan C. Tribble, Michael W. Whalen (adjunct assistant professor), Mats P. E. Heimdahl (professor)

Strategic Term Rewriting in Attribute Grammars [conference paper]
Posted November 15, 2020
Lucas Kramer (Ph.D. student), Eric Van Wyk (associate professor)
13th ACM SIGPLAN International Conference on Software Language Engineering (SLE) 2020- Distinguish Paper award winner

Monadification of Attribute Grammars [conference paper]
Posted November 15, 2020
Dawn Michaelson (Ph.D. student), Eric Van Wyk (associate professor)
13th ACM SIGPLAN International Conference on Software Language Engineering (SLE)

Managing App Testing Device Clouds: Issues and Opportunities [conference paper]
Posted September 22, 2020
Mattia Fazzini (assistant professor), Alessandro Orso
35th IEEE/ACM International Conference on Automated Software Engineering (ASE), LBR track

A Framework for Automated Test Mocking of Mobile Apps [conference paper]
Posted September 22, 2020
Mattia Fazzini (assistant professor), Alessandra Gorla, Alessandro Orso
35th IEEE/ACM International Conference on Automated Software Engineering

APIMigrator: An API-Usage Migration Tool for Android Apps [conference paper]
Posted July 14, 2020
Mattia Fazzini (assistant professor), Qi Xin, Alessandro Orso
Proceedings of the 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft)

Future challenges in mobile software engineering [conference panel]
Posted July 14, 2020
John Grundy, Denys Poshyvanyk, Christine Julien, Mattia Fazzini (assistant professor), Scott Barnett, Mario Linares-Vasquez, Patanamon Thongtanunam
Proceedings of the 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft)

The Software Language Extension Problem [journal]
Posted March 1, 2020
Manuel Leduc, Thomas Degueule, Eric Van Wyk (associate professor), Benoit Combemale
Software and Systems Modeling
More About Research areas
- Architectures, Compiler Optimization, and Embedded Systems
- Bioinformatics and Computational Biology
- Data Mining, Databases, and Geographical Information Systems
- Graphics and Immersive Computing
- High Performance Computing
- Human Computer Interaction (HCI)
- Networks, Distributed Systems, and Security
- Robotics and Artificial Intelligence
- Theoretical Foundations