Supratik Chakraborty

144 papers A* 15A 14B 18C 2Misc 6Journal 58Unranked 27
YearRankTypeTitle / Venue / Authors
2026 A* conf
On Robustness of Linear Classifiers to Targeted Data Poisoning.
AAAI
Nakshatra Gupta, Sumanth Prabhu S, Supratik Chakraborty, R. Venkatesh
2025 J jnl
Counting Answer Sets of Disjunctive Answer Set Programs.
CoRR
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
2025 J jnl
Counting Answer Sets of Disjunctive Answer Set Programs.
Theory Pract. Log. Program.
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
2025 A* conf
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic.
IJCAI
S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic
2025 B conf
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models.
ATVA
Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia
2025 J jnl
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models.
CoRR
Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia
2025 J jnl
On Robustness of Linear Classifiers to Targeted Data Poisoning.
CoRR
Nakshatra Gupta, Sumanth Prabhu, Supratik Chakraborty, R. Venkatesh
2025 A* conf
Presburger Functional Synthesis: Complexity and Tractable Normal Forms.
KR
S. Akshay, A. R. Balasubramanian, Supratik Chakraborty, Georg Zetzsche
2025 J jnl
Presburger Functional Synthesis: Complexity and Tractable Normal Forms.
CoRR
S. Akshay, A. R. Balasubramanian, Supratik Chakraborty, Georg Zetzsche
2025 B conf
Random Resampling of Training Data for Effective Verification Strategy Prediction.
ICECCS
Bharti Chimdyalwar, Priyanka Darke, R. Venkatesh, Supratik Chakraborty
2025 — conf
Repairing Control Safety Violations via Scheduler Patch Synthesis.
ICCPS
Anand Yeolekar, Supratik Chakraborty, R. Venkatesh, Samarjit Chakraborty
2025 Misc conf
The Parameterization Gap: Backtracking Multimodal NL2PSQL.
ADC
Nakshatra Gupta, Advaita Datar, Pramod Wankhade, Kaushik Joshi, Supratik Chakraborty
2024 A ed.
27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024, Pune, India, August 21-24, 2024
SAT
Supratik Chakraborty, Jie-Hong Roland Jiang
2024 J jnl
A shallow dive into the depths of non-termination checking for C programs.
CoRR
Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty, Samarjit Chakraborty
2024 A* conf
Auditable Algorithms for Approximate Model Counting.
AAAI
Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
2024 B conf
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.
LPAR
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
2024 A* conf
Exact ASP Counting with Compact Encodings.
AAAI
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
2024 A conf
Learning Strategies Using Boolean Program Metrics to Verify Industrial Code.
ICSME
Priyanka Darke, Bharti Chimdyalwar, Manoj Alladawar, Sahil Sulakhe, R. Venkatesh, Supratik Chakraborty
2024 J jnl
Network Inversion of Binarised Neural Nets.
CoRR
Pirzada Suhail, Supratik Chakraborty, Amit Sethi
2024 — conf
On Dependent Variables in Reactive Synthesis.
TACAS (1)
S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried
2024 J jnl
On Dependent Variables in Reactive Synthesis.
CoRR
S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried
2024 — conf
PROTON: PRObes for Termination Or Not (Competition Contribution).
TACAS (3)
Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty
2024 — conf
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic.
FM (1)
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
2024 B conf
The VeriAbs Tool Suite for Code Verification.
ATVA
Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Supratik Chakraborty
2024 J jnl
Tractable representations for Boolean functional synthesis.
Ann. Math. Artif. Intell.
S. Akshay, Supratik Chakraborty, Shetal Shah
2024 — conf
Weakest Precondition Inference for Non-Deterministic Linear Array Programs.
TACAS (2)
Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich
2023 J jnl
Auditable Algorithms for Approximate Model Counting.
CoRR
Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
2023 — conf
Boolean Functional Synthesis: From Under the Hood of Solvers.
ICLA
Supratik Chakraborty
2023 — conf
Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis.
CAV (1)
S. Akshay, Supratik Chakraborty, Sahil Jain
2023 J jnl
Exact ASP Counting with Compact Encodings.
CoRR
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
2023 B conf
Learning Monitor Ensembles for Operational Design Domains.
RV
Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia
2023 — conf
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).
TACAS (2)
Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty
2022 J jnl
Full-Program Induction: Verifying Array Programs sans Loop Invariants.
CoRR
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2022 J jnl
Full-program induction: verifying array programs sans loop invariants.
Int. J. Softw. Tools Technol. Transf.
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2022 J jnl
Functional synthesis via input-output separation.
Formal Methods Syst. Des.
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
2022 A conf
On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices.
IJCAR
S. Akshay, Supratik Chakraborty, Debtanu Pal
2022 B conf
On Synthesizing Computable Skolem Functions for First Order Logic.
MFCS
Supratik Chakraborty, S. Akshay
2022 J jnl
On eventual non-negativity and positivity for the weighted sum of powers of matrices.
CoRR
S. Akshay, Supratik Chakraborty, Debtanu Pal
2022 B conf
Projected Model Counting: Beyond Independent Support.
ATVA
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
2021 A* conf
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.
LICS
Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty
2021 J jnl
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.
CoRR
Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty
2021 — ch.
Approximate Model Counting.
Handbook of Satisfiability
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2021 J jnl
Boolean functional synthesis: hardness and practical algorithms.
Formal Methods Syst. Des.
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
2021 — conf
Diffy: Inductive Reasoning of Array Programs Using Difference Invariants.
CAV (2)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2021 J jnl
Diffy: Inductive Reasoning of Array Programs using Difference Invariants.
CoRR
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2021 J jnl
On synthesizing Skolem functions for first order logic formulae.
CoRR
S. Akshay, Supratik Chakraborty
2021 J jnl
Projected Model Counting: Beyond Independent Support.
CoRR
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
2021 B conf
Synthesizing Pareto-Optimal Interpretations for Black-Box Models.
FMCAD
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
2021 J jnl
Synthesizing Pareto-Optimal Interpretations for Black-Box Models.
CoRR
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
2020 J jnl
Bidirectionality in flow-sensitive demand-driven analysis.
Sci. Comput. Program.
Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty
2020 J jnl
On Uniformly Sampling Traces of a Transition System (Extended Version).
CoRR
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
2020 A conf
On Uniformly Sampling Traces of a Transition System.
ICCAD
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
2020 — conf
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).
TACAS (2)
Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh
2020 — ed.
Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers
VSTTE
Supratik Chakraborty, Jorge A. Navas
2020 — conf
Verifying Array Manipulating Programs with Full-Program Induction.
TACAS (1)
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2020 J jnl
Verifying Array Manipulating Programs with Full-Program Induction.
CoRR
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2019 A conf
Functional Significance Checking in Noisy Gene Regulatory Networks.
CP
S. Akshay, Sukanya Basu, Supratik Chakraborty, Rangapriya Sundararajan, Prasanna Venkatraman
2019 J jnl
Highlights of software R&D in India.
Commun. ACM
Supratik Chakraborty, Vasudeva Varma
2019 B conf
Knowledge Compilation for Boolean Functional Synthesis.
FMCAD
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
2019 J jnl
Knowledge Compilation for Boolean Functional Synthesis.
CoRR
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
2019 A conf
On Symbolic Approaches for Computing the Matrix Permanent.
CP
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
2019 J jnl
On Symbolic Approaches for Computing the Matrix Permanent.
CoRR
Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
2019 A* conf
On the Hardness of Probabilistic Inference Relaxations.
AAAI
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2018 J jnl
Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision.
CoRR
Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty
2018 B conf
Functional Synthesis via Input-Output Separation.
FMCAD
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
2018 J jnl
Functional Synthesis via Input-Output Separation.
CoRR
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
2018 — conf
What's Hard About Boolean Functional Synthesis?
CAV (1)
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
2018 J jnl
What's hard about Boolean Functional Synthesis.
CoRR
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
2017 B conf
Matching Multiplications in Bit-Vector Formulas.
VMCAI
Supratik Chakraborty, Ashutosh Gupta, Rahul Jain
2017 B conf
On Petri Nets with Hierarchical Special Arcs.
CONCUR
S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep
2017 J jnl
On Petri Nets with Hierarchical Special Arcs.
CoRR
S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep
2017 J jnl
Symbolic trajectory evaluation for word-level verification: theory and implementation.
Formal Methods Syst. Des.
Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry
2017 — conf
Towards Parallel Boolean Functional Synthesis.
TACAS (1)
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
2017 J jnl
Towards Parallel Boolean Functional Synthesis.
CoRR
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
2017 B conf
Verifying Array Manipulating Programs by Tiling.
SAS
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2017 J jnl
Verifying Array Manipulating Programs by Tiling.
CoRR
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
2016 J jnl
A generalization of the Łoś-Tarski preservation theorem.
Ann. Pure Appl. Log.
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
2016 J jnl
A layered algorithm for quantifier elimination from linear modular constraints.
Formal Methods Syst. Des.
Ajith K. John, Supratik Chakraborty
2016 A* conf
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls.
IJCAI
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2016 A* conf
Approximate Probabilistic Inference via Word-Level Counting.
AAAI
Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi
2016 — conf
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving.
AAAI Workshop: Beyond NP
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
2016 J jnl
Matching Multiplications in Bit-Vector Formulas.
CoRR
Supratik Chakraborty, Ashutosh Gupta, Rahul Jain
2015 J jnl
Approximate Probabilistic Inference via Word-Level Counting.
CoRR
Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi
2015 J jnl
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving.
CoRR
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
2015 A* conf
From Weighted to Unweighted Model Counting.
IJCAI
Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi
2015 A conf
On Parallel Scalable Uniform SAT Witness Generation.
TACAS
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
2015 B conf
Skolem Functions for Factored Formulas.
FMCAD
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
2015 J jnl
Skolem Functions for Factored Formulas.
CoRR
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
2015 — conf
Word-Level Symbolic Trajectory Evaluation.
CAV (2)
Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry
2015 J jnl
Word-level Symbolic Trajectory Evaluation.
CoRR
Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry
2014 — conf
A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures.
MFCS (1)
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
2014 J jnl
A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures.
CoRR
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
2014 A* conf
Balancing Scalability and Uniformity in SAT Witness Generator.
DAC
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2014 J jnl
Balancing Scalability and Uniformity in SAT Witness Generator.
CoRR
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2014 A* conf
Distribution-Aware Sampling and Weighted Model Counting for SAT.
AAAI
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
2014 J jnl
Distribution-Aware Sampling and Weighted Model Counting for SAT.
CoRR
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi
2014 — conf
Quantifier Elimination for Linear Modular Constraints.
ICMS
Ajith K. John, Supratik Chakraborty
2013 A conf
A Scalable Approximate Model Counter.
CP
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2013 J jnl
A Scalable Approximate Model Counter.
CoRR
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2013 J jnl
A Scalable and Nearly Uniform Generator of SAT Witnesses
CoRR
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2013 A* conf
A Scalable and Nearly Uniform Generator of SAT Witnesses.
CAV
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
2013 A conf
Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors.
TACAS
Ajith K. John, Supratik Chakraborty
2013 J jnl
Generalizations of the Los-Tarski Preservation Theorem
CoRR
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
2013 B conf
Improved Upper and Lower Bounds for Büchi Disambiguation.
ATVA
Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty
2013 — conf
Improving approximate reachability by dynamic interleavings of projections-based algorithms.
CACSD
Seetha Jayasankar, Supratik Chakraborty
2012 B ed.
Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
ATVA
Supratik Chakraborty, Madhavan Mukund
2012 J jnl
Preservation under Substructures modulo Bounded Cores
CoRR
Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty
2012 C conf
Preservation under Substructures modulo Bounded Cores.
WoLLIC
Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty
2012 — ch.
Reasoning about Heap Manipulating Programs using Automata Techniques.
Modern Applications of Automata Theory
Supratik Chakraborty
2011 A* conf
A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations.
CAV
Ajith K. John, Supratik Chakraborty
2011 J jnl
Bottom-up shape analysis using LISF.
ACM Trans. Program. Lang. Syst.
Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori
2011 J jnl
Determinization of $\omega$-automata unified
CoRR
Hrishikesh Karmarkar, Supratik Chakraborty
2011 — conf
Frontmatter, Table of Contents, Preface, Conference Organization, External Reviewers.
FSTTCS
Supratik Chakraborty, Amit Kumar
2011 — ed.
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, Mumbai, India, December 12-14, 2011
FSTTCS
Supratik Chakraborty, Amit Kumar
2010 A* conf
Bounding Variance and Expectation of Longest Path Lengths in DAGs.
SODA
Jeff Edmonds, Supratik Chakraborty
2010 J jnl
On Semantic Generalizations of the Bernays-Schönfinkel-Ramsey Class with Finite or Co-finite Spectra
CoRR
Abhisekh Sankaran, Supratik Chakraborty
2010 J jnl
Refining abstract interpretations.
Inf. Process. Lett.
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani
2009 B conf
Bottom-Up Shape Analysis.
SAS
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori
2009 B conf
On Minimal Odd Rankings for Büchi Complementation.
ATVA
Hrishikesh Karmarkar, Supratik Chakraborty
2008 A conf
Automatically Refining Abstract Interpretations.
TACAS
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani
2008 J jnl
Efficient guided symbolic reachability using reachability expressions.
Int. J. Softw. Tools Technol. Transf.
Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya
2007 — conf
A Scalable Symbolic Simulator for Verilog RTL.
MTV
Sasidhar Sunkari, Supratik Chakraborty, Vivekananda M. Vedula, Kailasnath Maneparambil
2006 A conf
Efficient Guided Symbolic Reachability Using Reachability Expressions.
TACAS
Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya
2006 — conf
Interface Design for Rationally Clocked GALS Systems.
ASYNC
Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma, Girish Venkataramani, P. S. Thiagarajan
2006 J jnl
Reasoning about synchronization in GALS systems.
Formal Methods Syst. Des.
Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma
2005 A conf
Bounded Validity Checking of Interval Duration Logic.
TACAS
Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty
2004 Misc conf
A Novel Technique Towards Eliminating the Global Clock in VLSI Circuits.
VLSI Design
Gautam Hazari, Madhav P. Desai, Apoorv Gupta, Supratik Chakraborty
2004 Misc conf
Evaluation of pausible clocking for interfacing high speed IP cores in GALS Framework.
VLSI Design
Joycee Mekie, Supratik Chakraborty, Dinesh K. Sharma
2002 — conf
Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract).
ASP-DAC/VLSI Design
Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan
2002 — conf
Layout-Driven Timing Optimization by Generalized De Morgan Transform.
ASP-DAC/VLSI Design
Supratik Chakraborty, Rajeev Murgai
2002 — conf
Probabilistic Timing Analysis of Asynchronous Systems with Moments of Delay.
ASYNC
Rohan Angrish, Supratik Chakraborty
2001 Misc conf
Complexity Of Minimum-Delay Gate Resizing.
VLSI Design
Supratik Chakraborty, Rajeev Murgai
2000 J jnl
A self-timed real-time sorting network.
IEEE Trans. Very Large Scale Integr. Syst.
Kenneth Y. Yun, Kevin W. James, Robert H. Fairlie-Cuninghame, Supratik Chakraborty, Rene L. Cruz
1999 J jnl
Min-max timing analysis and an application to asynchronous circuits.
Proc. IEEE
Supratik Chakraborty, David I. Dill, Kenneth Y. Yun
1999 J jnl
Timing analysis of asynchronous systems using time separation of events.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Supratik Chakraborty, Kenneth Y. Yun, David L. Dill
1998 C conf
A self-timed real-time sorting network.
ICCD
Kenneth Y. Yun, Supratik Chakraborty, Kevin W. James, Robert H. Fairlie-Cuninghame, Rene L. Cruz
1998 — conf
Practical timing analysis of asynchronous circuits using time separation of events.
CICC
Supratik Chakraborty, Kenneth Y. Yun, David L. Dill
1997 A conf
Approximate algorithms for time separation of events.
ICCAD
Supratik Chakraborty, David L. Dill
1997 — conf
More Accurate Polynomial-Time Min-Max Timing Simulation.
ASYNC
Supratik Chakraborty, David L. Dill
1997 — conf
Timing Analysis of Extended Burst-Mode Circuits.
ASYNC
Supratik Chakraborty, David L. Dill, Kun-Yung Chang, Kenneth Y. Yun
1996 J jnl
Theory and Application of Nongroup Cellular Automata for Synthesis of Easily Testable Finite State Machines.
IEEE Trans. Computers
Supratik Chakraborty, Dipanwita Roy Chowdhury, Parimal Pal Chaudhuri
1993 A conf
Cellular automata based synthesis of easily and fully testable FSMs.
ICCAD
Dipanwita Roy Chowdhury, Supratik Chakraborty, B. Vamsi, B. Pal Chaudhuri
1993 Misc conf
Delay Fault Test Generation with Cellular Automata.
VLSI Design
Sukumar Nandi, Vamsi Boppana, Supratik Chakraborty, Parimal Pal Chaudhuri, Samir Roy
1993 Misc conf
Synthesis of Self-Checking Sequential Machines Using Cellular Automata.
VLSI Design
Dipanwita Roy Chowdhury, Supratik Chakraborty, Parimal Pal Chaudhuri