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

Welcome! My name is Yu Yang ( ). I come from China. 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 verification. Especially interested in static analysis and verificaiton of concurrent programs. .

Projects Inspect : a framework for dynamic verification of multithreaded C programs past projects

Publications

C. Wang, Y. Yang, A. Gupta, G. Gopalakrishnan, Dynamic Model Checking with Predicative 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

Teaching

* TA for CS5460, Operating System (fall 04) Project 1 FAQ   Project 3 FAQ

* TA for CGS3066, Web Design ( spring 04, fall 03). Here are some sites( 1, 2, 3, 4) designed by my students.

Personal

Here is the homepage of Xiaofang, my lovely wife.

Last modification: August 23, 2008