``You cannot change the world without first changing yourself."
Research Advisors
Research
Thread synchronization models, multi-threaded programming,
formal methods
Publications
Internships
Programming Contests
Websites
Programs
Volunteers
Department Meeting 08,
ISSTA 09,
College Hearing Board 09,
CVIP 10 (Appreciation Award),
SPEC SIP Supporting Contributor 2010---present
Profiles
Contact
3312 Engineering Building
Michigan State University
East Lansing, MI 48824, United States
Michigan State University
East Lansing, MI 48824, United States
Software Engineering and Network System (SENS) Laboratory
Department Computer Science and Engineering
Michigan State University