Follow
Cristian Zamfir
Cristian Zamfir
Cyberhaven
Verified email at cyberhaven.io - Homepage
Title
Cited by
Cited by
Year
Preventing shilling attacks in online recommender systems
PA Chirita, W Nejdl, C Zamfir
Proceedings of the 7th annual ACM international workshop on Web information …, 2005
4022005
Parallel symbolic execution for automated real-world software testing
S Bucur, V Ureche, C Zamfir, G Candea
Proceedings of the sixth conference on Computer systems, 183-198, 2011
3102011
Execution synthesis: a technique for automated software debugging
C Zamfir, G Candea
Proceedings of the 5th European conference on Computer systems, 321-334, 2010
2892010
Cloud9: A software testing service
L Ciortea, C Zamfir, S Bucur, V Chipounov, G Candea
ACM SIGOPS Operating Systems Review 43 (4), 5-10, 2010
2812010
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks.
H Jula, DM Tralamazza, C Zamfir, G Candea
OSDI 8, 295-308, 2008
2102008
Automated software testing as a service
G Candea, S Bucur, C Zamfir
Proceedings of the 1st ACM symposium on Cloud computing, 155-160, 2010
2042010
Data races vs. data race bugs: telling the difference with Portend
B Kasikci, C Zamfir, G Candea
ACM SIGARCH Computer Architecture News 40 (1), 185-198, 2012
1522012
Selective symbolic execution
V Chipounov, V Georgescu, C Zamfir, G Candea
Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep), 2009
1422009
RaceMob: Crowdsourced data race detection
B Kasikci, C Zamfir, G Candea
Proceedings of the twenty-fourth ACM symposium on operating systems …, 2013
1162013
Reconstructing core dumps
J Rößler, A Zeller, G Fraser, C Zamfir, G Candea
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
592013
Automatic generation of program execution that reaches a given failure point
C Zamfir, G Candea
US Patent 8,966,453, 2015
422015
Automated classification of data races under both strong and weak memory models
B Kasikci, C Zamfir, G Candea
ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (3), 1-44, 2015
232015
Debug Determinism: The Sweet Spot for Replay-Based Debugging.
C Zamfir, G Altekar, G Candea, I Stoica, UC Berkeley
HotOS 11, 306, 2011
232011
Low-overhead bug fingerprinting for fast debugging
C Zamfir, G Candea
Runtime Verification: First International Conference, RV 2010, St. Julians …, 2010
192010
Automated Debugging for Arbitrarily Long Executions.
C Zamfir, B Kasikci, J Kinder, E Bugnion, G Candea
HotOS, 2013
172013
Parallel symbolic execution on cluster of commodity hardware
S Bucur, C Zamfir, G Candea
US Patent 8,863,096, 2014
132014
Automating the debugging of datacenter applications with ADDA
C Zamfir, G Altekar, I Stoica
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2013
112013
{CORD}: A Collaborative Framework for Distributed Data Race Detection
B Kasikci, C Zamfir, G Candea
Presented as part of the Eighth Workshop on Hot Topics in System Dependability, 2012
112012
Live Migration of User Environments Across Wide Area Networks
C Zamfir
University of Glasgow, 2008
82008
Automating the debugging of datacenter applications with ADDA
G Altekar, C Zamfir, G Candea, I Stoica
Technical Report UCB/EECS-2011-22, EECS Department, University of California …, 2011
22011
The system can't perform the operation now. Try again later.
Articles 1–20