Recently, Kartik Sagar has focused on developing automated verification techniques for programs running under weakly consistent memory models, particularly in the context of Distributed Replicated systems and Distributed Databases. His earlier work involved developing static timing analysis techniques, with a focus on understanding the impact of the hardware cache hierarchy on the Worst Case Execution Time of programs.