I am a fourth year PhD student, working with Professor George Candea in the Dependable Systems Lab at EPFL. My focus is on automated debugging of concurrent software using execution synthesis. Execution synthesis is a technique that starts from a bug report and automatically produces an execution of the program that leads to the reported bug symptoms. Using a combination of static analysis and symbolic execution, it "synthesizes" the thread schedule and the program inputs that cause the bug to manifest. The synthesized execution can be played back automatically in regular debuggers. During my third year of PhD I visited for five months the RABLab at UC Berkeley where I worked with Gautam Altekar, Ion Stoica, and George Candea on replay-debugging for data center applications.
Before starting my PhD, I was involved in various areas of computer systems. I worked on live migration of virtual machine storage at University of Glasgow, on a background transfer service for TCP at Microsoft Research Cambridge, on preventing shilling attacks in recommender systems at L3S Research Center, and on wireless routing for vehicular networks at NJIT. I received my MSc in computer science from University of Glasgow in 2007 and my BS from University Politehnica of Bucharest in 2005. For more details, see Curriculum Vitae: [PDF] ShadowPC Committee Member External Reviewer PUBLICATIONS
Debug Determinism: The Sweet Spot for Replay-Based Debugging, Cristian Zamfir, Gautam Altekar, George Candea, Ion Stoica, in 11th Workshop on Hot Topics in Operating Systems (HotOS), Napa, CA, May 2011. Parallel Symbolic Execution for Automated Real-World Software Testing. Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea. 6th ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys), Salzburg, Austria, April 2011. Low-Overhead Bug Fingerprinting for Faster Debugging. Cristian Zamfir and George Candea. 1st Intl. Conference on Runtime Verification (RV), Malta, November 2010.
Automated Software Testing as a Service. George Candea, Stefan Bucur, Cristian Zamfir. 1st ACM Symposium on Cloud Computing (SOCC), Indianapolis, IN, June 2010.
Execution Synthesis: A Technique for Automated Software Debugging. Cristian Zamfir and George Candea. 5th ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys), Paris, France, April 2010.
Selective Symbolic Execution, Vitaly Chipounov, Vlad Georgescu, Cristian Zamfir, George Candea, in Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep), Lisbon, Portugal, June 2009.
Deadlock Immunity: Enabling Systems To Defend Against Deadlocks, Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, George Candea, in Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI), San Diego, CA, December 2008.
Live Migration of User Environments Across Wide Area Networks, Cristian Zamfir, Master Thesis, University of Glasgow, UK 2009.
Preventing Shilling Attacks in Online Recommender Systems, Paul-Alexandru Chirita, Wolfgang Nejdl, Cristian Zamfir, in Proceedings of the 7th ACM International Workshop on Web Information and Data Management (WIDM - held at the 14th ACM International Conference on Information and Knowledge Management (CIKM), Bremen, Germany. 2005.
An Efficient Electronic Cash Platform for Smart Phones , Cristian Zamfir, Ionut Constandache, Andrei Damian, Valentin Cristea , in Proceedings of the ECOMM-LINE International Conference, Bucharest, Romania, 2004.
WIPs and POSTERSGoodRun: Enforcing Good Runs in Parallel Programs, Silviu Andrica, Cristian Zamfir, George Candea, in Eurosys 2009 (Work in Progress). Live Migration of Virtual Block Devices , Cristian Zamfir, Colin Perkins, Peter Dickman , in EuroSys 2007, Lisbon, Portugal (Extended Abstract). DDB: Deadlock Debugger [poster] [abstract], presented in the poster session of the 3rd ACM EuroSys Conference, Glasgow, Scotland, April 2008.
Live Migration of Virtual Block Devices , Cristian Zamfir, Colin Perkins, Peter Dickman , Poster appeared in the 2nd ACM EuroSys Conference Lisbon, Portugal, 2007.
|
|
|
home |