@Article{ FengLe99,
author = {Mingdong Feng and Charles E. Leiserson},
journal = {Theory of Computing Systems},
note = {A preliminary version appeared as \cite{FengLe97}.},
number = {3},
pages = {301--326},
title = {Efficient Detection of Determinacy Races in {Cilk} Programs},
volume = {32},
year = {1999}
}