Yu Yang

15 papers A* 1B 2Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2010 J jnl
Distributed dynamic partial order reduction.
Int. J. Softw. Tools Technol. Transf.
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
2010 J jnl
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols.
Formal Methods Syst. Des.
Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou
2009 — conf
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis.
SPIN
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang
2009 — —
Efficient Dynamic Verification of Concurrent Programs.
Yu Yang
2009 J jnl
Parallel and distributed model checking in Eddy.
Int. J. Softw. Tools Technol. Transf.
Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan
2009 — conf
Some resources for teaching concurrency.
PADTAD
Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni
2009 — conf
Symbolic pruning of concurrent program executions.
ESEC/SIGSOFT FSE
Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang
2008 B conf
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.
ATVA
Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan
2008 — conf
Efficient Stateful Dynamic Partial Order Reduction.
SPIN
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
2007 — conf
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.
SPIN
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
2007 A* conf
Fast and Accurate Static Data-Race Detection for Concurrent Programs.
CAV
Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta
2007 — conf
Hierarchical cache coherence protocol verification one level at a time through assume guarantee.
HLDVT
Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan, Ching-Tsun Chou
2006 — conf
Parallel and Distributed Model Checking in Eddy.
SPIN
Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan
2006 B conf
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee.
FMCAD
Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou
2005 — conf
Gauss: A Framework for Verifying Scientific Computing Software.
SoftMC@CAV
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby