Jeremy Condit

Artificial Intelligence · 2003–2009

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

Subfields

Whom Jeremy Condit trusts overall

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

  1. George C. Necula
  2. Benjamin C. Lee
  3. Scott McPeak
  4. Matt Welsh
  5. Manuvir Das

Who trusts Jeremy Condit overall

  1. Shimin Chen
  2. XiaoJian Wu
  3. Steven Pelley
  4. Jun Yang
  5. Hao Zhang
  6. Livio Baldini Soares
  7. Qin Jin
  8. A. L. Narasimha Reddy
  9. Onur Mutlu
  10. Santosh Nagarakatte

Papers from Jeremy Condit's perspective

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

  1. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  2. Unification-based pointer analysis with directional assignments (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
  4. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  5. Soft typing
  6. The nesC language: A holistic approach to networked embedded systems (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. A durable and energy efficient main memory using phase change memory technology (International Symposium on Computer Architecture)
  8. Scalable high performance main memory system using phase-change memory technology (International Symposium on Computer Architecture)
  9. Architecting phase change memory as a scalable dram alternative (International Symposium on Computer Architecture)
  10. SEDA: an architecture for well-conditioned, scalable internet services (Symposium on Operating Systems Principles)

Their papers