黄宇 - 西南财经大学 - 经济信息工程学院

个人简介

教育背景 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