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
4192005
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
3182011
Execution synthesis: a technique for automated software debugging
C Zamfir, G Candea
Proceedings of the 5th European conference on Computer systems, 321-334, 2010
2962010
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
2862010
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
2062010
Selective symbolic execution
V Chipounov, V Georgescu, C Zamfir, G Candea
Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep), 2009
1522009
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
1472012
RaceMob: Crowdsourced data race detection
B Kasikci, C Zamfir, G Candea
Proceedings of the twenty-fourth ACM symposium on operating systems …, 2013
1172013
Reconstructing core dumps
J Rößler, A Zeller, G Fraser, C Zamfir, G Candea
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
612013
Automatic generation of program execution that reaches a given failure point
C Zamfir, G Candea
US Patent 8,966,453, 2015
452015
Debug determinism: The sweet spot for {Replay-Based} debugging
C Zamfir, G Altekar, G Candea
13th Workshop on Hot Topics in Operating Systems (HotOS XIII), 2011
252011
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
242015
Automated debugging for arbitrarily long executions
C Zamfir, B Kasikci, J Kinder, E Bugnion, G Candea
14th Workshop on Hot Topics in Operating Systems (HotOS XIV), 2013
192013
Low-overhead bug fingerprinting for fast debugging
C Zamfir, G Candea
International Conference on Runtime Verification, 460-468, 2010
162010
Parallel symbolic execution on cluster of commodity hardware
S Bucur, C Zamfir, G Candea
US Patent 8,863,096, 2014
142014
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
122013
{CORD}: A Collaborative Framework for Distributed Data Race Detection
B Kasikci, C Zamfir, G Candea
Eighth Workshop on Hot Topics in System Dependability (HotDep 12), 2012
102012
Live migration of user environments across wide area networks
C Zamfir
University of Glasgow, 2008
92008
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