Ana Maria Visan

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Fully Automated

Top Venues

Publications

Kapil Arya, Tyler Denniston, Ana Maria Visan, Gene Cooperman
Semi-automated debugging via binary search through a process lifetime. PLOS@SOSP (2013)
Kapil Arya, Tyler Denniston, Ana Maria Visan, Gene Cooperman
FReD: Automated Debugging via Binary Search through a Process Lifetime CoRR (2012)
Ana Maria Visan, Kapil Arya, Gene Cooperman, Tyler Denniston
URDB: a universal reversible debugger based on decomposing debugging histories. PLOS@SOSP (2011)
Ana Maria Visan, Artem Y. Polyakov, Praveen S. Solanki, Kapil Arya, Tyler Denniston, Gene Cooperman
Temporal Debugging using URDB CoRR (2009)