About me

I am a PhD student at the Department of Computer Science at ETH Zurich since September 2018. I am part of the Secure, Reliable, and Intelligent Systems Lab and am supervised by Prof. Martin Vechev.

Education

  • ETH Zurich, September 2016 - May 2018
    M.Sc. in Computer Science
  • Zhejiang University, September 2012 - June 2016
    B.E. in Computer Science & Technology

Publications

2020

Learning Fast and Precise Numerical Analysis
Jingxuan He, Gagandeep Singh, Markus Püschel, Martin Vechev
PLDI 2020

2019

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin Vechev
ACM CCS 2019

2018

DEBIN: Predicting Debug Information in Stripped Binaries
Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin Vechev
ACM CCS 2018