Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Seemanta Saha
conf.researchr.org general profile
* ICSE 2018 * profile
ASE 2019 profile
ECOOP and ISSTA 2018 profile
ESEC/FSE 2018 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2022 profile
PLDI 2023 profile
Registered user since Mon 26 Mar 2018
Name:
Seemanta Saha
Affiliation:
University of California Santa Barbara
Contributions
2023
PLDI
Author of Obtaining Information Leakage Bounds via Approximate Model Counting within the PLDI Research Papers-track
2022
ICSE
Author of PReach: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements within the Technical Track-track
2020
ICSE
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
ICSE
Author of Harnessing Evolution for Multi-Hunk Program Repair within the Technical Track-track
2018
JPF
Author of Attack Synthesis for Strings using Meta-Heuristics within the JPF-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
Share
x
Wed 14 Aug 21:52