Saikat Dutta
Saikat Dutta
Room 3107
Thomas M Siebel Center
201 Goodwin Avenue
Illinois, 61801
United States
About Me
I am a PhD student in the Computer Science Department at University of Illinois, Urbana-Champaign. As a member of the Programming Languages and Software Engineering group, I am being advised by Prof. Sasa Misailovic. My research interests broadly include program analysis, approximate computing and probabilistic programming languages. I am currently working on analyzing probabilistic programming languages and developing ways to test and debug them.
Detecting Flaky Tests in Probabilistic and Machine Learning Applications
29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020)
Saikat Dutta, August Shi, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, and Sasa Misailovic
Storm: Program Reduction for Testing and Debugging Probabilistic Programming Systems
27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE 2019)
Saikat Dutta, Wenxian Zhang, Zixin Huang, Sasa Misailovic
Testing Probabilistic Programming Systems
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE 2018)
Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic
AutoSense: A Framework for Automated Sensitivity Analysis of Program Data
IEEE Transactions on Software Engineering (TSE 2017)
Bernard Nongpoh, Rajarshi Ray, Saikat Dutta, Ansuman Banerjee
Enhancing branch prediction using software evolution
10th IEEE International Conference on Networking, Architecture, and Storage (NAS 2015)
Saikat Dutta, Moumita Das, Ansuman Banerjee
A New Approach for Minimal Environment Construction for Modular Property Verification
24th Asian Test Symposium (ATS 2015)
Saikat Dutta, Soumi Chattopadhyay, Ansuman Banerjee, Pallab Dasgupta
A Framework for Fast Service Verification and Query Execution for Boolean Service Rules>
9th Asia-Pacific Services Computing Conference (APSCC 2015)
Soumi Chattopadhyay, Saikat Dutta, Ansuman Banerjee
Daikon to Prioritize and Group Unit Bugs
Formal Aspects of Component Software - 10th International Symposium (FACS 2013)
Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil K. Ghosh, Lihua Xu, Huibiao Zhu