• Sign in
  • Sign up
conf.researchr.org / Tegan Brennan
  • * ICSE 2018 * profile
  • ASE 2019 profile
  • ECOOP and ISSTA 2018 profile
  • ESEC/FSE 2018 profile
  • ICSE 2020 profile
  • ICSE 2022 profile
  • ISSTA 2017 profile
  • ISSTA 2020 profile
No Photo

Registered user since Tue 15 Nov 2016

Name:Tegan Brennan

Contributions

2022

ICSE

  • Author of PReach: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements within the Technical Track-track

2020

ISSTA

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

ICSE

  • Author of Detection and Mitigation of JIT-Induced Side Channels within the ACM Student Research Competition-track
  • Author of JVM Fuzzing for JIT-Induced Side-Channel Detection within the Technical Papers-track
  • Author of JVM Fuzzing for JIT-Induced Side-Channel Detection within the ICSE 2020 Posters-track

2019

ASE

  • Author of Subformula Caching for Model Counting and Quantitative Program Analysis within the Research Papers-track

2018

ESEC/FSE

  • Author of Parameterized Model Counting for String and Numeric Constraints within the Research Papers-track

ECOOP/ISSTA

  • Author of Symbolic Path Cost Analysis for Side-Channel Detection within the Posters-track

ISSTA

  • Author of Symbolic Path Cost Analysis for Side-Channel Detection within the ISSTA Technical Papers-track

ICSE

  • Author of Poster F46: Symbolic Path Cost Analysis for Side-Channel Detection within the Posters -track

2017

ISSTA

  • Author of Path Cost Analysis for Side Channel Detection within the Doctoral Symposium-track
Share
xMon 16 Jun 02:05
using conf.researchr.org (v1.69.0)
Support page
Sign Up