Login / Signup
Era Jain
ORCID
Publication Activity (10 Years)
Years Active: 2013-2016
Publications (10 Years): 1
Top Topics
Hardware Designs
Computer Programs
Dynamic Analysis
Symbolic Execution
Top Venues
APSEC (1)
HiPC
</>
Publications
</>
Era Jain
,
Subhajit Roy
Phase Directed Compiler Optimizations.
HiPC
(2016)
Aditya Desai
,
Era Jain
,
Subhajit Roy
Facilitating Verification in Program Loops by Identification of Static Iteration Patterns.
APSEC (1)
(2013)