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, parallel computing, runtime systems, and systems security. My work often uses machine learning as a design methodology.

I maintain a list of must read reasearch papers for machine learning in compilers.

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

• [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
• [April, 2020] New grant funded by Royal Society for parallel programming models
• [Feb, 2020] Our paper on code size reduction in the SSA form got accepted by ACM PLDI 2020
• [Feb, 2020] Our paper on optimising stream parallelism got accepted by IEEE Transactions on Parallel & Distributed Systems

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);
• Beite Yang , 06 / 2021 - (Funded EPSRC centre for doctoral training in fluid dynamics, co-supervised with Amirul Khan and Peter Jimack);
• Huanting Wang, 10 / 2021 - (Funded by School of Computing Scholarship);
• Bader Alanazi, 10 / 2021 - (Fully funded);
• Rodrigo Caetano Rocha 10 / 2016 -, co-supervised with Hugh Leather and Murray Cole from the University of Edinburgh;
• Shuangjiao Zhai, 09/2019 -, co-supervised with Dingyi Fang from Northwest University;

Postgraduate Students

• Menghuan Zhang (MPhil) 2018 - 2021
• Hui Feng (MPhil) 2018 - 2021
• Zhen Chen (MPhil) 2019 - 2022
• Bing Zhou (MPhil) 2020 - 2023

Alumni

• Ben Taylor (PhD Student) - now with Transport for the North
• Vicent Sanz Marco (PDRA) - now Assistant professor at Osaka University, Japan
• Volker Seeker (PDRA) - now with University of Edinburgh
• Peng Zhang (co-supervised PhD student) - now assistant professor at NUDT.
• Guixin Ye (co-supervised PhD student) - now assistant professor at Northwest University
• 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
• Jie Ren (Visiting PhD student, 09 / 2015 - 03 / 2016, visiting scholar, 03/2019 - 03/2020) - Now Assistant Professor at ShaanXi Normal University, China

• Best Paper Award: ACM/IEEE PACT 2010, ACM/IEEE CGO 2017, ACM/IEEE PACT 2017, ACM/IEEE CGO 2019
• Best Paper Nomination: ACM CCS 2018, ACM SenSys 2019
• Best Presentation Award: ACM/IEEE PACT 2010, ACM/IEEE CGO 2013
• HiPEAC Paper Award: PLDI 2009, PLDI 2020 - “publishing their work at conferences in which Europe is not strongly represented”
• IBM Bravo Award for outstanding technical contribution to Software Development Toolkit for IBM CELL BroadBand Engine Processor, IBM: 2007

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) , 2021.

Preprint Code Dataset

[PLDI '20] Effective Function Merging in the SSA Form
Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, Hugh Leather
the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (Artificate Evaluated, HiPEAC Paper Award) , 2020.

Preprint Code Dataset

Teaching

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

Professional Services

• 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: 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