Latest research projects, publications, and talks
![Maroon and gold gears illustration](/sites/cse.umn.edu/files/styles/medium/public/Soft_600x400.png.webp?itok=nIiucxpp)
About a Proof Pearl: A Purported Solution to a POPLMARK Challenge Problem that is Not One [preprint]
Posted
Gopalan Nadathur (professor)
![Maroon and gold gears illustration](/sites/cse.umn.edu/files/styles/medium/public/Soft_600x400.png.webp?itok=nIiucxpp)
Composition of Fault Forests [conference paper]
Posted
Danielle Stewart (Ph.D. 2020), Michael Whalen (adjunct assistant professor), Mats Heimdahl (professor), Jing Janet Liu, Darren Cofer (adjunct assistant professor)
40th International Conference on Computer Safety, Reliability and Security (SafeComp 2021)
![Maroon and gold gears illustration](/sites/cse.umn.edu/files/styles/medium/public/Soft_600x400.png.webp?itok=nIiucxpp)
On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms [preprint]
Posted
Gopalan Nadathur (professor), Mary Southern (Ph.D. .2021)
![Maroon and gold gears illustration](/sites/cse.umn.edu/files/styles/medium/public/Soft_600x400.png.webp?itok=nIiucxpp)
Better Program Analysis for Security via Data Flow Tracking and Symbolic Execution [thesis]
Posted
Navid Emamdoost (Ph.D. 2021)
![Maroon and gold gears illustration](/sites/cse.umn.edu/files/styles/medium/public/Soft_600x400.png.webp?itok=nIiucxpp)
Adelfa: A System for Reasoning about LF Specifications [preprint]
Posted
Mary Southern (Ph.D. 2021), Gopalan Nadathur (professor)
![Maroon and gold gears illustration](/sites/cse.umn.edu/files/styles/medium/public/Soft_600x400.png.webp?itok=nIiucxpp)
A Logic for Reasoning About LF Specifications [preprint]
Posted
Gopalan Nadathur (professor), Mary Southern (Ph.D. 2021)
![Maroon and gold gears illustration](/sites/cse.umn.edu/files/styles/medium/public/Soft_600x400.png.webp?itok=nIiucxpp)
Reflection of terms in attribute grammars: Design and applications [journal]
Posted
Lucas Kramer (Ph.D. student), Ted Kaminski (Ph.D. 2017), Eric Van Wyk (professor)
Journal of Computer Languages
![Maroon and gold gears illustration](/sites/cse.umn.edu/files/styles/medium/public/Soft_600x400.png.webp?itok=nIiucxpp)
Identifying and Characterizing Silently-Evolved Methods in the Android API [conference paper]
Posted
Pei Liu, Li Li, Yichun Yan (M.S. student), Mattia Fazzini (assistant professor), John Grundy
IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)
![Maroon and gold gears illustration](/sites/cse.umn.edu/files/styles/medium/public/Soft_600x400.png.webp?itok=nIiucxpp)
ANDROR2: A Dataset of Manually-Reproduced Bug Reports for Android apps [conference talk]
Posted
Tyler Wendland (undergraduate research assistant), Jingyang Sun, Junayed Mahmud, SM Hasan Mansur, Steven Huang, Kevin Moran, Julia Rubin, Mattia Fazzini (assistant professor)
IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)
![Maroon and gold gears illustration](/sites/cse.umn.edu/files/styles/medium/public/Soft_600x400.png.webp?itok=nIiucxpp)
AADL-Based safety analysis using formal methods applied to aircraft digital systems [journal]
Posted
Danielle Stewart (Ph.D. student), Jing Janet Liu, Darren Cofer, Mats Heimdahl (professor), Michael W Whalen (adjunct assistant professor), Michael Peterson
Reliability Engineering & System Safety