Seemanta Saha

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 15

Top Topics

Countermeasures

Set Of Benchmark Instances

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, Tevfik Bultan
Obtaining Information Leakage Bounds via Approximate Model Counting. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan
Rare Path Guided Fuzzing. ISSTA (2023)
Seemanta Saha, Mara Downing, Tegan Brennan, Tevfik Bultan
PREACH: A Heuristic for Probabilistic Reachability to Identify Hard to Reach Statements. ICSE (2022)
Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan
Rare-Seed Generation for Fuzzing. CoRR (2022)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Tegan Brennan, Seemanta Saha, Tevfik Bultan
JVM fuzzing for JIT-induced side-channel detection. ICSE (2020)
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
Incremental Adaptive Attack Synthesis. CoRR (2019)
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
Attack Synthesis for Strings using Meta-Heuristics. CoRR (2019)
Seemanta Saha, Ripon K. Saha, Mukul R. Prasad
Harnessing Evolution for Multi-Hunk Program Repair. CoRR (2019)
Seemanta Saha, Ripon K. Saha, Mukul R. Prasad
Harnessing evolution for multi-hunk program repair. ICSE (2019)
William Eiers, Seemanta Saha, Tegan Brennan, Tevfik Bultan
Subformula Caching for Model Counting and Quantitative Program Analysis. ASE (2019)
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
Incremental Attack Synthesis. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Tegan Brennan, Seemanta Saha, Tevfik Bultan
Symbolic path cost analysis for side-channel detection. ICSE (Companion Volume) (2018)
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
Attack Synthesis for Strings using Meta-Heuristics. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu
Symbolic path cost analysis for side-channel detection. ISSTA (2018)
Seemanta Saha, Muhammad Sheikh Sadi
Synthesizing Fault Tolerant Safety Critical Systems. J. Comput. 9 (8) (2014)