Susmit Sarkar

University of St Andrews

H-index: 22

Europe-United Kingdom

About Susmit Sarkar

Susmit Sarkar, With an exceptional h-index of 22 and a recent h-index of 18 (since 2020), a distinguished researcher at University of St Andrews, specializes in the field of Relaxed memory, Concurrency, Programming Languages, Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Compound memory models

Towards a refactoring tool for dependently-typed programs

Proving renaming for Haskell via dependent types: a case-study in refactoring soundness

Fast and correct load-link/store-conditional instruction handling in DBT systems

Susmit Sarkar Information

University	University of St Andrews
Position	Reader
Citations(all)	3951
Citations(since 2020)	1516
Cited By	3149
hIndex(all)	22
hIndex(since 2020)	18
i10Index(all)	26
i10Index(since 2020)	19
Email	Access Email
University Profile Page	University of St Andrews
Google Scholar	View Google Scholar Profile

Susmit Sarkar Skills & Research Interests

Relaxed memory

Concurrency

Programming Languages

Verification

Top articles of Susmit Sarkar

Title	Journal	Author(s)	Publication Date
Compound memory models	Proceedings of the ACM on Programming Languages	Andrés Goens Soham Chakraborty Susmit Sarkar Sukarn Agarwal Nicolai Oswald ...	2023/6/6
Towards a refactoring tool for dependently-typed programs		Christopher Mark Brown Adam Barwell Simon Thompson Susmit Sarkar Edwin Charles Brady	2022/7/31
Proving renaming for Haskell via dependent types: a case-study in refactoring soundness	8th International workshop on rewriting techniques for program transformations and evaluation (WPTE 2021)	Adam David Barwell Christopher Mark Brown Susmit Sarkar	2021/7/18
Fast and correct load-link/store-conditional instruction handling in DBT systems	IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems	Martin Kristien Tom Spink Brian Campbell Susmit Sarkar Ian Stark ...	2020/10/2