• Sign in
  • Sign up
conf.researchr.org / Supratik Chakraborty
  • 17th Innovations in Software Engineering Conference (ISEC 2024) profile
  • ICSME 2024 profile
  • POPL 2016 profile
  • POPL 2017 profile
Supratik Chakraborty

Registered user since Sat 17 Dec 2016

Name:Supratik Chakraborty
Country:India
Affiliation:IIT Bombay
Personal website: http://www.cse.iitb.ac.in/supratik/
Research interests:Constrained sampling and counting, formal methods, program analysis, systems biology

Contributions

2024

ICSME

  • Author of Learning Strategies using Boolean Program Metrics to Verify Industrial Code within the Industry Track-track

ISEC

  • Area Chair (Reliable Software) in Program Committee within the Research Papers-track

2017

VMCAI

  • Author of Matching multiplications in Bit-Vector formulas within the VMCAI-track

2016

POPL

  • ERC member in External Reviewing Committee within the Research Papers-track
  • ERC member in External Reviewing Committee
Share
xFri 13 Jun 05:30
using conf.researchr.org (v1.69.0)
Support page
Sign Up