Yan Shoshitaishvili

Artificial Intelligence · 2015–2024

A researcher in the Science corpus: 5 papers; trusts 9 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Yan Shoshitaishvili trusts overall

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

  1. Cristian Cadar
  2. Sang Kil Cha
  3. Patrice Godefroid
  4. Hovav Shacham
  5. Leonardo de Moura
  6. Vitaly Chipounov
  7. Thanassis Avgerinos
  8. Christopher Krügel
  9. Nikolaj S. Bjørner
  10. Volodymyr Kuznetsov

Who trusts Yan Shoshitaishvili overall

  1. Guoxing Chen
  2. Insu Yun
  3. Hui Peng
  4. Andrea Fioraldi
  5. Cornelius Aschermann
  6. Sanchuan Chen
  7. Daniel Votipka
  8. Ruoyu Wang

Papers from Yan Shoshitaishvili's perspective

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

  1. EXE: automatically generating inputs of death
  2. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  3. Taint-based directed whitebox fuzzing (2009 IEEE 31st International Conference on Software Engineering)
  4. Pin: building customized program analysis tools with dynamic instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection (IEEE Symposium on Security and Privacy)
  6. QEMU, a Fast and Portable Dynamic Translator (USENIX ATC, FREENIX Track)
  7. S2E: a platform for in-vivo multi-path analysis of software systems (ASPLOS XVI)
  8. Unleashing Mayhem on Binary Code (IEEE Symposium on Security and Privacy)
  9. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  10. All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)

Their papers