56 citations · 61 across the 6 of their papers we have counts for
6 papers
Trajectory Densification and Depth from Perspective-based Blur
Tianchen Qiu, Qirun Zhang, Jiajian He +3
In the absence of a mechanical stabilizer, the camera undergoes inevitable rotational dynamics during capturing, which induces perspective-based blur especially under long-exposure…
CRYPTONITE: Scalable Accelerator Design for Cryptographic Primitives and Algorithms
Karthikeya Sharma Maheswaran, Camille Bossut, Andy Wanna +2
Cryptographic primitives, consisting of repetitive operations with different inputs, are typically implemented using straight-line C code due to traditional execution on CPUs. Comp…
A Note on Dynamic Bidirected Dyck-Reachability with Cycles
Qirun Zhang
Recently, Li et al. [2022] presented a dynamic Dyck-reachability algorithm for bidirected graphs. The basic idea is based on updating edge weights in a data structure called the me…
Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python
Yun Peng, Cuiyun Gao, Zongjie Li +4
Type inference for dynamic programming languages such as Python is an important yet challenging task. Static type inference techniques can precisely infer variables with enough sta…
Conditional Lower Bound for Inclusion-Based Points-to Analysis
Qirun Zhang
Inclusion-based (i.e., Andersen-style) points-to analysis is a fundamental static analysis problem. The seminal work of Andersen gave a worst-case cubic time points-to ana…
Skeletal Program Enumeration for Rigorous Compiler Testing
Qirun Zhang, Chengnian Sun, Zhendong Su
A program can be viewed as a syntactic structure P (syntactic skeleton) parameterized by a collection of the identifiers V (variable names). This paper introduces the skeletal prog…