Ronghui Gu
发表
Suman Jana,
Gabriel Ryan,
Justin Wong,
2019,
ICLR.
Ronghui Gu,
Haibo Chen,
Dong Du,
2019,
SOSP.
Zhong Shao,
Ronghui Gu,
Hao Chen,
2016,
Journal of Automated Reasoning.
Zhong Shao,
Ronghui Gu,
Hao Chen,
2017,
Journal of Automated Reasoning.
Zhong Shao,
Ronghui Gu,
Vilhelm Sjöberg,
2019,
Commun. ACM.
Zhong Shao,
Ronghui Gu,
Vilhelm Sjöberg,
2017,
APLAS.
Zhong Shao,
Man-Ki Yoon,
Ronghui Gu,
2019,
Proc. ACM Program. Lang..
Zhong Shao,
Ronghui Gu,
Hao Chen,
2016,
OSDI.
Junfeng Yang,
Ronghui Gu,
Xinhao Yuan,
2018,
CAV.
Frederic T. Chong,
Andrew W. Cross,
Ronghui Gu,
2019,
ArXiv.
Zhong Shao,
Tahina Ramananandro,
Ronghui Gu,
2018,
PLDI.
Yu Guo,
Zhong Shao,
Tahina Ramananandro,
2015,
POPL.
Zhong Shao,
Ronghui Gu,
David Costanzo,
2016,
PLDI.
Frederic T. Chong,
Andrew W. Cross,
Ronghui Gu,
2019
.
Ruzica Piskac,
Xi Wang,
Ronghui Gu,
2017,
Proc. ACM Program. Lang..
Emina Torlak,
Andrew Baumann,
Ronghui Gu,
2019,
SOSP.
Suman Jana,
Gabriel Ryan,
Justin Wong,
2020,
PLDI.
Jianan Yao,
Ronghui Gu,
Shaokai Lin,
2021,
Memorial Volume for Shoucheng Zhang.
Frederic T. Chong,
Jianan Yao,
Ronghui Gu,
2021,
PLDI.
Jason Nieh,
Ronghui Gu,
Shih-Wei Li,
2021,
USENIX Security Symposium.
Frederic T. Chong,
Ronghui Gu,
Runzhou Tao,
2021
.
Suman Jana,
Jason Nieh,
Gabriel Ryan,
2021,
OSDI.
Jason Nieh,
Ronghui Gu,
Shih-Wei Li,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Jason Nieh,
Ronghui Gu,
Shih-Wei Li,
2021,
SOSP.