Susmit Sarkar

Computer Networks and Communications · 2009–2011

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

Subfields

Whom Susmit Sarkar trusts overall

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

  1. Scott Owens
  2. Jeremy Manson

Papers from Susmit Sarkar's perspective

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

  1. The Java memory model (ACM-SIGACT Symposium on Principles of Programming Languages)
  2. Foundations of the C++ concurrency memory model (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. A Better x86 Memory Model: x86-TSO (International Conference on Theorem Proving in Higher Order Logics)
  4. Formalising Java's Data Race Free Guarantee (International Conference on Theorem Proving in Higher Order Logics)
  5. Kodkod: A Relational Model Finder (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  6. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  8. Java Concurrency in Practice
  9. Concepts, Techniques, and Models of Computer Programming
  10. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)

Their papers