Supratik Chakraborty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
73
Venues
27
Active years
1993–2026
Best venue rank
A*
Where they publish
- ATACAS12 papers
- A*AAAI7 papers
- A*CAV7 papers
- NationalVLSID7 papers
- BATVA5 papers
- BFMCAD4 papers
- A*KR3 papers
- A*IJCAI3 papers
- AICCAD3 papers
- ACP3 papers
- BMFCS2 papers
- BSAS2 papers
- AIJCAR1 paper
- ASAT1 paper
- AustralasianADC1 paper
- BICECCS1 paper
- BFM1 paper
- BLPAR1 paper
- BRV1 paper
- ACADE1 paper
- A*LICS1 paper
- BCONCUR1 paper
- BVMCAI1 paper
- A*DAC1 paper
- CWoLLIC1 paper
- A*SODA1 paper
- CICCD1 paper
Papers
73 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | On Robustness of Linear Classifiers to Targeted Data Poisoning. | Nakshatra Gupta, Sumanth Prabhu S, Supratik Chakraborty, R. Venkatesh |
| 2026 | CAV | Parallel Abstract Interpretation for Polynomial Programs with Range Bound Assertions. | S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Goharshady, Harshit Jitendra Motwani, Dorde Zikelic |
| 2026 | IJCAR | Program Synthesis for Non-linear Real Arithmetic: Going Beyond Realizability. | S. Akshay, Supratik Chakraborty, R. Govind, Aniruddha R. Joshi |
| 2026 | KR | Knowledge Compilation for Quantification in Alternating Automata. | S. Akshay, Alfredo Cantarella, Supratik Chakraborty, Bernd Finkbeiner, Niklas Metzger |
| 2026 | KR | On-the-fly LTLf Synthesis under Partial Observability. | Nadav Alon, Supratik Chakraborty, Alexandre Duret-Lutz, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu |
| 2026 | SAT | Proof Systems for QBF Synthesis: Extracting Skolem and Herbrand Functions. | S. Akshay, Olaf Beyersdorff, Supratik Chakraborty, Lea Kasche, Meena Mahajan, Luc Nicolas Spachmann |
| 2025 | ADC | The Parameterization Gap: Backtracking Multimodal NL2PSQL. | Nakshatra Gupta, Advaita Datar, Pramod Wankhade, Kaushik Joshi, Supratik Chakraborty |
| 2025 | ATVA | Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models. | Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia |
| 2025 | ICECCS | Random Resampling of Training Data for Effective Verification Strategy Prediction. | Bharti Chimdyalwar, Priyanka Darke, R. Venkatesh, Supratik Chakraborty |
| 2025 | IJCAI | LP-Based Weighted Model Integration over Non-Linear Real Arithmetic. | S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic |
| 2025 | KR | Presburger Functional Synthesis: Complexity and Tractable Normal Forms. | S. Akshay, A. R. Balasubramanian, Supratik Chakraborty, Georg Zetzsche |
| 2024 | AAAI | Exact ASP Counting with Compact Encodings. | Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel |
| 2024 | AAAI | Auditable Algorithms for Approximate Model Counting. | Kuldeep S. Meel, Supratik Chakraborty, S. Akshay |
| 2024 | ATVA | The VeriAbs Tool Suite for Code Verification. | Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Supratik Chakraborty |
| 2024 | FM | Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic. | S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi |
| 2024 | LPAR | Automated Synthesis of Decision Lists for Polynomial Specifications over Integers. | S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi |
| 2024 | TACAS | On Dependent Variables in Reactive Synthesis. | S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried |
| 2024 | TACAS | PROTON: PRObes for Termination Or Not (Competition Contribution). | Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty |
| 2024 | TACAS | Weakest Precondition Inference for Non-Deterministic Linear Array Programs. | Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich |
| 2023 | CAV | Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis. | S. Akshay, Supratik Chakraborty, Sahil Jain |
| 2023 | RV | Learning Monitor Ensembles for Operational Design Domains. | Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia |
| 2023 | TACAS | VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). | Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty |
| 2022 | ATVA | Projected Model Counting: Beyond Independent Support. | Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel |
| 2022 | CADE | On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices. | S. Akshay, Supratik Chakraborty, Debtanu Pal |
| 2022 | MFCS | On Synthesizing Computable Skolem Functions for First Order Logic. | Supratik Chakraborty, S. Akshay |
| 2021 | CAV | Diffy: Inductive Reasoning of Array Programs Using Difference Invariants. | Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat |
| 2021 | FMCAD | Synthesizing Pareto-Optimal Interpretations for Black-Box Models. | Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia |
| 2021 | LICS | A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis. | Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty |
| 2020 | ICCAD | On Uniformly Sampling Traces of a Transition System. | Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi |
| 2020 | TACAS | VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution). | Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh |
| 2020 | TACAS | Verifying Array Manipulating Programs with Full-Program Induction. | Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat |
| 2019 | AAAI | On the Hardness of Probabilistic Inference Relaxations. | Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |
| 2019 | CP | Functional Significance Checking in Noisy Gene Regulatory Networks. | S. Akshay, Sukanya Basu, Supratik Chakraborty, Rangapriya Sundararajan, Prasanna Venkatraman |
| 2019 | CP | On Symbolic Approaches for Computing the Matrix Permanent. | Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi |
| 2019 | FMCAD | Knowledge Compilation for Boolean Functional Synthesis. | S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah |
| 2018 | CAV | What's Hard About Boolean Functional Synthesis? | S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah |
| 2018 | FMCAD | Functional Synthesis via Input-Output Separation. | Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi |
| 2017 | CONCUR | On Petri Nets with Hierarchical Special Arcs. | S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep |
| 2017 | SAS | Verifying Array Manipulating Programs by Tiling. | Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat |
| 2017 | TACAS | Towards Parallel Boolean Functional Synthesis. | S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah |
| 2017 | VMCAI | Matching Multiplications in Bit-Vector Formulas. | Supratik Chakraborty, Ashutosh Gupta, Rahul Jain |
| 2016 | AAAI | Approximate Probabilistic Inference via Word-Level Counting. | Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi |
| 2016 | AAAI | Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. | Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik |
| 2016 | IJCAI | Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. | Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |
| 2015 | CAV | Word-Level Symbolic Trajectory Evaluation. | Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry |
| 2015 | FMCAD | Skolem Functions for Factored Formulas. | Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay |
| 2015 | IJCAI | From Weighted to Unweighted Model Counting. | Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi |
| 2015 | TACAS | On Parallel Scalable Uniform SAT Witness Generation. | Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi |
| 2014 | AAAI | Distribution-Aware Sampling and Weighted Model Counting for SAT. | Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi |
| 2014 | DAC | Balancing Scalability and Uniformity in SAT Witness Generator. | Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |
| 2014 | MFCS | A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures. | Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty |
| 2013 | ATVA | Improved Upper and Lower Bounds for Bchi Disambiguation. | Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty |
| 2013 | CAV | A Scalable and Nearly Uniform Generator of SAT Witnesses. | Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |
| 2013 | CP | A Scalable Approximate Model Counter. | Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |
| 2013 | TACAS | Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors. | Ajith K. John, Supratik Chakraborty |
| 2012 | WoLLIC | Preservation under Substructures modulo Bounded Cores. | Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty |
| 2011 | CAV | A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations. | Ajith K. John, Supratik Chakraborty |
| 2010 | SODA | Bounding Variance and Expectation of Longest Path Lengths in DAGs. | Jeff Edmonds, Supratik Chakraborty |
| 2009 | ATVA | On Minimal Odd Rankings for Bchi Complementation. | Hrishikesh Karmarkar, Supratik Chakraborty |
| 2009 | SAS | Bottom-Up Shape Analysis. | Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori |
| 2008 | TACAS | Automatically Refining Abstract Interpretations. | Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani |
| 2006 | TACAS | Efficient Guided Symbolic Reachability Using Reachability Expressions. | Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya |
| 2005 | TACAS | Bounded Validity Checking of Interval Duration Logic. | Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty |
| 2004 | VLSID | A Novel Technique Towards Eliminating the Global Clock in VLSI Circuits. | Gautam Hazari, Madhav P. Desai, Apoorv Gupta, Supratik Chakraborty |
| 2004 | VLSID | Evaluation of pausible clocking for interfacing high speed IP cores in GALS Framework. | Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma |
| 2002 | VLSID | Layout-Driven Timing Optimization by Generalized De Morgan Transform. | Supratik Chakraborty, Rajeev Murgai |
| 2002 | VLSID | Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract). | Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan |
| 2001 | VLSID | Complexity Of Minimum-Delay Gate Resizing. | Supratik Chakraborty, Rajeev Murgai |
| 1998 | ICCD | A self-timed real-time sorting network. | Kenneth Y. Yun, Supratik Chakraborty, Kevin W. James, Robert H. Fairlie-Cuninghame, Rene L. Cruz |
| 1997 | ICCAD | Approximate algorithms for time separation of events. | Supratik Chakraborty, David L. Dill |
| 1993 | ICCAD | Cellular automata based synthesis of easily and fully testable FSMs. | Dipanwita Roy Chowdhury, Supratik Chakraborty, B. Vamsi, B. Pal Chaudhuri |
| 1993 | VLSID | Synthesis of Self-Checking Sequential Machines Using Cellular Automata. | Dipanwita Roy Chowdhury, Supratik Chakraborty, Parimal Pal Chaudhuri |
| 1993 | VLSID | Delay Fault Test Generation with Cellular Automata. | Sukumar Nandi, Vamsi Boppana, Supratik Chakraborty, Parimal Pal Chaudhuri, Samir Roy |