Chrome Extension
WeChat Mini Program
Use on ChatGLM

Dataflow-based Pruning for Speeding Up Superoptimization

Manasij Mukherjee, Pranav Kant,Zhengyang Liu,John Regehr

Proceedings of the ACM on Programming Languages(2020)

Cited 9|Views24
Key words
program synthesis,abstract interpretation,superoptimization,pruning
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined