Mark Marron is a Senior RSDE in the Research in Software Engineering group at Microsoft's Redmond lab. His current research focuses on time-travel debugging, managed runtime implementations, and program synthesis.