Supratik Chakraborty

Employment

• Indian Institute of Technology Bombay Professor
  2000 - Present
• Fujitsu Laboratories of America Member of Technical Staff
  1998 - 1999

Education

• Stanford University Ph.D.
  1995 - 1998
• Stanford University M.S.
  1993 - 1995
• Indian Institute of Technology Kharagpur B.Tech.
  1989 - 1993

Projects & Funding

Projects & funding information is unavailable.

Publications (92)

• Random Resampling of Training Data for Effective Verification Strategy Prediction
  2026 DOI: 10.1007/978-3-032-00828-2_9
  +Save
• Repairing Control Safety Violations via Scheduler Patch Synthesis
  2025 DOI: 10.1145/3716550.3722035
  +Save
• PROTON: PRObes for Termination Or Not (Competition Contribution)
  2024 DOI: 10.1007/978-3-031-57256-2_27
  +Save
• Tractable representations for Boolean functional synthesis
  Annals of Mathematics and Artificial Intelligence 2024 DOI: 10.1007/s10472-023-09907-5
  +Save
• Boolean Functional Synthesis: From Under the Hood of Solvers
  2023 DOI: 10.1007/978-3-031-26689-8_2
  +Save
• Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis
  2023 DOI: 10.1007/978-3-031-37706-8_19
  +Save
• VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution)
  2023 DOI: 10.1007/978-3-031-30820-8_41
  +Save
• On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices
  2022 DOI: 10.1007/978-3-031-10769-6_39
  +Save
• Boolean functional synthesis: hardness and practical algorithms
  Formal Methods in System Design 2021 DOI: 10.1007/s10703-020-00352-2
  +Save
• Diffy: Inductive Reasoning of Array Programs Using Difference Invariants
  2021 DOI: 10.1007/978-3-030-81688-9_42
  +Save