| The Daikon system for dynamic detection of likely invariants MD Ernst, JH Perkins, PJ Guo, S McCamant, C Pacheco, MS Tschantz, ... Science of Computer Programming 69 (1-3), 35-45, 2007 | 1504 | 2007 |
| Practical control flow integrity and randomization for binary executables C Zhang, T Wei, Z Chen, L Duan, L Szekeres, S McCamant, D Song, ... 2013 IEEE Symposium on Security and Privacy, 559-573, 2013 | 734 | 2013 |
| A symbolic execution framework for javascript P Saxena, D Akhawe, S Hanna, F Mao, S McCamant, D Song 2010 IEEE Symposium on Security and Privacy, 513-528, 2010 | 617 | 2010 |
| Dta++: dynamic taint analysis with targeted control-flow propagation. MG Kang, S McCamant, P Poosankam, D Song NDSS, 2011 | 417 | 2011 |
| Evaluating SFI for a CISC Architecture. S McCamant, G Morrisett USENIX Security Symposium 10, 209-224, 2006 | 315 | 2006 |
| Loop-extended symbolic execution on binary programs P Saxena, P Poosankam, S McCamant, D Song Proceedings of the eighteenth international symposium on Software testing …, 2009 | 248 | 2009 |
| Quantitative information flow as network flow capacity S McCamant, MD Ernst Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 242 | 2008 |
| Statically-directed dynamic automated test generation D Babić, L Martignoni, S McCamant, D Song Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 201 | 2011 |
| Binary code extraction and interface identification for security applications J Caballero, NM Johnson, S McCamant, D Song California Univ Berkeley Dept of Electrical Engineering and Computer Science, 2009 | 192 | 2009 |
| Emulating emulation-resistant malware MG Kang, H Yin, S Hanna, S McCamant, D Song Proceedings of the 1st ACM workshop on Virtual machine security, 11-22, 2009 | 175 | 2009 |
| Inference and enforcement of data structure consistency specifications B Demsky, MD Ernst, PJ Guo, S McCamant, JH Perkins, M Rinard Proceedings of the 2006 international symposium on Software testing and …, 2006 | 166 | 2006 |
| Path-exploration lifting: Hi-fi tests for lo-fi emulators L Martignoni, S McCamant, P Poosankam, D Song, P Maniatis ACM SIGARCH Computer Architecture News 40 (1), 337-348, 2012 | 115 | 2012 |
| Predicting problems caused by component upgrades S McCamant, MD Ernst Proceedings of the 9th European software engineering conference held jointly …, 2003 | 112 | 2003 |
| Measuring channel capacity to distinguish undue influence J Newsome, S McCamant, D Song Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009 | 109 | 2009 |
| Differential slicing: Identifying causal execution differences for security applications NM Johnson, J Caballero, KZ Chen, S McCamant, P Poosankam, ... 2011 IEEE Symposium on Security and Privacy, 347-362, 2011 | 108 | 2011 |
| Differential slicing: Identifying causal execution differences for security applications NM Johnson, J Caballero, KZ Chen, S McCamant, P Poosankam, ... 2011 IEEE Symposium on Security and Privacy, 347-362, 2011 | 108 | 2011 |
| Dynamic inference of abstract types PJ Guo, JH Perkins, S McCamant, MD Ernst Proceedings of the 2006 international symposium on Software testing and …, 2006 | 104 | 2006 |
| Input generation via decomposition and re-stitching: Finding bugs in malware J Caballero, P Poosankam, S McCamant, D Babi ć, D Song Proceedings of the 17th ACM conference on Computer and communications …, 2010 | 90 | 2010 |
| Early identification of incompatibilities in multi-component upgrades S McCamant, MD Ernst European Conference on Object-Oriented Programming, 440-464, 2004 | 66 | 2004 |
| Decaf: A platform-neutral whole-system dynamic binary analysis platform A Henderson, LK Yan, X Hu, A Prakash, H Yin, S McCamant IEEE Transactions on Software Engineering 43 (2), 164-184, 2016 | 64 | 2016 |
Dawn SongProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
