George Candea

George Candea

École Polytechnique Fédérale de Lausanne - Lausanne / Switzerland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1147492
Eidgenössische Technische Hochschule Lausanne
person_outline George Candea's MOST POPULAR ARTICLES
1-) S2E: A platform for in-vivo multi-path analysis of software systemsV Chipounov, V Kuznetsov, G CandeaASPLOS (International Conference on Architectural Support for Programming …, 20118242011
2-) Code-pointer integrityV Kuznetsov, L Szekeres, M Payer, G Candea, R Sekar, D SongOSDI (USENIX Symposium on Operating Systems Design and Implementation), 147-163, 2014654*2014
3-) Recovery-oriented computing (ROC): Motivation, definition, techniques, and case studiesD Patterson, A Brown, P Broadwell, G Candea, M Chen, J Cutler, ...U.C. Berkeley Technical Report, 20026532002
4-) Microreboot: A technique for cheap recoveryG Candea, S Kawamoto, Y Fujiki, G Friedman, A FoxOSDI (Symposium on Operating Systems Design and Implementation), 3-3, 20046402004
5-) Efficient state merging in symbolic executionV Kuznetsov, J Kinder, S Bucur, G CandeaPLDI (Conference on Programming Language Design and Implementation), 20123822012