activity
20222026
most citedEfficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees

10 citations · 18 across the 33 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2024

Dataflow-Based Optimization for Quantum Intermediate Representation Programs

Junjie Luo, Haoyu Zhang, Jianjun Zhao

This paper proposes QDFO, a dataflow-based optimization approach to Microsoft QIR. QDFO consists of two main functions: one is to preprocess the QIR code so that the LLVM optimizer…