Cristian Zamfir

According to our database, Cristian Zamfir authored at least 16 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Automated Classification of Data Races Under Both Strong and Weak Memory Models.

Baris Kasikci, Cristian Zamfir, George Candea

ACM Trans. Program. Lang. Syst., 2015

2013

Execution Synthesis: A Technique for Automating the Debugging of Software.

Cristian Zamfir

PhD thesis, 2013

RaceMob: crowdsourced data race detection.

Baris Kasikci, Cristian Zamfir, George Candea

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Reconstructing Core Dumps.

Jeremias Rößler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, George Candea

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Automated Debugging for Arbitrarily Long Executions.

Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, George Candea

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

Automating the debugging of datacenter applications with ADDA.

Cristian Zamfir, Gautam Altekar, Ion Stoica

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

CORD: A Collaborative Framework for Distributed Data Race Detection.

Baris Kasikci, Cristian Zamfir, George Candea

Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

Data races vs. data race bugs: telling the difference with portend.

Baris Kasikci, Cristian Zamfir, George Candea

Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012

2011

Debug Determinism: The Sweet Spot for Replay-Based Debugging.

Cristian Zamfir, Gautam Altekar, George Candea

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

Parallel symbolic execution for automated real-world software testing.

Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea

Proceedings of the European Conference on Computer Systems, 2011

2010

Low-Overhead Bug Fingerprinting for Fast Debugging.

Cristian Zamfir, George Candea

Proceedings of the Runtime Verification - First International Conference, 2010

Execution synthesis: a technique for automated software debugging.

Cristian Zamfir, George Candea

Proceedings of the European Conference on Computer Systems, 2010

Automated software testing as a service.

George Candea, Stefan Bucur, Cristian Zamfir

Proceedings of the 1st ACM Symposium on Cloud Computing, 2010

2009

Cloud9: a software testing service.

Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea

ACM SIGOPS Oper. Syst. Rev., 2009

2008

Deadlock Immunity: Enabling Systems to Defend Against Deadlocks.

Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2005

Preventing shilling attacks in online recommender systems.

Paul-Alexandru Chirita, Wolfgang Nejdl, Cristian Zamfir

Proceedings of the Seventh ACM International Workshop on Web Information and Data Management (WIDM 2005), 2005