Concepedia

Susmit Sarkar

SS

27

Publications

2.7K

Citations

22

H-Index

2007

Active since

Affiliations

University of Cambridge(Current)

Institut national de recherche en sciences et technologies du numérique

University of St Andrews

University of Oxford

IBM Research - Austin

Susmit Sarkar is an author at University of Cambridge specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsComputer ArchitectureParallel ComputingSystem SoftwareComputer EngineeringParallel ProgrammingFormal Verification

Publications per year

2007–2021

27

Publications

27

x86-TSO

Peter Sewell, Susmit Sarkar, Scott Owens et al. · Communications of the ACM · 2010 · 445 citations

Engineering, Program Analysis, Concurrent Programming +15

Mathematizing C++ concurrency

Mark Batty, Scott Owens, Susmit Sarkar et al. · 2011 · 261 citations

Engineering, Computer Architecture, Concurrent System +17

Mathematizing C++ concurrency

Mark Batty, Scott Owens, Susmit Sarkar et al. · ACM SIGPLAN Notices · 2011 · 249 citations

C++ Programs, Engineering, Computer Architecture +16

Understanding POWER multiprocessors

Susmit Sarkar, Peter Sewell, Jade Alglave et al. · 2011 · 190 citations

Heterogeneous Computing, Engineering, Computer Architecture +19

Understanding POWER multiprocessors

Susmit Sarkar, Peter Sewell, Jade Alglave et al. · ACM SIGPLAN Notices · 2011 · 168 citations

Engineering, Computer Architecture, Power Multiprocessors +21

Rows per page

1–5 of 27