Puhan Zhang

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 8

Top Topics

Symbolic Execution

Machine Learning

Top Venues

Publications

Yinfang Shi, Puhan Zhang, Zhaoyang Wang
Extraction of Lilium davidii var. unicolor Planting Information Based on Deep Learning and Multi-Source Data. Sensors 24 (5) (2024)
Puhan Zhang, Sheng Zhang, Gia-Wei Chern
Descriptors for Machine Learning Model of Generalized Force Field in Condensed Matter Systems. CoRR (2022)
Yi-Hsuan Liu, Sheng Zhang, Puhan Zhang, Ting-Kuo Lee, Gia-Wei Chern
Machine learning predictions for local electronic properties of disordered correlated electron systems. CoRR (2022)
Puhan Zhang, Gia-Wei Chern
Arrested phase separation in double-exchange models: machine-learning enabled large-scale simulation. CoRR (2021)
Sheng Zhang, Puhan Zhang, Gia-Wei Chern
Anomalous phase separation and hidden coarsening of super-clusters in the Falicov-Kimball model. CoRR (2021)
Puhan Zhang, Gia-Wei Chern
Machine learning nonequilibrium electron forces for adiabatic spin dynamics. CoRR (2021)
Puhan Zhang, Preetha Saha, Gia-Wei Chern
Machine learning dynamics of phase separation in correlated electron magnets. CoRR (2020)
Shengwei Yi, Hongwei Wang, Yangyang Ma, Feng Xie, Puhan Zhang, Liqing Di
A Safety-Security Assessment Approach for Communication-Based Train Control (CBTC) Systems Based on the Extended Fault Tree. ICCCN (2018)
Jinxin Ma, Tao Zhang, Puhan Zhang
Enhancing symbolic execution method with a taint layer. ICACI (2015)
Jinxin Ma, Tao Zhang, Puhan Zhang
Enhancing fuzzing with a minimum set solver. ICACI (2015)
Puhan Zhang, Jianxiong Wu, Wang Xin, Zehui Wu
Program Crash Analysis Based on Taint Analysis. 3PGCIC (2014)
Jinxin Ma, Guowei Dong, Puhan Zhang, Tao Guo
SymWalker: Symbolic Execution in Routines of Binary Code. CIS (2014)
Jinxin Ma, Puhan Zhang, Guowei Dong, Shuai Shao, Jiangxiao Zhang
TWalker: An efficient taint analysis tool. IAS (2014)
Puhan Zhang, Jianxiong Wu, Wang Xin, Zehui Wu
Decrypted data detection algorithm based on dynamic dataflow analysis. CITS (2014)