| S2E: A platform for in-vivo multi-path analysis of software systems V Chipounov, V Kuznetsov, G Candea ASPLOS (International Conference on Architectural Support for Programming …, 2011 | 963 | 2011 |
| Code-pointer integrity V Kuznetsov, L Szekeres, M Payer, G Candea, R Sekar, D Song OSDI (USENIX Symposium on Operating Systems Design and Implementation), 147-163, 2014 | 663* | 2014 |
| Recovery-oriented computing (ROC): Motivation, definition, techniques, and case studies D Patterson, A Brown, P Broadwell, G Candea, M Chen, J Cutler, ... U.C. Berkeley Technical Report, 2002 | 654 | 2002 |
| Microreboot: A technique for cheap recovery G Candea, S Kawamoto, Y Fujiki, G Friedman, A Fox OSDI (Symposium on Operating Systems Design and Implementation), 3-3, 2004 | 635 | 2004 |
| Efficient state merging in symbolic execution V Kuznetsov, J Kinder, S Bucur, G Candea PLDI (Conference on Programming Language Design and Implementation), 2012 | 369 | 2012 |
| Parallel symbolic execution for automated real-world software testing S Bucur, V Ureche, C Zamfir, G Candea EuroSys (ACM European Conference on Computer Systems), 183-198, 2011 | 322 | 2011 |
| Execution synthesis: A technique for automated software debugging C Zamfir, G Candea EuroSys (ACM European Conference on Computer Systems), 321-334, 2010 | 303 | 2010 |
| 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 | 290 | 2010 |
| The S2E platform: Design, implementation, and applications V Chipounov, V Kuznetsov, G Candea TOCS (ACM Transactions on Computer Systems) 30 (1), 2012 | 284 | 2012 |
| Crash-only software G Candea, A Fox HotOS (Workshop on Hot Topics in Operating Systems), 12-12, 2003 | 225 | 2003 |
| Recursive restartability: Turning the reboot sledgehammer into a scalpel G Candea, A Fox HotOS (Workshop on Hot Topics in Operating Systems), 125-130, 2001 | 225 | 2001 |
| Deadlock immunity: Enabling systems to defend against deadlocks H Jula, D Tralamazza, C Zamfir, G Candea OSDI (Symposium on Operating Systems Design and Implementation), 295-308, 2008 | 216 | 2008 |
| Automated software testing as a service G Candea, S Bucur, C Zamfir SOCC (ACM Symposium on Cloud Computing), 155-160, 2010 | 207 | 2010 |
| Middleware-based database replication: The gaps between theory and practice E Cecchet, G Candea, A Ailamaki SIGMOD International Conference on Management of Data, 739-752, 2008 | 181 | 2008 |
| Selective symbolic execution V Chipounov, V Georgescu, C Zamfir, G Candea HotDep (Workshop on Hot Topics in Dependable Systems), 2009 | 155 | 2009 |
| Data races vs. data race bugs: Telling the difference with Portend B Kasikci, C Zamfir, G Candea ASPLOS (International Conference on Architectural Support for Programming …, 2012 | 147 | 2012 |
| Testing closed-source binary device drivers with DDT V Kuznetsov, V Chipounov, G Candea USENIX Annual Technical Conference, 12-12, 2010 | 143 | 2010 |
| Combining visualization and statistical analysis to improve operator confidence and efficiency for failure detection and localization P Bodik, G Friedman, L Biewald, H Levine, G Candea, K Patel, G Tolle, ... ICAC (International Conference on Autonomic Computing), 89-100, 2005 | 139 | 2005 |
| JAGR: An autonomous self-recovering application server G Candea, E Kiciman, S Zhang, P Keyani, A Fox International Workshop on Active Middleware Services, 168-177, 2003 | 136 | 2003 |
| Improving availability with recursive microreboots: A soft-state system case study G Candea, J Cutler, A Fox Performance Evaluation Journal 56 (1), 213-248, 2004 | 135 | 2004 |
Cristian ZamfirCyberhaven在 cyberhaven.io 的电子邮件经过验证
