Prantik Chatterjee

Orcid: 0000-0002-3320-9543

According to our database1, Prantik Chatterjee authored at least 10 papers between 2016 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
An Empirical Study on Spectrum Based Fault Localization Heuristics.
Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing, 2026

2025
Memory-Safety Verification of Open Programs with Angelic Assumptions.
Proc. ACM Program. Lang., 2025

2024
Accelerated Bounded Model Checking Using Interpolation Based Summaries.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Augmenting Automated Spectrum Based Fault Localization for Multiple Faults.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022
Proof-Guided Underapproximation Widening for Bounded Model Checking.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2020
Diagnosing Software Faults Using Multiverse Analysis.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Distributed Bounded Model Checking.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2016
Finding Synergy Networks From Gene Expression Data: A Fuzzy-Rule-Based Approach.
IEEE Trans. Fuzzy Syst., 2016

Discovery of synergistic genetic network: A minimum spanning tree-based approach.
J. Bioinform. Comput. Biol., 2016


  Loading...