Languages
简体中文
English
USTC-Yale Joint Research Center for High-Confidence Software
Research Center
Mobile Computing Lab
Software Security Lab
Advanced Networking & Information Security Lab
Menu
Research Center
Mobile Computing Lab
Software Security Lab
Advanced Networking & Information Security Lab
User login
Username:
*
Password:
*
Request new password
Home
›
Software Security Laboratory
›
Projects
›
VSync : Verifying Concurrent Software for Multicore Machines
People
Sat, 06/13/2009 - 20:30 — mfu
Faculty
Yiyun Chen
Professor
Zhong Shao
Professor
Yu Zhang
Associate Professor
PhD Students
Ming Fu
Yong Li
Former Members
Long Li
‹ VSync : Verifying Concurrent Software for Multicore Machines
up
Related Papers ›