Gavin M. Bierman

Artificial Intelligence · 2005–2014

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

Subfields

Whom Gavin M. Bierman trusts overall

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

  1. John C. Reynolds
  2. Jeremy G. Siek
  3. Ravi Chugh
  4. Peter W. O'Hearn
  5. D. Clarke
  6. Walid Taha
  7. David Herman
  8. Sophia Drossopoulou
  9. Sam Tobin-Hochstadt

Who trusts Gavin M. Bierman overall

  1. Erik Krogh Kristensen
  2. T. T. Gomes
  3. Anders Møller
  4. Irene Vlassi Pandi
  5. Jiayi Wei
  6. Paras Jain
  7. Cristiano Calcagno
  8. Earl T. Barr
  9. Maruth Goyal
  10. Alvin Cheung

Papers from Gavin M. Bierman's perspective

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

  1. Towards Type Inference for JavaScript
  2. Local Reasoning about Programs that Alter Data Structures
  3. The Design and Implementation of Typed Scheme: From Scripts to Programs
  4. Towards a program logic for JavaScript
  5. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
  6. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
  7. Resources, Concurrency and Local Reasoning (International Conference on Concurrency Theory)
  8. Dependent types for JavaScript
  9. Separation logic: a logic for shared mutable data structures
  10. Ownership, encapsulation and the disjointness of type and effect (Conference on Object-Oriented Programming Systems, Languages, and Applications)

Their papers