Susmit Sarkar
University of St Andrews
H-index: 22
Europe-United Kingdom
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 |