Login / Signup
Pranav Kant
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Database Machine
Graph Transformation
Pruning Algorithms
Control Flow
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Manasij Mukherjee
,
Pranav Kant
,
Zhengyang Liu
,
John Regehr
Dataflow-based pruning for speeding up superoptimization.
Proc. ACM Program. Lang.
4 (OOPSLA) (2020)