Ana-Maria Visan 370 WVH amvisan at ccs.neu.edu Resume

I am a PhD student in Computer Science at Northeastern University. I am a member of the High Performance Computing Lab and my advisor is Gene Cooperman. I am interested in Operating Systems, Reversible Debuggers, Checkpointing, Deterministic Replay and other related areas.

Research Projects

FReD

• FReD (Fast Reversible Debugger) is a new system that uses temporal search automatically over the process lifetime to rapidly travel back in time to an earlier point of interest.
• Two important components of FReD are deterministic replay and checkpointing. Deterministic replay is a prerequisite for such a system. Checkpoints are used to speed up the search.
• FReD can reversibly debug multithreaded applications.

URDB

• URDB (Universal Reversible DeBugger) is a reversible debugger, based on multiple checkpoints, history of debugging commands, restart and re-execute. Decomposing the history of debugging commands is a requirement for such an approach.
• URDB adds reversibility to the debuggers: gdb; MATLAB; python (pdb); and perl (perl -d).
• URDB can reversibly debug only singlethreaded applications.

DMTCP

• DMTCP (Distributed MultiThreaded CheckPointing) is a transparent user-level distributed checkpointing package, that requires no kernel patches and no kernel modules.

Large Space Enumeration Problems Using Parallel Disks as Primary Storage

• Worked on developing a new distributed approach to direct condensation that uses disk as primary storage.
• The disk-based approach produces condensation matrices for the sporadic simple group Janko Group J₄.

Papers

• A.M. Visan, K. Arya, G. Cooperman, T. Denniston. URDB: Universal Reversible DeBugger. PLOS, 2011. [PDF]
• A.M. Visan, K. Arya, T. Denniston, G. Cooperman. Automated Debugging using Temporal Search with FReD. Paper in preparation.

Internships

Joint Institute for Computational Sciences (ORNL and U. Tennessee), 2011

Google, Geo-SRE, 2010

Bloomberg LP, Mortgages CMO Group, 2009

NetApp, WAFL File System Group, 2008

Teaching

I have been an Instructor of Record for:

• Computer Science and its Applications, Spring 2010
• Computer Science and its Applications, Summer 2007
• Discrete Structures, Spring 2007

I have been a Teaching Assistant for:

• Computer Science and its Applications, Fall 2009
• Network Security, Prof. G. Noubir, Spring 2009
• Wireless Networks, Prof. R. Sundaram, Fall 2008
• Computer Science and its Applications, Prof. M. Lipton, Spring 2008
• Computer Science and its Applications, Prof. P. Wang, Fall 2007
• Discrete Structures, Prof. J. Aslam and Prof. H. Fell, Fall 2006