Vitaly Chipounov

Software · 2011

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

Subfields

• Software — 17 citations into it; #885 of 1,227 by trust here, #674 by citations
• Artificial Intelligence — 14 citations into it
• Computer Networks and Communications — 11 citations into it; #7,407 of 9,886 by trust here, #5,733 by citations
• Hardware and Architecture — 9 citations into it; #1,074 of 1,551 by trust here, #908 by citations
• Computational Theory and Mathematics — 8 citations into it
• Signal Processing — 8 citations into it

Whom Vitaly Chipounov trusts overall

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

1. Patrice Godefroid
2. Cristian Cadar
3. Koushik Sen
4. Chris Lattner
5. Thomas Ball
6. Dawn Song
7. Chi-Keung Luk
8. Vijay Ganesh
9. Dawson R. Engler
10. Nils Klarlund

Who trusts Vitaly Chipounov overall

1. Yan Shoshitaishvili
2. Sang Kil Cha
3. Insu Yun
4. Ruoyu Wang
5. Thanassis Avgerinos
6. Sangho Lee

Papers from Vitaly Chipounov's perspective

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

1. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. Symbolic execution and program testing
3. EXE: automatically generating inputs of death
4. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
5. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
6. Compositional dynamic test generation (ACM-SIGACT Symposium on Principles of Programming Languages)
7. LLVM: a compilation framework for lifelong program analysis & transformation
8. Pin: building customized program analysis tools with dynamic instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. QEMU, a Fast and Portable Dynamic Translator (USENIX ATC, FREENIX Track)
10. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

Their papers

• S2E: a platform for in-vivo multi-path analysis of software systems (2011) — 757 citations