Software Engineering and Programming Languages

CS&E Android research accepted to ICSE 2021
Two papers from assistant professor Mattia Fazzini and his students will be presented at the premier software engineering conference.

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

EMP: Edge-assisted Multi-vehicle Perception [conference paper]
Posted January 31, 2022
27th Annual International Conference On Mobile Computing And Networking (MobiCom 2021)

MC-DGCNN: A Novel DNN Architecture for Multi-Category Point Set Classification [preprint]
Posted December 22, 2021
Majid Farhadloo (Ph.D. student), Carl Molnar (M.S. student), Gaoxiang Luo (undergraduate research assistant), Yan Li (Ph.D. student), Shashi Shekhar (professor), Rachel L Maus, Svetomir N Markovic, Raymond Moore, Alexey Leontovich

Identification and characterization of a fungal-selective glutaminyl tRNA synthetase inhibitor with potent activity against Candida albicans [journal]
Posted December 17, 2021
Alice Xue, Amanda Veri, Xiang Zhang, Ci Fu, Emma Lash, Kali Iyer, Nicole Revie, Nicole Robbins, Charles Boone, Chad Myers (professor), Leah Cowen
Access Microbiology

About a Proof Pearl: A Purported Solution to a POPLMARK Challenge Problem that is Not One [preprint]
Posted December 17, 2021
Gopalan Nadathur (professor)

Perceptions of Visual and Multimodal Symbolic Mediated Social Touch: Role of Technology Modality, Relationship, and Task Emotional Salience [journal]
Posted December 17, 2021
Svetlana Yarosh (associate professor), Xizi Wang, Yuan Yao
International Journal of Human-Computer Studies

A Label Correction Algorithm Using Prior Information for Automatic and Accurate Geospatial Object Recognition [conference paper]
Posted December 15, 2021
Weiwei Duan, Yao-Yi Chiang (associate professor), Stefan Leyk, Johannes H. Uhl, Craig A. Knoblock
IEEE International Conference on Big Data (IEEE BigData)

Guided Generative Models using Weak Supervision for Detecting Object Spatial Arrangement in Overhead Images [conference paper]
Posted December 15, 2021
Weiwei Duan, Yao-Yi Chiang (associate professor), Stefan Leyk, Johannes H. Uhl, Craig A. Knoblock
IEEE International Conference on Big Data (IEEE BigData)

AggNet: Cost-Aware Aggregation Networks for Geo-distributed Streaming Analytics [conference paper]
Posted December 14, 2021
Dhruv Kumar (Ph.D. student), Sohaib Ahmad, Abhishek Chandra (professor), Ramesh Sitaraman
6th ACM/IEEE Symposium on Edge Computing

Early Stopping for Deep Image Prior [preprint]
Posted December 11, 2021
Hengkang Wang (Ph.D. student), Taihui Li (Ph.D. student), Zhong Zhuang (Ph.D. student), Tiancong Chen (Ph.D. student), Hengyue Liang, Ju Sun (assistant professor)

TempoQR: Temporal Question Reasoning over Knowledge Graphs [preprint]
Posted December 10, 2021
Costas Mavromatis (Ph.D. student), Prasanna Lakkur Subramanyam, Vassilis N Ioannidis, Soji Adeshina, Phillip R Howard, Tetiana Grinberg, Nagib Hakim, George Karypis (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