Seemanta Saha -

Registered user since Mon 26 Mar 2018

Name:Seemanta Saha

Affiliation:University of California Santa Barbara

Contributions

ASE 2019	Author of Subformula Caching for Model Counting and Quantitative Program Analysis within the Research Papers-track
JPF 2018	Author of Attack Synthesis for Strings using Meta-Heuristics within the JPF-track
ICSE 2020	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
ICSE 2019	Author of Harnessing Evolution for Multi-Hunk Program Repair within the Technical Track-track
ISSTA 2018	Author of Symbolic Path Cost Analysis for Side-Channel Detection within the ISSTA Technical Papers-track
ECOOP and ISSTA 2018	Author of Symbolic Path Cost Analysis for Side-Channel Detection within the Posters-track
* ICSE 2018 *	Author of Poster F46: Symbolic Path Cost Analysis for Side-Channel Detection within the Posters -track