Validating JIT Compilers via Compilation Space Exploration.
Cong LiYanyan JiangChang XuZhendong SuPublished in: SOSP (2023)
Keyphrases
- space exploration
- code generation
- instruction scheduling
- programming language
- hardware and software
- computer architecture
- scheduling problem
- obstacle avoidance
- general purpose
- application development
- programs written
- transactional memory
- massively parallel
- constraint programming
- low cost
- modeling language
- path planning
- computer systems
- software development
- video sequences
- artificial intelligence
- real time