Tree clock research support

Awarded an NUS start-up grant for “Tree Data Structures for Causal Orderings in Data Race Detection”. Research support.