Saikat Dutta

36 papers A* 4A 6B 3C 1Journal 13Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
OmniCode: A Benchmark for Evaluating Software Engineering Agents.
CoRR
Atharv Sonwane, Eng-Shen Tu, Wei-Chung Lu, Claas Beger, Carter Larsen, Debjit Dhar, Simon Alford, Rachel Chen, Ronit Pattanayak, Tuan Anh Dang, Guohao Chen, Gloria Geng, Kevin Ellis, Saikat Dutta
2026 J jnl
Testing Deep Learning Libraries via Neurosymbolic Constraint Learning.
CoRR
M. M. Abid Naziri, Shinhae Kim, Feiran (Alex) Qin, Marcelo d'Amorim, Saikat Dutta
2025 B conf
AURA: Precise Abstract Interpretation of Probabilistic Programs with Interval Data Uncertainty.
SAS
Zixin Huang, Jacob Laurel, Saikat Dutta, Sasa Misailovic
2025 — conf
BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques.
ISSTA Companion
M. M. Abid Naziri, Aman Kumar Singh, Benjamin Wu, Feiran (Alex) Qin, Saikat Dutta, Marcelo d'Amorim
2025 — conf
CoCoNUT: Structural Code Understanding does not fall out of a tree.
LLM4Code@ICSE
Claas Beger, Saikat Dutta
2025 J jnl
CoCoNUT: Structural Code Understanding does not fall out of a tree.
CoRR
Claas Beger, Saikat Dutta
2025 A* conf
DOLPHIN: A Programmable Framework for Scalable Neurosymbolic Learning.
ICML
Aaditya Naik, Jason Liu, Claire Wang, Amish Sethi, Saikat Dutta, Mayur Naik, Eric Wong
2025 J jnl
Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs.
CoRR
Feiran (Alex) Qin, M. M. Abid Naziri, Hengyu Ai, Saikat Dutta, Marcelo d'Amorim
2025 A* conf
Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring.
ASE
Shinhae Kim, Saikat Dutta, Owolabi Legunsen
2025 A* conf
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.
ICLR
Ziyang Li, Saikat Dutta, Mayur Naik
2025 J jnl
QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities.
CoRR
Claire Wang, Ziyang Li, Saikat Dutta, Mayur Naik
2025 J jnl
Understanding and Improving Flaky Test Classification.
Proc. ACM Program. Lang.
Shanto Rahman, Saikat Dutta, August Shi
2025 A conf
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities.
ICST
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
2024 J jnl
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense.
Int. J. Softw. Tools Technol. Transf.
Zixin Huang, Saikat Dutta, Sasa Misailovic
2024 J jnl
Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning.
CoRR
Aaditya Naik, Jason Liu, Claire Wang, Saikat Dutta, Mayur Naik, Eric Wong
2024 A conf
GlueTest: Testing Code Translation via Language Interoperability.
ICSME
Muhammad Salman Abid, Mrigank Pawagi, Sugam Adhikari, Xuyan Cheng, Ryed Badr, Md Wahiduzzaman, Vedant Rathi, Ronghui Qi, Choiyin Li, Lu Liu, Rohit Sai Naidu, Licheng Lin, Que Liu, Asif Zubayer Palak, Mehzabin Haque, Xinyu Chen, Darko Marinov, Saikat Dutta
2024 J jnl
LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.
CoRR
Ziyang Li, Saikat Dutta, Mayur Naik
2023 A conf
ASTRA: Understanding the practical impact of robustness for probabilistic programs.
UAI
Zixin Huang, Saikat Dutta, Sasa Misailovic
2023 A* conf
Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests.
ICSE
Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang
2023 J jnl
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities.
CoRR
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
2022 J jnl
Automated quantized inference for probabilistic programs with AQUA.
Innov. Syst. Softw. Eng.
Zixin Huang, Saikat Dutta, Sasa Misailovic
2022 — conf
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript.
ICSE (SEIP)
Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer
2022 B conf
SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning.
FASE
Saikat Dutta, Zixin Huang, Sasa Misailovic
2022 A conf
To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects.
ICST
Saikat Dutta, Anshul Arunachalam, Sasa Misailovic
2021 B conf
AQUA: Automated Quantized Inference for Probabilistic Programs.
ATVA
Zixin Huang, Saikat Dutta, Sasa Misailovic
2021 — conf
FLEX: fixing flaky tests in machine learning projects by updating assertion bounds.
ESEC/SIGSOFT FSE
Saikat Dutta, August Shi, Sasa Misailovic
2021 J jnl
InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript.
CoRR
Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer
2021 A conf
TERA: optimizing stochastic regression tests in machine learning projects.
ISSTA
Saikat Dutta, Jeeva Selvam, Aryaman Jain, Sasa Misailovic
2020 A conf
Detecting flaky tests in probabilistic and machine learning applications.
ISSTA
Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa Misailovic
2019 — conf
Storm: program reduction for testing and debugging probabilistic programming systems.
ESEC/SIGSOFT FSE
Saikat Dutta, Wenxian Zhang, Zixin Huang, Sasa Misailovic
2018 — conf
Testing probabilistic programming systems.
ESEC/SIGSOFT FSE
Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic
2017 J jnl
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data.
IEEE Trans. Software Eng.
Bernard Nongpoh, Rajarshi Ray, Saikat Dutta, Ansuman Banerjee
2015 C conf
A Framework for Fast Service Verification and Query Execution for Boolean Service Rules.
APSCC
Soumi Chattopadhyay, Saikat Dutta, Ansuman Banerjee
2015 — conf
A New Approach for Minimal Environment Construction for Modular Property Verification.
ATS
Saikat Dutta, Soumi Chattopadhyay, Ansuman Banerjee, Pallab Dasgupta
2015 — conf
Enhancing branch prediction using software evolution.
NAS
Saikat Dutta, Moumita Das, Ansuman Banerjee
2013 — conf
Using Daikon to Prioritize and Group Unit Bugs.
FACS
Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil Kumar Ghosh, Lihua Xu, Huibiao Zhu