Zheng Wang

My research agenda is to make parallel software development easier and more accessible. To that end, I am interested in many aspects of parallel computing, including compilers, programming models, operating systems, and systems security. My work often uses machine learning as a design methodology.

I am a recipient of the Best Paper Award in ACM PACT 2010 and 2017, ACM CGO 2017 and 2019, Best Presentation Award at PACT 2010 and CGO 2013, 2 HiPEAC paper awards, and Best Paper Nomination/Finalist in ACM CCS 2018 and ACM SenSys 2019.

I am a member of the Distributed Systems and Services Group at Leeds, the EPSRC Associate Peer Review College, and the HiPEAC Network of Excellence.

I maintain a list of must read reasearch papers for machine learning in compilers. I am on the CGO hall of fame.

• [July, 2021] We are hiring a research fellow in compiler optimisaiton! Apply through here.
• [June, 2021] Our paper on accelerating small and irregular-shapped matrix multiplicaitons for ARM many-cores is accepted by Supercomputing (SC 2021)
• [June, 2021] One paper is accepted (conditionally) by ACM Mobicom 2021
• [Feb., 2021] Our paper on Javascript conformance testing is accepted by ACM PLDI 2021
• [Jan., 2021] One paper accepted by IEEE Transactions on Computers
• [Nov., 2020] Our work on using graph neural networks and open-source repositories to detect code vulnerabilities is accepted by IEEE TIFS
• [July, 2020] Our work on using graph neural networks to model program structures got accepted by ACM PACT 2020

PhD Students

• Xiaoyang Sun, 09/2019 - , (Funded by Alibaba Innovative Research Programme, co-supervised with Jie Xu);
• Jiayu Zhao, 10 / 2020 - (Funded by Industrial PhD Scholarship);
• Shenghao Qiu, 10 / 2020 - (Funded by Alibaba Innovative Research Programme);
• Haibo Wang, 10 / 2020 -, Funded by Leeds-SUSTech Joint PhD program (co-supervised with Shin Hwei Tan from SUSTech).
• Yin Wu, 01 / 2021 -, Funded by Leeds-SUSTech Joint PhD program (co-supervised with James Jianqiao Yu from SUSTech);
• Yachao Zhu, 04 / 2021 - (Funded by School of Computing Scholarship);
• Patrick Lenihan, 10 / 2021 - (Funded by School of Computing DTP Scholarship);
• Huanting Wang, 10 / 2021 - (Funded by School of Computing Scholarship);
• Beite Yang , 10 / 2021 - (Funded EPSRC centre for doctoral training in fluid dynamics, co-supervised with Amirul Khan and Peter Jimack);
• Shuangjiao Zhai, 09/2019 -, co-supervised with Dingyi Fang from Northwest University;

Alumni

• Rodrigo Caetano Rocha 10 / 2016 - 0/2021, (PhD student, co-supervised with Hugh Leather and Murray Cole from the University of Edinburgh) - now Research Fellow at University of Edinburgh
• Ben Taylor (PhD Student) - firt job: Transport for the North
• Vicent Sanz Marco (PDRA) - Assistant professor at Osaka University, Japan
• Volker Seeker (PDRA) - now with University of Edinburgh
• Guixin Ye (co-supervised PhD student) - now assistant professor at Northwest University; Best paper award nomination at CCS 2018, ACM China Best PhD Dissertation Award (Shaanxi Province).
• Jie Zhang (co-supervised PhD student) - now assistant professor at Xi’an University of Posts and Telecommunications
• William Ogilvie 09 / 2014 - 01 / 2018 (PhD student, co-supervised with Hugh Leather from the University of Edinburgh) - first job: Amazon; ACM SRC Gold Medal recipient
• Jie Ren (Visiting PhD student, 09 / 2015 - 03 / 2016, visiting scholar, 03/2019 - 03/2020) - Now Assistant Professor at ShaanXi Normal University, China

Google Scholar | DBLP

[PLDI '21] Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, Zheng Wang
the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)(Artificate Evaluated) (Media Coverage: China Daily, China Science Daily, CN West, Shaanxi Daily) , 2021.

Preprint Code Dataset

Teaching

• XJCO1921 Programming Project, 2021-
• COMP1211 Computer Architecture, 2019-

Professional Services

• Guest editor: Elesiver Journal of Computer Languages
• Program/General Chair: COSMIC 2019 @ CGO 2019, COSMIC 2017 @ CGO 2017, COSMIC 2015 @ CGO 2015, COSMIC 2013 @ CGO 2013, HiPEAC Thematic Session 2013 and 2016
• Artifact Evaluation Chair: PACT 2016
• Lightning Talk Chair: PLDI 2017
• Program Committee Member: IJCAI ‘22 (novel PC board member), IPDPS ‘22, CGO ‘22, EMNLP ‘21, LCTES ‘21, IPDPS ‘21, IJCAI ‘21 (senior PC), The first International Conference on Code Quality (ICCQ 2021), MLSH ‘20 @ PACT ‘20, IEEE TPDS Special Section on Parallel and Distributed Computing Techniques for AI, ML and DL 2020, AACL ‘20, IPDPS ‘20, CGO ‘20, PPoPP ‘20, Challenge ‘20, NPC ‘19, Aorta @ ECOOP ‘19, ACL ‘19, IJCAI ‘19, IPDPS ‘19, ICAC ‘19, PACT ‘18, NPC ‘18, ICPADS ‘18, COLING ‘18, INFOCOMP ‘18, ICAC ‘18, ParCo ‘17, CC ‘16, ERPP ‘15, ML4PL ‘15, ParCo ‘15, ICPP-EMS ‘15, PASA ‘14, PASA ‘13, ITCS ‘12, ITCS ‘11, ICPADS ‘09
• External Review Committee Member: CGO 2018, CGO 2015, PLDI 2014, HPCA 2015, HiPEAC 2011

• July 2019 -, Associate Professor, School of Computing, University of Leeds
• August 2018 - July 2019, Senior Lecturer, School of Computing and Communications, Lancaster University.
• Sept 2013 - July, 2018, Lecturer, School of Computing and Communications, Lancaster University.
• 2012 - 2013, Research Associate, the University of Edinbugh.
• 2007 - 2011, PhD Student, the University of Edinburgh. Nominated for BCS Distinguished Dissertation Award;
• 2005 - 2007, Research Staff member, IBM Research

• {initial}.{lastname}5 [at] {leeds.ac.uk}
• zwanghk
• School of Computing, University of Leeds, Leeds LS2 9JT, United Kingdom
• Please email me for an appointment