George Candea

Artificial Intelligence · 2002–2014

A researcher in the Science corpus: 4 papers; trusts 6 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

Artificial Intelligence — 47 citations into it
Computer Networks and Communications — 34 citations into it; #7,405 of 9,886 by trust here, #4,594 by citations
Signal Processing — 31 citations into it
Hardware and Architecture — 22 citations into it; #1,072 of 1,551 by trust here, #708 by citations
Software — 17 citations into it; #884 of 1,227 by trust here, #674 by citations
Computational Theory and Mathematics — 9 citations into it
Program Analysis & Verification — 6 citations into it

Their strongest outbound trust, strongest first, inferred from their citations.

Ordered by how strongly the researchers George Candea trusts endorse each paper. Same corpus, a different order for every researcher.

Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
EXE: automatically generating inputs of death
DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Symbolic execution and program testing
Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
Preventing Memory Error Exploits with WIT (IEEE Symposium on Security and Privacy)
CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
Pin: building customized program analysis tools with dynamic instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Securing software by enforcing data-flow integrity (USENIX Symposium on Operating Systems Design and Implementation)
Compositional dynamic test generation (ACM-SIGACT Symposium on Principles of Programming Languages)