C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automated bug detection for pointers and memory accesses in High-Level Synthesis compilers.
Pietro Fezzardi
Fabrizio Ferrandi
Published in:
FPL (2016)
Keyphrases
</>
high level synthesis
object detection
programming language
hardware and software
artificial intelligence
detection algorithm
automated analysis
case study
software systems
main memory
source code
memory management