Tegan Brennan

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 13

Top Topics

Top Venues

ICSE (Companion Volume)

ESEC/SIGSOFT FSE

Publications

Adam Chen, Parisa Fathololumi, Mihai Nicola, Jared Pincus, Tegan Brennan, Eric Koskinen
Better Predicates and Heuristics for Improved Commutativity Synthesis. ATVA (2023)
Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan
PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements. ICSE (2022)
Tegan Brennan, Seemanta Saha, Tevfik Bultan
JVM fuzzing for JIT-induced side-channel detection. ICSE (2020)
Tegan Brennan, Nicolás Rosner, Tevfik Bultan
JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation. IEEE Symposium on Security and Privacy (2020)
Tegan Brennan
Detection and mitigation of JIT-induced side channels. ICSE (Companion Volume) (2020)
William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan
Subformula Caching for Model Counting and Quantitative Program Analysis. ASE (2019)
Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu
Parameterized model counting for string and numeric constraints. ESEC/SIGSOFT FSE (2018)
Matthew Cieslak, Wendy Meiring, Tegan Brennan, Clint Greene, Lukas J. Volz, Jean M. Vettel, Subhash Suri, Scott T. Grafton
Compositional measures of diffusion anisotropy and asymmetry. ISBI (2018)
Tegan Brennan, Seemanta Saha, Tevfik Bultan
Symbolic path cost analysis for side-channel detection. ICSE (Companion Volume) (2018)
Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu
Symbolic path cost analysis for side-channel detection. ISSTA (2018)
Matthew Cieslak, Tegan Brennan, Wendy Meiring, Lukas J. Volz, Clint Greene, Alexander Asturias, Subhash Suri, Scott T. Grafton
Analytic tractography: A closed-form solution for estimating local white matter connectivity with diffusion MRI. NeuroImage 169 (2018)
Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, Tevfik Bultan
Constraint normalization and parameterized caching for quantitative program analysis. ESEC/SIGSOFT FSE (2017)
Tegan Brennan
Path cost analysis for side channel detection. ISSTA (2017)
Charles R. Hagwood, Javier Bernal, Michael Halter, John T. Elliott, Tegan Brennan
Testing Equality of Cell Populations Based on Shape and Geodesic Distance. IEEE Trans. Medical Imaging 32 (12) (2013)