SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories von Mikek, Benjamin, Zhang, Qirun

Volltext

Witnessability of Undecidable Problems von Ding, Shuo, Zhang, Qirun

Volltext

Fast Graph Simplification for Interleaved-Dyck Reachability von Li, Yuanbo, Zhang, Qirun, Reps, Thomas

Volltext

On the complexity of bidirected interleaved Dyck-reachability von Li, Yuanbo, Zhang, Qirun, Reps, Thomas

Volltext

Efficient algorithms for dynamic bidirected Dyck-reachability von Li, Yuanbo, Satya, Kris, Zhang, Qirun

Volltext

Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming von Li, Yuanbo, Zhang, Qirun, Reps, Thomas

Volltext

Mutual Refinements of Context-Free Language Reachability von Ding, Shuo, Zhang, Qirun

Volltext

Context-Free Language Reachability via Skewed Tabulation von Lei, Yuxiang, Bossut, Camille, Sui, Yulei, Zhang, Qirun

Volltext

Recursive State Machine Guided Graph Folding for Context-Free Language Reachability von Lei, Yuxiang, Sui, Yulei, Tan, Shin Hwei, Zhang, Qirun

Volltext

Taming transitive redundancy for context-free language reachability von Lei, Yuxiang, Sui, Yulei, Ding, Shuo, Zhang, Qirun

Volltext

A Note on Dynamic Bidirected Dyck-Reachability with Cycles von Zhang, Qirun

Volltext bestellen

Conditional Lower Bound for Inclusion-Based Points-to Analysis von Zhang, Qirun

Volltext bestellen

Context-sensitive data-dependence analysis via linear conjunctive language reachability von Zhang, Qirun, Su, Zhendong

Volltext

Conditional Lower Bound for Inclusion-Based Points-to Analysis von Zhang, Qirun

Volltext

Fast algorithms for Dyck-CFL-reachability with applications to alias analysis von Zhang, Qirun, Lyu, Michael R., Yuan, Hao, Su, Zhendong

Volltext

Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python von Peng, Yun, Gao, Cuiyun, Li, Zongjie, Gao, Bowei, Lo, David, Zhang, Qirun, Lyu, Michael

Volltext

Flow-Augmented Call Graph: A New Foundation for Taming API Complexity von Zhang, Qirun, Zheng, Wujie, Lyu, Michael R.

Volltext

Efficient subcubic alias analysis for C von Zhang, Qirun, Xiao, Xiao, Zhang, Charles, Yuan, Hao, Su, Zhendong

Volltext

Skeletal program enumeration for rigorous compiler testing von Zhang, Qirun, Sun, Chengnian, Su, Zhendong

Volltext

Skeletal Program Enumeration for Rigorous Compiler Testing von Zhang, Qirun, Sun, Chengnian, Su, Zhendong

Volltext bestellen