George Candea combines Dependability and Software engineering in his research. George Candea performs multidisciplinary studies into Software engineering and Dependability in his work. As part of his studies on Distributed computing, he often connects relevant subjects like High availability. High availability is closely attributed to Distributed computing in his study. He integrates Crash with Operating system in his research. George Candea performs integrative study on Operating system and Crash in his works. His study deals with a combination of The Internet and Software. His study deals with a combination of Software and The Internet. While working in this field, he studies both Software system and Component-based software engineering.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
S2E: a platform for in-vivo multi-path analysis of software systems
Vitaly Chipounov;Volodymyr Kuznetsov;George Candea.
architectural support for programming languages and operating systems (2011)
Recovery Oriented Computing (ROC): Motivation, Definition, Techniques, and Case Studies
David Patterson;Aaron Brown;Pete Broadwell;George Candea.
(2002)
Microreboot — A technique for cheap recovery
George Candea;Shinichi Kawamoto;Yuichi Fujiki;Greg Friedman.
operating systems design and implementation (2004)
Code-pointer integrity
Volodymyr Kuznetsov;László Szekeres;Mathias Payer;George Candea.
operating systems design and implementation (2014)
Parallel symbolic execution for automated real-world software testing
Stefan Bucur;Vlad Ureche;Cristian Zamfir;George Candea.
european conference on computer systems (2011)
Efficient state merging in symbolic execution
Volodymyr Kuznetsov;Johannes Kinder;Stefan Bucur;George Candea.
programming language design and implementation (2012)
Execution synthesis: a technique for automated software debugging
Cristian Zamfir;George Candea.
european conference on computer systems (2010)
Cloud9: a software testing service
Liviu Ciortea;Cristian Zamfir;Stefan Bucur;Vitaly Chipounov.
Operating Systems Review (2010)
Recursive restartability: turning the reboot sledgehammer into a scalpel
G. Candea;A. Fox.
Proceedings Eighth Workshop on Hot Topics in Operating Systems (2001)
Crash-only software
George Candea;Armando Fox.
hot topics in operating systems (2003)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
University of California, Berkeley
University of California, Berkeley
National Taiwan University
Microsoft (United States)
Databricks
École Polytechnique Fédérale de Lausanne
École Polytechnique Fédérale de Lausanne
École Polytechnique Fédérale de Lausanne
Microsoft (United States)
University of California, Berkeley
Harvard University
Concordia University
Queen's University Belfast
Cardiff University
École des Mines de Saint-Étienne
Seoul National University
University of Bonn
University of Michigan–Ann Arbor
Osaka University
Harvard University
University of Toronto
Bielefeld University
Queen's University
Princeton University
Harvard University
Catholic University of America