Research Interests
A major challenge in the formal verification of concurrent software is the large state space due to the large number of interleavings of events of interest across the concurrent threads. Trace-based verification/falsification addresses this by focusing on correctness criteria that depend on a single trace.
Trace based monitoring validates the system behavior for the actual execution of this trace. Trace based predictive analysis goes a step further, by considering other interleavings that are related to the given trace and verifies the behavior for this set of interlavings.
Over the past couple of years I have done work in both monitoring and predictive analysis with Aarti Gupta and Chao Wang.