个人简历

教育背景
2016 美国杨百翰大学 计算机科学 博士
2010 美国佛罗里达国际大学 计算机科学 硕士
2008 东南大学 软件工程 学士
职业经历
2016年至今 副教授，硕导 西南财经大学经济信息工程学院
2013年至2013年 研究员 安全分析部门 惠普（硅谷）
2006年至2006年 软件工程师 纳龙科技（南京）

研究领域

形式化验证理论方法
静态分析
模式检测
SMT编码
符号执行
区块链技术
以太坊智能合约安全检测
超级账本安全问题分析

近期论文

Yu Huang, Eric Mercer, Detecting MPI Zero Buffer Incompatibility by SMT Encoding,7th NASA Formal Methods Symposium (NFM15), Pasadena, CA, April,2015.
Yu Huang, Eric Mercer, A Precise Encoding for MPI Semantics, 会议墙展，Java Path Finder Workshop (JPF14), Salt Lake City, UT, 2014.
Yu Huang, Eric Mercer, Jay McCarthy, Proving MCAPI Executions are Correct Applying SMT Technology to Message Passing, 28th IEEE/ACM International Conference on Automated Software Engineering (ASE13), Palo Alto, CA, November, 2013.
Reng Zeng, Yu Huang, Su Liu, Peter J. Clarke, Xudong He*, Gwendolyn W. van der Linden, Jon L. Ebert, SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems, International Conference on Software Engineering and Knowledge Engineering (SEKE11), Miami, July, 2011.
Yu Huang, Eric Mercer, An Efficient Approach for Match Pair Approximation in Message Passing, under review.
Yu Huang, Eric Mercer, Josh Asplund, Predicative Analysis with Pattern Matching for Deadlock in MPI Point-to-point Communication, under review.
Yu Huang, An Analyzer for Message Passing Programs, Ph.D. Dissertation, Provo, UT, 2016.
Yu Huang, Eric Mercer, Proving MCAPI Executions are correct using SMT(Extended), Technical Report, Provo, UT, 2013