Search
for Author
All Reviews
Candea, George
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Prototyping symbolic execution engines for interpreted languages
Bucur S., Kinder J., Candea G. ASPLOS 2014 (Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems, Salt Lake City, UT, Mar 1-5, 2014) 239-254, 2014. Type: Proceedings
While extensive testing is undoubtedly useful, it is also tedious. Automating this task as much as is feasible is an active research area; it has been more successfully applied (until now) to statically typed compiled languages. This w...
...
Apr 9 2014
Recovery-Oriented Computing: Building Multitier Dependability
Candea G., Brown A., Fox A., Patterson D. Computer 37(11): 60-67, 2004. Type: Article
High uptimes for business critical applications are essential in today’s business environment, which demands 24/7 availability. Recovery-oriented computing takes an interesting approach to providing recovery mechanisms that o...
...
Jun 22 2005
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy