Ali Kheradmand, Baris Kasikci, George Candea Lockout: Efficient Testing for Deadlock Bugs 1.
StreamIt-A Programming Language for the Era of Multicores
Ali Kheradmand , Baris Kasikci , George Candea