Zhiqiang Zuo

According to our database1, Zhiqiang Zuo authored at least 15 papers between 2013 and 2021.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation.
IEEE Trans. Parallel Distributed Syst., 2021

Exposing cache timing side-channel leaks through out-of-order symbolic execution.
Proc. ACM Program. Lang., 2020

SpecuSym: speculative symbolic execution for cache timing leak detection.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Incremental Network Configuration Verification.
Proceedings of the HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, 2020

Automatic Self-Validation for Code Coverage Profilers.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

BigSpa: An Efficient Interprocedural Static Analysis Engine in the Cloud.
Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019

Hunting for bugs in code coverage tools via randomized differential testing.
Proceedings of the 41st International Conference on Software Engineering, 2019

Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

Calling-to-reference context translation via constraint-guided CFL-reachability.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code.
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

Low-overhead and fully automated statistical debugging with abstraction refinement.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Efficient predicated bug signature mining via hierarchical instrumentation.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Efficient statistical debugging via hierarchical instrumentation.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

Mining Dataflow Sensitive Specifications.
Proceedings of the Formal Methods and Software Engineering, 2013