Supratik Chakraborty

According to our database, Supratik Chakraborty authored at least 91 papers between 1993 and 2024.

Collaborative distances:

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

2024

Network Inversion of Binarised Neural Nets.

Pirzada Suhail, Supratik Chakraborty, Amit Sethi

CoRR, 2024

Weakest Precondition Inference for Non-Deterministic Linear Array Programs.

Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

PROTON: PRObes for Termination Or Not (Competition Contribution).

Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

On Dependent Variables in Reactive Synthesis.

S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Auditable Algorithms for Approximate Model Counting.

Kuldeep S. Meel, Supratik Chakraborty, S. Akshay

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Exact ASP Counting with Compact Encodings.

Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).

Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Learning Monitor Ensembles for Operational Design Domains.

Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Boolean Functional Synthesis: From Under the Hood of Solvers.

Supratik Chakraborty

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis.

S. Akshay, Supratik Chakraborty, Sahil Jain

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Functional synthesis via input-output separation.

Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi

Formal Methods Syst. Des., April, 2022

Full-program induction: verifying array programs sans loop invariants.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Int. J. Softw. Tools Technol. Transf., 2022

On Synthesizing Computable Skolem Functions for First Order Logic.

Supratik Chakraborty, S. Akshay

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices.

S. Akshay, Supratik Chakraborty, Debtanu Pal

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

Projected Model Counting: Beyond Independent Support.

Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Approximate Model Counting.

Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

Proceedings of the Handbook of Satisfiability - Second Edition, 2021

Boolean functional synthesis: hardness and practical algorithms.

S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah

Formal Methods Syst. Des., 2021

On synthesizing Skolem functions for first order logic formulae.

S. Akshay, Supratik Chakraborty

CoRR, 2021

A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.

Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Synthesizing Pareto-Optimal Interpretations for Black-Box Models.

Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia

Proceedings of the Formal Methods in Computer Aided Design, 2021

Diffy: Inductive Reasoning of Array Programs Using Difference Invariants.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Bidirectionality in flow-sensitive demand-driven analysis.

Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty

Sci. Comput. Program., 2020

On Uniformly Sampling Traces of a Transition System (Extended Version).

Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi

CoRR, 2020

Verifying Array Manipulating Programs with Full-Program Induction.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

On Uniformly Sampling Traces of a Transition System.

Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

2019

Highlights of software R&D in India.

Supratik Chakraborty, Vasudeva Varma

Commun. ACM, 2019

Knowledge Compilation for Boolean Functional Synthesis.

S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

On Symbolic Approaches for Computing the Matrix Permanent.

Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi

Proceedings of the Principles and Practice of Constraint Programming, 2019

Functional Significance Checking in Noisy Gene Regulatory Networks.

S. Akshay, Sukanya Basu, Supratik Chakraborty, Rangapriya Sundararajan, Prasanna Venkatraman

Proceedings of the Principles and Practice of Constraint Programming, 2019

On the Hardness of Probabilistic Inference Relaxations.

Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision.

Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty

CoRR, 2018

What's Hard About Boolean Functional Synthesis?

S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Symbolic trajectory evaluation for word-level verification: theory and implementation.

Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry

Formal Methods Syst. Des., 2017

Matching Multiplications in Bit-Vector Formulas.

Supratik Chakraborty, Ashutosh Gupta, Rahul Jain

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Towards Parallel Boolean Functional Synthesis.

S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Verifying Array Manipulating Programs by Tiling.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Proceedings of the Static Analysis - 24th International Symposium, 2017

On Petri Nets with Hierarchical Special Arcs.

S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

A layered algorithm for quantifier elimination from linear modular constraints.

Ajith K. John, Supratik Chakraborty

Formal Methods Syst. Des., 2016

A generalization of the Łoś-Tarski preservation theorem.

Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty

Ann. Pure Appl. Log., 2016

Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls.

Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

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

Proceedings of the Beyond NP, 2016

Approximate Probabilistic Inference via Word-Level Counting.

Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

On Parallel Scalable Uniform SAT Witness Generation.

Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

From Weighted to Unweighted Model Counting.

Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Skolem Functions for Factored Formulas.

Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Word-Level Symbolic Trajectory Evaluation.

Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures.

Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Quantifier Elimination for Linear Modular Constraints.

Ajith K. John, Supratik Chakraborty

Proceedings of the Mathematical Software - ICMS 2014, 2014

Balancing Scalability and Uniformity in SAT Witness Generator.

Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Distribution-Aware Sampling and Weighted Model Counting for SAT.

Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Generalizations of the Los-Tarski Preservation Theorem

Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty

CoRR, 2013

Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors.

Ajith K. John, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

A Scalable Approximate Model Counter.

Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

Proceedings of the Principles and Practice of Constraint Programming, 2013

A Scalable and Nearly Uniform Generator of SAT Witnesses.

Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Improving approximate reachability by dynamic interleavings of projections-based algorithms.

Seetha Jayasankar, Supratik Chakraborty

Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

Improved Upper and Lower Bounds for Büchi Disambiguation.

Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Preservation under Substructures modulo Bounded Cores.

Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty

