/

Workspace

Research & Review

Writing & Publishing

Data & Analysis

Utilities

Account

User Settings

S

Susmit Sarkar

University of St Andrews(GB)

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

61

Papers

3.6K

Citations

27

h-index

32

i10-index

Susmit Sarkar is an academic researcher from University of St Andrews. The author has contributed to research in topics: Parallel Computing and Optimization Techniques & Distributed systems and fault tolerance & Logic, programming, and type systems. The author has an h-index of 27, co-authored 52 publications.

ORCID: 0000-0002-4259-9213

Research Topics

Parallel Computing and Optimization Techniques Distributed systems and fault tolerance Logic, programming, and type systems Embedded Systems Design Techniques Distributed and Parallel Computing Systems

Papers by this author

works

The semantics of x86-CC multiprocessor machine code

2009 · 154 citations

https://doi.org/10.1145/1480881.1480929

Susmit Sarkar Peter Sewell Francesco Zappa Nardelli Scott Owens

Modelling the ARMv8 architecture, operationally: concurrency and ISA

2016 · 135 citations

https://doi.org/10.1145/2837614.2837615

Shaked Flur Kathryn E. Gray Christopher Pulte Susmit Sarkar

Foundational Certified Code in a Metalogical Framework

2008 · Research Showcase @ Carnegie Mellon University (Carnegie Mellon University) · 1 citations

https://doi.org/10.1184/r1/6605846

Karl Crary Susmit Sarkar

Research topics

topics

Parallel Computing and Optimization Techniques

Distributed systems and fault tolerance

Logic, programming, and type systems

Embedded Systems Design Techniques

Distributed and Parallel Computing Systems

Chat about Author

Papers

Chat

Click to start Chat