Austin Mordahl

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Static Analysis

Bug Localization

Symbolic Execution

Top Venues

ICSE (Companion Volume)

ESEC/SIGSOFT FSE

Publications

Samit Shahnawaz Miftah, Shamik Kundu, Austin Mordahl, Shiyi Wei, Kanad Basu
RTL-Spec: RTL Spectrum Analysis for Security Bug Localization. HOST (2024)
Austin Mordahl
Automatic Testing and Benchmarking for Configurable Static Analysis Tools. ISSTA (2023)
Sai S. Yerramreddy, Austin Mordahl, Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter
An empirical assessment of machine learning approaches for triaging reports of static analysis tools. Empir. Softw. Eng. 28 (2) (2023)
Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools. ISSTA (2023)
Austin Mordahl, Zenong Zhang, Dakota Soles, Shiyi Wei
ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis. ICSE (2023)
Austin Mordahl, Shiyi Wei
The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android. ISSTA (2021)
Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, Adam A. Porter
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools. ASE (2021)
Austin Mordahl
Toward detection and characterization of variability bugs in configurable C software: an empirical study. ICSE (Companion Volume) (2019)
Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei, Paul Gazzillo
An empirical study of real-world variability bugs detected by variability-oblivious tools. ESEC/SIGSOFT FSE (2019)