• Sign in
  • Sign up
conf.researchr.org / Ashutosh Gupta
  • 17th Innovations in Software Engineering Conference (ISEC 2024) profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2020 profile

Not registered as user

Name:Ashutosh Gupta

Contributions

2024

ISEC

  • Committee Member in Program Committee within the Research Papers-track
  • Committee Member in Program Committee within the Doctoral Symposium-track

2020

VMCAI

  • PC Member in Program Committee within the VMCAI 2020-track

2017

VMCAI

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

2016

VMCAI

  • Author of Abstraction-driven Concolic Testing within the VMCAI-track
Share
xFri 20 Jun 09:19
using conf.researchr.org (v1.69.0)
Support page
Sign Up