Susmit Sarkar

Employment

• University of St Andrews

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (46)

• Towards specification-guarded refactoring
  Logic-based program synthesis and transformation 2024 DOI: 10.1007/978-3-031-71294-4_9
  +Save
• Compound memory models
  Proceedings of the ACM on Programming Languages 2023 DOI: 10.1145/3591267
  +Save
• Towards a refactoring tool for dependently-typed programs (Extended abstract)
  9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, Haifa, Israel, 31/07/22 2022
  +Save
• Proving renaming for Haskell via dependent types
  8th International workshop on rewriting techniques for program transformations and evaluation (WPTE 2021) 2021
  +Save
• Fast and correct load-link/store-conditional instruction handling in DBT systems
  CASES '20: Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems 2020 DOI: 10.1109/TCAD.2020.3013048
  +Save
• Memory consistency models using constraints
  The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings 2018
  +Save
• Simplifying ARM concurrency
  Proceedings of the ACM on Programming Languages (POPL '18) 2018 DOI: 10.1145/3158107
  +Save
• Automatically deriving cost models for structured parallel processes using hylomorphisms
  Future Generation Computer Systems 2018 DOI: 10.1016/j.future.2017.04.035
  +Save
• Verification of a lazy cache coherence protocol against a weak memory model
  Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017) 2017
  +Save
• Mixed-size concurrency: ARM, POWER, C/C++11, and SC
  Conference Record of the Annual ACM Symposium on Principles of Programming Languages 2017 DOI: 10.1145/3009837.3009839
  +Save