Reconstructing Core Dumps. Jeremias Rößler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, and George Candea. IEEE International Conference on Software Testing, Verification and Validation (ICST), Luxembourg, March 2013 CoRD: A Collaborative Framework for Distributed Data Race Detection. Baris Kasikci, Cristian Zamfir and George Candea. 8th Workshop on Hot Topics in System Dependability (HotDep), Hollywood, CA, October 2012 Efficient State Merging in Symbolic Execution. Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, and George Candea. Conference on Programming Language Design and Implementation (PLDI), Beijing, China, June 2012 Data Races vs. Data Race Bugs: Telling the Difference with Portend. Baris Kasikci, Cristian Zamfir, and George Candea. Intl. Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), London, UK, March 2012The S2E Platform: Design, Implementation, and Applications. Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea. ACM Transactions on Computer Systems (TOCS), 30(1), Special issue: Best papers of ASPLOS, February 2012 Parallel Symbolic Execution for Automated Real-World Software Testing. Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea. ACM SIGOPS/EuroSys Conference on Computer Systems (EuroSys), Salzburg, Austria, April 2011 S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems. Vitaly Chipounov, Volodymyr Kuznetsov, George Candea. Intl. Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Newport Beach, CA, March 2011 (Best Paper Award) Debug Determinism: The Sweet Spot for Replay-Based Debugging. Cristian Zamfir, Gautam Altekar, George Candea, Ion Stoica. Workshop on Hot Topics in Operating Systems (HotOS), Napa, CA, May 2011 Enabling Sophisticated Analysis of x86 Binaries with RevGen. Vitaly Chipounov and George Candea. 7th Workshop on Hot Topics in System Dependability (HotDep), Hong Kong, China, June 2011 Exterminating Bugs via Collective Information Recycling. George Candea. 7th Workshop on Hot Topics in System Dependability (HotDep), Hong Kong, China, June 2011 Low-Overhead Bug Fingerprinting for Faster Debugging. Cristian Zamfir and George Candea. Intl. Conference on Runtime Verification (RV), Malta, November 2010 Automated Software Testing as a Service. George Candea, Stefan Bucur, Cristian Zamfir. ACM Symposium on Cloud Computing (SOCC), Indianapolis, IN, June 2010 Execution Synthesis: A Technique for Automated Software Debugging. Cristian Zamfir and George Candea. ACM SIGOPS/EuroSys Conference on Computer Systems (EuroSys), Paris, France, April 2010 |
|
|
