Ali Kheradmand, Baris Kasikci, George Candea Lockout: Efficient Testing for Deadlock Bugs 1.
Population genetics, comparative genomics, and natural selection
Ali Kheradmand , Baris Kasikci , George Candea
Status report on the large-scale long-run simulation on the grid - Hybrid QM/MD simulation -