Meng Xu, University of Waterloo

Research

bug finding C/C++ vulnerabilities program analysis program summarization SMT static analysis symbolic execution

Latest papers

Direct Evidence of Solution-Mediated Superoxide Transport and Organic Radical Formation in Sodium-Oxygen Batteries.
Journal of the American Chemical Society · 2016

All 1 publications

Latest funding

High-fidelity Symbolic Execution for Vulnerability Hunting
NSERC · 2022 · Principal investigator
$12,500
High-fidelity Symbolic Execution for Vulnerability Hunting
NSERC · 2022 · Principal investigator
$102,000

All 2 grants and awards

1 publications.

01

Direct Evidence of Solution-Mediated Superoxide Transport and Organic Radical Formation in Sodium-Oxygen Batteries.

Xia C, Fernandes R, Cho FH, Sudhakar N, Buonacorsi B, Walker S, Xu M, Baugh J, Nazar LF

Journal of the American Chemical Society2016

DOI: 10.1021/jacs.6b05382 PMID: 27498623

High-fidelity Symbolic Execution for Vulnerability Hunting

Principal investigatorNSERC2022Discovery Launch Supplement

Principal investigators: Xu, Meng

$12,500

High-fidelity Symbolic Execution for Vulnerability Hunting

Principal investigatorNSERC2022Discovery Grants Program - Individual

Principal investigators: Xu, Meng

Keywords: symbolic execution; bug finding; static analysis; program analysis; c/c++ vulnerabilities; program summarization; smt

$102,000

From CIHR, NSERC and SSHRC funding decisions: CIHR since 2008, NSERC since 1991 and SSHRC since 1998, including their latest published competition results.

Frequent collaborators

Jonathan Baugh

Chemistry

1 shared papers, latest 2016

Write to this professor

A short, specific email works best. This draft uses one of their recent papers; replace the parts in brackets with your own details before sending.

Applying for

Mention their NSERC grant from 2022

Subject: Prospective PhD student: bug finding Dear Professor Xu, My name is [your name], and I am a [your current degree or role] at [your institution]. I am applying for a PhD position starting in [term and year]. I read your paper "Direct Evidence of Solution-Mediated Superoxide Transport and Organic Radical Formation in Sodium-Oxygen Batteries." (2016), and it connects closely to my own work on [your research topic]. [One or two sentences on what you did and what you learned.] I also saw your NSERC-funded project "High-fidelity Symbolic Execution for Vulnerability Hunting" (2022), and I would be glad to contribute to work in that direction. Are you accepting new PhD students for [term and year]? I have attached my CV and transcripts, and I would be glad to talk at a time that suits you. Thank you for your time. Kind regards, [your name]