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
3302005
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
2752011
Execution synthesis: a technique for automated software debugging
C Zamfir, G Candea
Proceedings of the 5th European conference on Computer systems, 321-334, 2010
2662010
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
2632010
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks.
H Jula, DM Tralamazza, C Zamfir, G Candea
OSDI 8, 295-308, 2008
1912008
Automated software testing as a service
G Candea, S Bucur, C Zamfir
Proceedings of the 1st ACM symposium on Cloud computing, 155-160, 2010
1892010
Droidsieve: Fast and accurate classification of obfuscated android malware
G Suarez-Tangil, SK Dash, M Ahmadi, J Kinder, G Giacinto, L Cavallaro
Proceedings of the Seventh ACM on Conference on Data and Application …, 2017
1332017
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
1242012
Selective symbolic execution
V Chipounov, V Georgescu, C Zamfir, G Candea
Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep), 2009
1182009
RaceMob: Crowdsourced data race detection
B Kasikci, C Zamfir, G Candea
Proceedings of the twenty-fourth ACM symposium on operating systems …, 2013
922013
Reconstructing core dumps
J Rößler, A Zeller, G Fraser, C Zamfir, G Candea
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
542013
Automatic generation of program execution that reaches a given failure point
C Zamfir, G Candea
US Patent 8,966,453, 2015
322015
Efficient tracing of cold code via bias-free sampling
B Kasikci, T Ball, G Candea, J Erickson, M Musuvathi
2014 {USENIX} Annual Technical Conference ({USENIX}{ATC} 14), 243-254, 2014
242014
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
202015
Debug Determinism: The Sweet Spot for Replay-Based Debugging.
C Zamfir, G Altekar, G Candea, I Stoica, UC Berkeley
HotOS 11, 306, 2011
182011
Low-overhead bug fingerprinting for fast debugging
C Zamfir, G Candea
International Conference on Runtime Verification, 460-468, 2010
152010
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
142013
Parallel symbolic execution on cluster of commodity hardware
S Bucur, C Zamfir, G Candea
US Patent 8,863,096, 2014
102014
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
92013
{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
72012
The system can't perform the operation now. Try again later.
Articles 1–20