|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 45 publication records. Showing 45 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vitaly Chipounov, Volodymyr Kuznetsov, George Candea |
The S2E Platform: Design, Implementation, and Applications.  |
ACM Trans. Comput. Syst.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Baris Kasikci, Cristian Zamfir, George Candea |
Data races vs. data race bugs: telling the difference with portend. |
ASPLOS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | João Carlos Menezes Carreira, Rodrigo Rodrigues, George Candea, Rupak Majumdar |
Scalable testing of file system checkers. |
EuroSys |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Banabic, George Candea |
Fast black-box testing of system recovery code. |
EuroSys |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Dan Marinescu, George Candea |
Efficient Testing of Recovery Code Using Fault Injection. |
ACM Trans. Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | George Candea, Neoklis Polyzotis, Radek Vingralek |
Predictable performance and high query concurrency for data analytics. |
VLDB J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Horatiu Jula, Silviu Andrica, George Candea |
Efficiency Optimizations for Implementations of Deadlock Immunity. |
RV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitaly Chipounov, Volodymyr Kuznetsov, George Candea |
S2E: a platform for in-vivo multi-path analysis of software systems. |
ASPLOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Silviu Andrica, George Candea |
WaRR: A tool for high-fidelity web application record and replay. |
DSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Horatiu Jula, Pinar Tözün, George Candea |
Communix: A framework for collaborative deadlock immunity. |
DSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea |
Parallel symbolic execution for automated real-world software testing. |
EuroSys |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Zamfir, George Candea |
Low-Overhead Bug Fingerprinting for Fast Debugging. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | George Candea, Stefan Bucur, Cristian Zamfir |
Automated software testing as a service. |
SoCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Silviu Andrica, Horatiu Jula, George Candea |
iProve: A scalable technique for consumer-verifiable software guarantees. |
DSN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bisolfati, Paul Dan Marinescu, George Candea |
Studying application-library interaction and behavior with LibTrac. |
DSN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Zamfir, George Candea |
Execution synthesis: a technique for automated software debugging. |
EuroSys |
2010 |
DBLP DOI BibTeX RDF |
symbolic execution, automated debugging |
| 1 | Vitaly Chipounov, George Candea |
Reverse engineering of binary device drivers with RevNIC. |
EuroSys |
2010 |
DBLP DOI BibTeX RDF |
closed-source, proprietary software, reverse engineering, device drivers, binary |
| 1 | George Candea, Neoklis Polyzotis, Radek Vingralek |
A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses. |
PVLDB |
2009 |
DBLP BibTeX RDF |
|
| 1 | Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea |
Cloud9: a software testing service. |
Operating Systems Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Dan Marinescu, George Candea |
LFI: A practical and general library-level fault injector. |
DSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Cecchet, George Candea |
Drivolution: rethinking the database driver lifecycle. |
Middleware (Companion) |
2009 |
DBLP BibTeX RDF |
|
| 1 | Horatiu Jula, George Candea |
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea |
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. |
OSDI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lorenzo Keller, Prasang Upadhyaya, George Candea |
ConfErr: A tool for assessing resilience to human configuration errors. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Cecchet, George Candea, Anastasia Ailamaki |
Middleware-based database replication: the gaps between theory and practice. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
practice and experience, middleware, database replication |
| 1 | Yohann Coppel, George Candea |
Deprogramming Large Software Systems. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
| 1 | George Candea |
Toward Quantifying System Manageability. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
| 1 | Vitaly Chipounov, George Candea |
Reverse-Engineering Drivers for Safety and Portability. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Cecchet, George Candea, Anastassia Ailamaki |
Middleware-based Database Replication: The Gaps between Theory and Practice |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Brian Cook, Shivnath Babu, George Candea, Songyun Duan |
Toward Self-Healing Multitier Services. |
ICDE Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | George Candea, Emre Kiciman, Shinichi Kawamoto, Armando Fox |
Autonomous recovery in componentized Internet applications. |
Cluster Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | George Candea, David L. Oppenheimer |
Workshop on Hot Topics in System Depend - Workshop Abstract. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Bodík, Greg Friedman, Lukas Biewald, Helen Levine, George Candea, Kayur Patel, Gilman Tolle, Jonathan Hui, Armando Fox, Michael I. Jordan, David A. Patterson |
Combining Visualization and Statistical Analysis to Improve Operator Confidence and Efficiency for Failure Detection and Localization. |
ICAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | George Candea, James Cutler, Armando Fox |
Improving availability with recursive microreboots: a soft-state system case study. |
Perform. Eval. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | George Candea, Aaron B. Brown, Armando Fox, David A. Patterson |
Recovery-Oriented Computing: Building Multitier Dependability. |
IEEE Computer |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | George Candea |
Predictable Software - A Shortcut to Dependable Computing? |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | George Candea, Armando Fox |
End-User Effects of Microreboots in Three-Tiered Internet Systems |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox |
A Microrebootable System -- Design, Implementation, and Evaluation |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox |
Microreboot - A Technique for Cheap Recovery. |
OSDI |
2004 |
DBLP BibTeX RDF |
|
| 1 | James Norris, Keith Coleman, Armando Fox, George Candea |
OnCall: Defeating Spikes with a Free-Market Application Cluste. |
ICAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | George Candea, Emre Kiciman, Steve Zhang, Pedram Keyani, Armando Fox |
JAGR: An Autonomous Self-Recovering Application Server. |
Active Middleware Services |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | George Candea, Armando Fox |
Crash-Only Software. |
HotOS |
2003 |
DBLP BibTeX RDF |
|
| 1 | George Candea, Armando Fox |
A utility-centered approach to building dependable infrastructure services. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | George Candea, James Cutler, Armando Fox, Rushabh Doshi, Priyank Garg, Rakesh Gowda |
Reducing Recovery Time in a Small Recursively Restartable System. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | George Candea, Armando Fox |
Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel. |
HotOS |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")