Saikat Dutta

According to our database, Saikat Dutta authored at least 18 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Debugging convergence problems in probabilistic programs via program representation learning with SixthSense.

Zixin Huang, Saikat Dutta, Sasa Misailovic

Int. J. Softw. Tools Technol. Transf., June, 2024

2023

ASTRA: Understanding the practical impact of robustness for probabilistic programs.

Zixin Huang, Saikat Dutta, Sasa Misailovic

Proceedings of the Uncertainty in Artificial Intelligence, 2023

Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests.

Chunqiu Steven Xia, Saikat Dutta, Sasa Misailovic, Darko Marinov, Lingming Zhang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Automated quantized inference for probabilistic programs with AQUA.

Zixin Huang, Saikat Dutta, Sasa Misailovic

Innov. Syst. Softw. Eng., 2022

To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects.

Saikat Dutta, Anshul Arunachalam, Sasa Misailovic

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

InspectJS: Leveraging Code Similarity and User-Feedback for Effective Taint Specification Inference for JavaScript.

Saikat Dutta, Diego Garbervetsky, Shuvendu K. Lahiri, Max Schäfer

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning.

Saikat Dutta, Zixin Huang, Sasa Misailovic

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

FLEX: fixing flaky tests in machine learning projects by updating assertion bounds.

Saikat Dutta, August Shi, Sasa Misailovic

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

TERA: optimizing stochastic regression tests in machine learning projects.

Saikat Dutta, Jeeva Selvam, Aryaman Jain, Sasa Misailovic

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

AQUA: Automated Quantized Inference for Probabilistic Programs.

Zixin Huang, Saikat Dutta, Sasa Misailovic

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Detecting flaky tests in probabilistic and machine learning applications.

Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa Misailovic

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Storm: program reduction for testing and debugging probabilistic programming systems.

Saikat Dutta, Wenxian Zhang, Zixin Huang, Sasa Misailovic

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

Testing probabilistic programming systems.

Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2017

AutoSense: A Framework for Automated Sensitivity Analysis of Program Data.

Bernard Nongpoh, Rajarshi Ray, Saikat Dutta, Ansuman Banerjee

IEEE Trans. Software Eng., 2017

2015

Enhancing branch prediction using software evolution.

Saikat Dutta, Moumita Das, Ansuman Banerjee

Proceedings of the 10th IEEE International Conference on Networking, 2015

A New Approach for Minimal Environment Construction for Modular Property Verification.

Saikat Dutta, Soumi Chattopadhyay, Ansuman Banerjee, Pallab Dasgupta

Proceedings of the 24th IEEE Asian Test Symposium, 2015

A Framework for Fast Service Verification and Query Execution for Boolean Service Rules.

Soumi Chattopadhyay, Saikat Dutta, Ansuman Banerjee

Proceedings of the Advances in Services Computing, 2015

2013

Using Daikon to Prioritize and Group Unit Bugs.

Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil Kumar Ghosh, Lihua Xu, Huibiao Zhu

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013