Yannis Smaragdakis

Artificial Intelligence · 2002–2018

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

Subfields

Whom Yannis Smaragdakis trusts overall

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

  1. John Whaley
  2. Martin Bravenboer
  3. Atsushi Igarashi
  4. Monica S. Lam
  5. Yoonsik Cheon
  6. Benjamin C. Pierce
  7. Mayur Naik
  8. Manu Sridharan
  9. Gary T. Leavens

Who trusts Yannis Smaragdakis overall

  1. Sven Apel
  2. Christian Kästner
  3. Gordon Fraser
  4. Ravi Mangal
  5. Carlos Pacheco
  6. Jacob Burnim
  7. Michael D. Ernst
  8. Xin Zhang
  9. Koushik Sen
  10. Stephan Lukasczyk

Papers from Yannis Smaragdakis's perspective

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

  1. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Refinement-based context-sensitive points-to analysis for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Strictly declarative specification of sophisticated points-to analyses (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  4. The C Programming Language
  5. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  6. Parameterized object sensitivity for points-to analysis for Java (TSEM)
  7. Effective static race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Test-infected: programmers love writing tests
  9. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
  10. Effective typestate verification in the presence of aliasing (TSEM)

Their papers