
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

Conversational Agent for Daily Living Assessment Coaching [conference paper]
Posted January 7, 2021
Aditya Gaydhani (M.S. student), Raymond Finzel, Sheena Dufresne, Maria Gini (professor), Serguei Pakhomov
AI4Function Workshop, International Joint Conference on Artificial Intelligence (IJCAI)

A National Research Agenda for Intelligent Infrastructure: 2021 Update [preprint]
Posted January 1, 2021
Daniel Lopresti, Shashi Shekhar (professor)

More Trees or Larger Trees: Parallelizing Monte Carlo Tree Search [journal]
Posted December 30, 2020
Erik S Steinmetz (Ph.D. 2016), Maria Gini (professor)
IEEE Transactions on Games

The structure of behavioral data [preprint]
Posted December 23, 2020
Aurélien Defossez, Morteza Ansarinia, Brice Clocher, Emmanuel Schmück, Paul Schrater (associate professor), Pedro Cardoso-Leite

Robotics Enabling the Workforce [preprint]
Posted December 16, 2020
Henrik Christensen, Maria Gini (professor), Odest Chadwicke Jenkins, Holly Yanco

Distant-Supervised Slot-Filling for E-Commerce Queries [preprint]
Posted December 15, 2020
Saurav Manchanda (Ph.D. 2020), Mohit Sharma (Ph.D. 2017), George Karypis (professor)

Comparing Generic and Community-Situated Crowdsourcing for Data Validation in the Context of Recovery from Substance Use Disorders [preprint]
Posted December 13, 2020
Sabirat Rubya (Ph.D. student), Joseph Numainville (undergraduate research assistant), Svetlana Yarosh (associate professor)

RegulaTOR: A Powerful Website Fingerprinting Defense [preprint]
Posted December 11, 2020
James K Holland (Ph.D. student), Nicholas Hopper (professor)

Artificial Intelligence & Cooperation [preprint]
Posted December 10, 2020
Elisa Bertino, Finale Doshi-Velez, Maria Gini (professor), Daniel Lopresti, David Parkes

A Generative Approach for Detection-driven Underwater Image Enhancement [preprint]
Posted December 10, 2020
Chelsey Edge (Ph.D. student), Md Jahidul Islam (Ph.D. student), Christopher Morse (undergraduate research assistant), Junaed Sattar (assistant professor)
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