Yu Yang

According to our database, Yu Yang authored at least 14 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

Distributed dynamic partial order reduction.

Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby

Int. J. Softw. Tools Technol. Transf., 2010

Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols.

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou

Formal Methods Syst. Des., 2010

2009

Efficient Dynamic Verification of Concurrent Programs.

Yu Yang

PhD thesis, 2009

Parallel and distributed model checking in Eddy.

Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan

Int. J. Softw. Tools Technol. Transf., 2009

Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis.

Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang

Proceedings of the Model Checking Software, 2009

Symbolic pruning of concurrent program executions.

Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Some resources for teaching concurrency.

Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

2008

Efficient Stateful Dynamic Partial Order Reduction.

Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby

Proceedings of the Model Checking Software, 2008

Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.

Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.

Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby

Proceedings of the Model Checking Software, 2007

Hierarchical cache coherence protocol verification one level at a time through assume guarantee.

Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan, Ching-Tsun Chou

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

Fast and Accurate Static Data-Race Detection for Concurrent Programs.

Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee.

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005

Gauss: A Framework for Verifying Scientific Computing Software.

Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby

Proceedings of the 3rd Workshop on Software Model Checking, 2005