Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ashutosh Gupta
conf.researchr.org general profile
17th Innovations in Software Engineering Conference (ISEC 2024) profile
POPL 2016 profile
POPL 2017 profile
POPL 2020 profile
Not registered as user yet
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
x
Wed 14 Aug 21:43