Proceedings of the Logic, Language, Information and Computation, 2012

Reasoning about Heap Manipulating Programs using Automata Techniques.

Supratik Chakraborty

Proceedings of the Modern Applications of Automata Theory., 2012

2011

Bottom-up shape analysis using LISF.

Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori

ACM Trans. Program. Lang. Syst., 2011

Determinization of $\omega$-automata unified

Hrishikesh Karmarkar, Supratik Chakraborty

CoRR, 2011

Frontmatter, Table of Contents, Preface, Conference Organization, External Reviewers.

Supratik Chakraborty, Amit Kumar

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations.

Ajith K. John, Supratik Chakraborty

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Refining abstract interpretations.

Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani

Inf. Process. Lett., 2010

On Semantic Generalizations of the Bernays-Schönfinkel-Ramsey Class with Finite or Co-finite Spectra

Abhisekh Sankaran, Supratik Chakraborty

CoRR, 2010

Bounding Variance and Expectation of Longest Path Lengths in DAGs.

Jeff Edmonds, Supratik Chakraborty

Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010

2009

Bottom-Up Shape Analysis.

Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori

Proceedings of the Static Analysis, 16th International Symposium, 2009

On Minimal Odd Rankings for Büchi Complementation.

Hrishikesh Karmarkar, Supratik Chakraborty

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Efficient guided symbolic reachability using reachability expressions.

Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya

Int. J. Softw. Tools Technol. Transf., 2008

Automatically Refining Abstract Interpretations.

Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

A Scalable Symbolic Simulator for Verilog RTL.

Sasidhar Sunkari, Supratik Chakraborty, Vivekananda M. Vedula, Kailasnath Maneparambil

Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007

2006

Reasoning about synchronization in GALS systems.

Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma

Formal Methods Syst. Des., 2006

Interface Design for Rationally Clocked GALS Systems.

Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma, Girish Venkataramani, P. S. Thiagarajan

Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2006), 2006

2005

Bounded Validity Checking of Interval Duration Logic.

Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004

Evaluation of pausible clocking for interfacing high speed IP cores in GALS Framework.

Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

A Novel Technique Towards Eliminating the Global Clock in VLSI Circuits.

Gautam Hazari, Madhav P. Desai, Apoorv Gupta, Supratik Chakraborty

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

2002

Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract).

Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

Layout-Driven Timing Optimization by Generalized De Morgan Transform.

Supratik Chakraborty, Rajeev Murgai

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

Probabilistic Timing Analysis of Asynchronous Systems with Moments of Delay.

Rohan Angrish, Supratik Chakraborty

Proceedings of the 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 2002

2001

Complexity Of Minimum-Delay Gate Resizing.

Supratik Chakraborty, Rajeev Murgai

Proceedings of the 14th International Conference on VLSI Design (VLSI Design 2001), 2001

2000

A self-timed real-time sorting network.

Kenneth Y. Yun, Kevin W. James, Robert H. Fairlie-Cuninghame, Supratik Chakraborty, Rene L. Cruz

IEEE Trans. Very Large Scale Integr. Syst., 2000

1999

Timing analysis of asynchronous systems using time separation of events.

Supratik Chakraborty, Kenneth Y. Yun, David L. Dill

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

Min-max timing analysis and an application to asynchronous circuits.

Supratik Chakraborty, David I. Dill, Kenneth Y. Yun

Proc. IEEE, 1999

1998

Practical timing analysis of asynchronous circuits using time separation of events.

Supratik Chakraborty, Kenneth Y. Yun, David L. Dill

Proceedings of the IEEE 1998 Custom Integrated Circuits Conference, 1998

1997

Approximate algorithms for time separation of events.

Supratik Chakraborty, David L. Dill

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

Timing Analysis of Extended Burst-Mode Circuits.

Supratik Chakraborty, David L. Dill, Kun-Yung Chang, Kenneth Y. Yun

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

More Accurate Polynomial-Time Min-Max Timing Simulation.

Supratik Chakraborty, David L. Dill

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

1996

Theory and Application of Nongroup Cellular Automata for Synthesis of Easily Testable Finite State Machines.

Supratik Chakraborty, Dipanwita Roy Chowdhury, Parimal Pal Chaudhuri

IEEE Trans. Computers, 1996

1993

Delay Fault Test Generation with Cellular Automata.

Sukumar Nandi, Vamsi Boppana, Supratik Chakraborty, Parimal Pal Chaudhuri, Samir Roy

Proceedings of the Sixth International Conference on VLSI Design, 1993

Synthesis of Self-Checking Sequential Machines Using Cellular Automata.

Dipanwita Roy Chowdhury, Supratik Chakraborty, Parimal Pal Chaudhuri

Proceedings of the Sixth International Conference on VLSI Design, 1993

Cellular automata based synthesis of easily and fully testable FSMs.

Dipanwita Roy Chowdhury, Supratik Chakraborty, B. Vamsi, B. Pal Chaudhuri

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993