George Candea

This person has left EPFL

About
Privacy
Disclaimer

Graph Chatbot

Related publications (67)

Page 4 of 4

System and method for in-vivo multi-path analysis of binary software

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

A system and method for in-vivo multi-path analysis and testing of binary software including binary device drivers is disclosed. The system and method may be used to test a binary software system and may comprise a virtual machine, a symbolic execution eng ...

2012

Mitigating Anonymity Challenges in Automated Testing and Debugging Systems

George Candea, Silviu Andrica

Modern software often provides automated testing and bug reporting facilities that enable developers to improve the software after release. Alas, this comes at the cost of user anonymity: reported execution traces may identify users. We present a way to mi ...

2013

Toward Quantifying System Manageability

George Candea

Manageability directly influences a system's reliability, availability, security, and safety, thus being a key ingredient of system dependability. Alas, we do not have today a good way to measure manageability or reason quantitatively about it, and this is ...

2008

Performance Contracts for Software Network Functions

George Candea, Aikaterini Argyraki, Solal Vincenzo Pirelli, Luis David Figueiredo Mascarenhas Moreira Pedrosa, Arseniy Zaostrovnykh, Rishabh Ramesh Iyer

Software network functions (NFs), or middleboxes, promise flexibility and easy deployment of network services but face the serious challenge of unexpected performance behaviour. We propose the notion of a performance contract, a construct formulated in ter ...

USENIX ASSOC2019

Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures

George Candea, Baris Can Cengiz Kasikci

2015

The Tests-versus-Proofs Conundrum

George Candea

Ieee Computer Soc2014

Deprogramming Large Software Systems

George Candea

Developers turn ideas, designs and patterns into source code, then compile the source code into executables. Decompiling turns executables back into source code, and deprogramming turns code back into designs and patterns. In this paper we introduce DeP, a ...

2008