Nalini Vasudevan

Multicore architectures are becoming prevalent and bring many programming challenges. One of the biggest challenges is non-determinism: the output of a program depends not only on the input, but also on the scheduling choices taken by the operating system. My interests lie in investigating techniques and tools that aid determinism, such as libraries and compilers that provide deterministic constructs, as well as analyzers that check for determinism in the code. Additionally, I am excited to be developing techniques that check for features such as deadlocks and other problems that result from the use of these deterministic constructs.