default search action

combined dblp search
author search
venue search
publication search

ask others

Zhiqiang Zuo 0002

> Home > Persons

Person information

affiliation: Nanjing University, China

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-17241
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-17241
Yiyu Zhang, Tianyi Liu, Yueyang Wang, Yun Qi, Kai Ji, Jian Tang, Xiaoliang Wang, Xuandong Li, Zhiqiang Zuo:
HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing. CoRR abs/2402.17241 (2024)
2023
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/iotj/SituZGZWLLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iotj/SituZGZWLLS23
Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, Jin Shi:
Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware. IEEE Internet Things J. 10(23): 20718-20734 (2023)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ZuoNZFKLSX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ZuoNZFKLSX23
Zhiqiang Zuo, Xintao Niu, Siyi Zhang, Lu Fang, Siau-Cheng Khoo, Shan Lu, Chengnian Sun, Guoqing Harry Xu:
Toward More Efficient Statistical Debugging with Abstraction Refinement. ACM Trans. Softw. Eng. Methodol. 32(2): 36:1-36:38 (2023)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangZBZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangZBZ23
Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao:
DStream: A Streaming-Based Highly Parallel IFDS Framework. ICSE 2023: 2488-2500
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ZhangLSCL023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ZhangLSCL023
Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo:
Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. ISSTA 2023: 816-828
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SunXZQW0W0LLPG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SunXZQW0W0LLPG23
Zewen Sun, Duanchen Xu, Yiyu Zhang, Yun Qi, Yueyang Wang, Zhiqiang Zuo, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo:
BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework. ESEC/SIGSOFT FSE 2023: 1431-1443
2022
[c17]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/osdi/David0SSY0XNG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/David0SSY0XNG22
Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu:
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. OSDI 2022: 751-767
2021
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/SituZGWLSL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/SituZGWLSL21
Lingyun Situ, Zhiqiang Zuo, Le Guan, Linzhang Wang, Xuandong Li, Jin Shi, Peng Liu:
Vulnerable Region-Aware Greybox Fuzzing. J. Comput. Sci. Technol. 36(5): 1212-1228 (2021)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/GuZJYWWLH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/GuZJYWWLH21
Rong Gu, Zhiqiang Zuo, Xi Jiang, Han Yin, Zhaokang Wang, Linzhang Wang, Xuandong Li, Yihua Huang:
Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation. IEEE Trans. Parallel Distributed Syst. 32(4): 867-883 (2021)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MahadewaZBBZFLD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MahadewaZBBZFLD21
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong:
Identifying privacy weaknesses from multi-party trigger-action integration platforms. ISSTA 2021: 2-15
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/0002ZPLLWLX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/0002ZPLLWLX21
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu:
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. PLDI 2021: 914-929
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/0002JWTWLX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/0002JWTWLX21
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu:
JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace. PLDI 2021: 1080-1094
2020
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/GuoCYW0LCW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/GuoCYW0LCW20
Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, Huibo Wang:
Exposing cache timing side-channel leaks through out-of-order symbolic execution. Proc. ACM Program. Lang. 4(OOPSLA): 147:1-147:32 (2020)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tocs/ZuoWHSZLDWLWX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/ZuoWHSZLDWLWX21
Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu:
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan. ACM Trans. Comput. Syst. 38(1-2): 4:1-4:39 (2020)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/hotnets/ZhangHGSLYZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotnets/ZhangHGSLYZ20
Peng Zhang, Yuhao Huang, Aaron Gember-Jacobson, Wenbo Shi, Xu Liu, Hongkun Yang, Zhiqiang Zuo:
Incremental Network Configuration Verification. HotNets 2020: 81-87
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GuoCLCWW020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GuoCLCWW020
Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo:
SpecuSym: speculative symbolic execution for cache timing leak detection. ICSE 2020: 1235-1247

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/0002TWPLWXWL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/0002TWPLWXWL19
Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li:
Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code. EuroSys 2019: 38:1-38:17
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/YangZSS00X19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/YangZSS00X19
Yibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu, Baowen Xu:
Hunting for bugs in code coverage tools via randomized differential testing. ICSE 2019: 488-498
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/0002GJWHWL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/0002GJWHWL19
Zhiqiang Zuo, Rong Gu, Xi Jiang, Zhaokang Wang, Yihua Huang, Linzhang Wang, Xuandong Li:
BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud. IPDPS 2019: 771-780
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/YangJ0WSLZX19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/YangJ0WSLZX19
Yibiao Yang, Yanyan Jiang, Zhiqiang Zuo, Yang Wang, Hao Sun, Hongmin Lu, Yuming Zhou, Baowen Xu:
Automatic Self-Validation for Code Coverage Profilers. ASE 2019: 79-90
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-00507
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-00507
Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo:
SpecuSym: Speculative Symbolic Execution for Cache Timing Leak Detection. CoRR abs/1911.00507 (2019)
2018
[c7]
- view
- export record
  dblp key:
  - conf/osdi/WangZTNX18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/WangZTNX18
Kai Wang, Zhiqiang Zuo, John Thorpe, Tien Quang Nguyen, Guoqing Harry Xu:
RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine. OSDI 2018: 763-782
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/CaiZZNXS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/CaiZZNXS18
Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su:
Calling-to-reference context translation via constraint-guided CFL-reachability. PLDI 2018: 196-210
2017
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/WangHZXS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/WangHZXS17
Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing Xu, Ardalan Amiri Sani:
Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code. ASPLOS 2017: 389-404
2016
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ZuoFKXL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ZuoFKXL16
Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu:
Low-overhead and fully automated statistical debugging with abstraction refinement. OOPSLA 2016: 881-896
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ZuoKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ZuoKS14
Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun:
Efficient predicated bug signature mining via hierarchical instrumentation. ISSTA 2014: 215-224
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Zuo14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Zuo14
Zhiqiang Zuo:
Efficient statistical debugging via hierarchical instrumentation. ISSTA 2014: 457-460
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ZuoK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ZuoK13
Zhiqiang Zuo, Siau-Cheng Khoo:
Mining Dataflow Sensitive Specifications. ICFEM 2013: 36-52

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.