Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

15 results for Xiangyu Zhang

CPR: Cross platform binary code reuse via platform independent trace program
- - Yonghwi Kwon
  - Weihang Wang
  - et al.
- 2017
- ISSTA 2017
J-force: Forced execution on JavaScript
- - Kyungtae Kim
  - I. Luk Kim
  - et al.
- 2017
- WWW 2017
ARROW: Automated repair of races on client-side web pages
- - Weihang Wang
  - Yunhui Zheng
  - et al.
- 2016
- ISSTA 2016
Z3str2: an efficient solver for strings, regular expressions, and length constraints
- - Yunhui Zheng
  - Vijay Ganesh
  - et al.
- 2016
- Formal Methods in System Design
GEMINI: Guest-transparent honey files via hypervisor-level access redirection
- - Zhongshu Gu
  - Brendan Saltaformaggio
  - et al.
- 2018
- Computers and Security