Yu    Yang
  School of Computing
50 S.Central Campus Dr. Rm 3190
Salt Lake City, UT   84112
Tel: (650)942-4484 (C)
Email: yuyang AT cs.utah.edu
Homepage: www.cs.utah.edu/~yuyang

Welcome! My name is Yu Yang. I got B.S. from Nanjing University in 2000 and M.E. from Chinese Academy of Sciences in 2003. My advisor is Prof. Ganesh Gopalakrishnan.

 
Research
Interest : program analysis and formal verification. Especially interested in algorithms and tools that combine program analysis and formal methods for revealing errors in realistic programs.
Project
  • Inspect : a framework for dynamic verification of multithreaded C programs
Publications
  • C. Wang, S. Chaudhuri, A. Gupta, Y. Yang, Symbolic Pruning of Concurrent Program Executions, FSE, November 2009.
  • Y. Yang, X. Chen, G. Gopalakrishnan, C. Wang, Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis, SPIN, July 2009. pdf
  • C. Wang, Y. Yang, A. Gupta, G. Gopalakrishnan, Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions , ATVA, October 2008. pdf
  • Y. Yang, X. Chen, G. Gopalakrishnan, R. M. Kirby, Efficient Stateful Dynamic Partial Order Reduction , SPIN, August 2008. pdf
  • X. Chen, Y. Yang, M. Delisi, G. Gopalakrishnan, C. Chou, Hierarchical Cache Coherence Protocol Verification One Level at a Time Through Assume Guarantee , HLDVT, November 2007.
  • Y. Yang, X. Chen, G. Gopalakrishnan, R. M. Kirby, Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software , SPIN, July 2007. pdf
  • I. Melatti, R. Palmer, G. Sawaya, Y. Yang, R. M. Kirby, G. Gopalakrishnan, Parallel and Distributed Model Checking in Eddy , International Journal for Software Tools for Technology Transfer(STTT), accepted.
  • V. Kahlon, Y. Yang, S. Sankaranarayanan, A. Gupta, Fast and Accurate Static Data Race Detection for Concurrent Programs , CAV, July 2007. pdf
  • X. Chen, Y. Yang, G. Gopalakrishnan, C. Chou, Reducing Verification Complexity of a Multicore Coherence Protocol using Assume/Guarantee , FMCAD, November 2006. pdf
  • I. Melatti, R. Palmer, G. Sawaya, Y. Yang, R. M. Kirby, G. Gopalakrishnan, Parallel and Distributed Model Checking in Eddy , SPIN, April 2006.pdf
  • R. Palmer, S. Barrus, Y. Yang, G. Gopalakrishnan, R. M. Kirby. Gauss: A Framework for Verifying Scientific Computing Software , Electronic Notes on Theoretical Computer Science(ENTCS), Vol. 144, No. 3, February 2006, 95-106 pdf
 
Personal
Here is the homepage of Xiaofang, my lovely wife.
 

Last modification: October 23, 2008 Site
Meter valid-check