Ana-maria Visan
Software Engineer at Google
Mountain View, California, United States
Summary
👤
Senior🎓
Top SchoolAna-maria Visan is a software engineer in Mountain View with 16 years of experience specializing in checkpointing, reversible debugging, deterministic replay, and high-performance computing. She holds a PhD in Computer Science and has deep systems-level expertise demonstrated by significant contributions to DMTCP (Distributed MultiThreaded CheckPointing), where she improved pthread integration, ptrace support, and low-level I/O wrappers to make checkpoint/restart more robust across platforms. At Google since 2012 she applies research-grade techniques to production-scale reliability and debugging problems, bridging academic rigor with practical systems engineering. Her background includes reversible debugging of parallel scientific applications and large-scale storage-oriented enumeration approaches that treat disk as primary memory, reflecting an unusual focus on time and state as first-class engineering concerns.
16 years of coding experience
1 year of employment as a software developer
BSc, Computer Science, BSc, Computer Science at Politechnica University of BucharestMircea cel Batran HighschoolPhD, Computer Science, PhD, Computer Science at Northeastern University
Github Skills (10)
c1710
debugging10
pthread10
debug10
c1110
system-programming10
pthreads10
linux-kernel9
gdb9
mpi4
Programming languages (1)
Github contributions (3)
dmtcp/dmtcp
Nov 2010 - Jan 2012
DMTCP: Distributed MultiThreaded CheckPointing
Role in this project:
Back-end Developer & Systems Programmer
Back-end Developer & Systems ProgrammerContributions:54 commits in 1 year 2 months
Contributions summary:Ana-maria primarily focused on enhancing the DMTCP project, a distributed multi-threaded checkpointing system. Their work involved implementing and modifying core system-level functionalities, including pthread integration, ptrace support (with a focus on debugging and restart processes), and file I/O operations to support checkpointing. The user also addressed specific issues like gdb compatibility on 32-bit machines and introduced wrappers for key functions (e.g., fscanf, fgetc, and fprintf) to improve the reliability of checkpointing/restarting various applications. These changes involved significant modifications to low-level system calls and synchronization mechanisms.
mpiinfinibanddmtcpcheckpoint-restartcluster-computing
rohgarg/dmtcp-1
Sep 2009 - Nov 2010
DMTCP: Distributed MultiThreaded CheckPointing
Contributions:21 commits in 1 year 1 month
dmtcpmultithreadeddistributed
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.