Qirun Zhang

39 papers A* 13A 2B 2Journal 16Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
CRYPTONITE: Scalable Accelerator Design for Cryptographic Primitives and Algorithms.
CoRR
Karthikeya Sharma Maheswaran, Camille Bossut, Andy Wanna, Qirun Zhang, Cong Hao
2025 — conf
Cryptonite: Scalable Accelerator Design for Cryptographic Primitives and Algorithms.
ASAP
Karthikeya Sharma Maheswaran, Camille Bossut, Andy Wanna, Qirun Zhang, Cong Hao
2025 J jnl
Fast Constraint Synthesis for C++ Function Templates.
Proc. ACM Program. Lang.
Shuo Ding, Qirun Zhang
2025 J jnl
Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis.
Proc. ACM Program. Lang.
Shan Huang, Jingjing Liang, Ting Su, Qirun Zhang
2025 J jnl
Trajectory Densification and Depth from Perspective-based Blur.
CoRR
Tianchen Qiu, Qirun Zhang, Jiajian He, Zhengyue Zhuge, Jiahui Xu, Yueting Chen
2024 J jnl
A Note on Dynamic Bidirected Dyck-Reachability with Cycles.
CoRR
Qirun Zhang
2024 J jnl
Context-Free Language Reachability via Skewed Tabulation.
Proc. ACM Program. Lang.
Yuxiang Lei, Camille Bossut, Yulei Sui, Qirun Zhang
2024 J jnl
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories.
Proc. ACM Program. Lang.
Benjamin Mikek, Qirun Zhang
2024 — conf
The Normalization Barrier Revisited.
JENSFEST
Shuo Ding, Qirun Zhang
2023 B conf
Mutual Refinements of Context-Free Language Reachability.
SAS
Shuo Ding, Qirun Zhang
2023 J jnl
Recursive State Machine Guided Graph Folding for Context-Free Language Reachability.
Proc. ACM Program. Lang.
Yuxiang Lei, Yulei Sui, Shin Hwei Tan, Qirun Zhang
2023 J jnl
Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming.
Proc. ACM Program. Lang.
Yuanbo Li, Qirun Zhang, Thomas W. Reps
2023 — conf
Speeding up SMT Solving via Compiler Optimization.
ESEC/SIGSOFT FSE
Benjamin Mikek, Qirun Zhang
2023 J jnl
Witnessability of Undecidable Problems.
Proc. ACM Program. Lang.
Shuo Ding, Qirun Zhang
2022 J jnl
Efficient algorithms for dynamic bidirected Dyck-reachability.
Proc. ACM Program. Lang.
Yuanbo Li, Kris Satya, Qirun Zhang
2022 J jnl
Fast Graph Simplification for Interleaved-Dyck Reachability.
ACM Trans. Program. Lang. Syst.
Yuanbo Li, Qirun Zhang, Thomas W. Reps
2022 A* conf
Static Inference Meets Deep learning: A Hybrid Type Inference Approach for Python.
ICSE
Yun Peng, Cuiyun Gao, Zongjie Li, Bowei Gao, David Lo, Qirun Zhang, Michael R. Lyu
2022 A* conf
Studying and Understanding the Tradeoffs Between Generality and Reduction in Software Debloating.
ASE
Qi Xin, Qirun Zhang, Alessandro Orso
2022 J jnl
Taming transitive redundancy for context-free language reachability.
Proc. ACM Program. Lang.
Yuxiang Lei, Yulei Sui, Shuo Ding, Qirun Zhang
2021 J jnl
On the complexity of bidirected interleaved Dyck-reachability.
Proc. ACM Program. Lang.
Yuanbo Li, Qirun Zhang, Thomas W. Reps
2020 J jnl
Conditional Lower Bound for Inclusion-Based Points-to Analysis.
CoRR
Qirun Zhang
2020 A* conf
Debug information validation for optimized code.
PLDI
Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano
2020 A* conf
Fast graph simplification for interleaved Dyck-reachability.
PLDI
Yuanbo Li, Qirun Zhang, Thomas W. Reps
2020 — conf
Program debloating via stochastic optimization.
ICSE (NIER)
Qi Xin, Myeongsoo Kim, Qirun Zhang, Alessandro Orso
2020 A* conf
Subdomain-Based Generality-Aware Debloating.
ASE
Qi Xin, Myeongsoo Kim, Qirun Zhang, Alessandro Orso
2019 A* conf
Practical GUI testing of Android applications via model abstraction and refinement.
ICSE
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su
2018 A* conf
Calling-to-reference context translation via constraint-guided CFL-reachability.
PLDI
Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su
2018 A* conf
Perses: syntax-guided program reduction.
ICSE
Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su
2017 A* conf
Context-sensitive data-dependence analysis via linear conjunctive language reachability.
POPL
Qirun Zhang, Zhendong Su
2017 A* conf
Skeletal program enumeration for rigorous compiler testing.
PLDI
Qirun Zhang, Chengnian Sun, Zhendong Su
2016 J jnl
Skeletal Program Enumeration for Rigorous Compiler Testing.
CoRR
Qirun Zhang, Chengnian Sun, Zhendong Su
2016 A conf
Toward understanding compiler bugs in GCC and LLVM.
ISSTA
Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su
2014 A conf
Efficient subcubic alias analysis for C.
OOPSLA
Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su
2014 A* conf
Persistent pointer information.
PLDI
Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang
2013 A* conf
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis.
PLDI
Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su
2013 — —
Scaling CFL-reachability-based alias analysis: theory and practice.
Qirun Zhang
2011 — conf
Cross-library API recommendation using web search engines.
SIGSOFT FSE
Wujie Zheng, Qirun Zhang, Michael R. Lyu
2011 B conf
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity.
FASE
Qirun Zhang, Wujie Zheng, Michael R. Lyu
2010 A* conf
Random unit-test generation with MUT-aware sequence recommendation.
ASE
Wujie Zheng, Qirun Zhang, Michael R. Lyu, Tao Xie