Yunyun Zhu

According to our database, Yunyun Zhu authored at least 6 papers between 2008 and 2018.

Collaborative distances:

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

2018

Caches, Transactions and Memories: Models, Coherence and Consistency.

Yunyun Zhu

PhD thesis, 2018

Mending Fences with Self-Invalidation and Self-Downgrade.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu

Log. Methods Comput. Sci., 2018

2016

Fencing Programs with Self-Invalidation and Self-Downgrade.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

Verification of Cache Coherence Protocols wrt. Trace Filters.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2013

Verifying safety and liveness for the FlexTM hybrid transactional memory.

Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu

Proceedings of the Design, Automation and Test in Europe, 2013

2008

Reengineering Legacy Systems with RESTful Web Service.

Yan Liu, Qingling Wang, Mingguang Zhuang, Yunyun Zhu

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008