Latest research projects, publications, and talks
About a Proof Pearl: A Purported Solution to a POPLMARK Challenge Problem that is Not One [preprint]
Posted
Gopalan Nadathur (professor)
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)
On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms [preprint]
Posted
Gopalan Nadathur (professor), Mary Southern (Ph.D. .2021)
Better Program Analysis for Security via Data Flow Tracking and Symbolic Execution [thesis]
Posted
Navid Emamdoost (Ph.D. 2021)
Adelfa: A System for Reasoning about LF Specifications [preprint]
Posted
Mary Southern (Ph.D. 2021), Gopalan Nadathur (professor)
A Logic for Reasoning About LF Specifications [preprint]
Posted
Gopalan Nadathur (professor), Mary Southern (Ph.D. 2021)
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
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)
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)
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