Computer Science @ University of St Andrews

University of St Andrews crest

Dr Susmit Sarkar

Reader - School of Computer Science

Full research profile

Email: susmit.sarkar@st-andrews.ac.uk

Office: JC0.17 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 1631

Web: https://ss265.host.cs.st-andrews.ac.uk

Recent Publications

Akgün, Ö, Hoffmann, R & Sarkar, S 2018, Memory consistency models using constraints. in The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. 24th International Conference on Principles and Practice of Constraint Programming (CP 2018), Lille, France, 27/08/18.

Pulte, C, Flur, S, Deacon, W, French, J, Sarkar, S & Sewell, P 2018, Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8. in Proceedings of the ACM on Programming Languages (POPL '18). vol. 2 Issue POPL, 19, ACM, New York, POPL '18 45th ACM SIGPLAN Symposium on Principles of Programming Languages, Los Angeles, United States, 7/01/18. https://doi.org/10.1145/3158107

Banks, C, Elver, M, Hoffmann, R, Sarkar, S, Jackson, P & Nagarajan, V 2017, Verification of a lazy cache coherence protocol against a weak memory model. in Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD). ACM, pp. 60-67, Formal Methods in Computer-Aided Design (FMCAD), Vienna, Austria, 2/10/17.

Flur, S, Sarkar, S, Pulte, C, Nienhuis, K, Maranget, L, Gray, K, Sezgin, A, Batty, M & Sewell, P 2017, Mixed-size concurrency: ARM, POWER, C/C++11, and SC. in Proceedings of the 44th annual ACM-SIGPLAN Symposium on Principles of programming languages. ACM, pp. 429-442, POPL'17 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, 15/01/17. https://doi.org/10.1145/3009837.3009839

Castro, D, Hammond, K & Sarkar, S 2016, Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. ACM, New York, pp. 4-17, ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18/09/16. https://doi.org/10.1145/2951913.2951920

Flur, S, Gray, K, Pulte, C, Sarkar, S, Maranget, L, Sezgin, A, Deacon, W & Sewell, P 2016, Modelling the ARMv8 architecture, operationally: concurrency and ISA. in Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York, pp. 608-621, POPL '16 The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St Petersburg, Florida, United States, 20/01/16. https://doi.org/10.1145/2837614.2837615

Hammond, K, Brown, CM & Sarkar, S 2016, Timing properties and correctness for structured parallel programs on x86-64 multicores. in M van Eekelen & U Dal Lago (eds), Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers. Lecture Notes in Computer Science, vol. 9964, Springer, pp. 101-125, 4th International Workshop, Foundational and Practical Aspects of Resource Analysis (FOPARA 2015), London, United Kingdom, 11/04/15. https://doi.org/10.1007/978-3-319-46559-3_6

Gray, K, Kerneis, G, Mulligan, D, Pulte, C, Sarkar, S & Sewell, P 2015, An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors. in MICRO-48 Proceedings of the 48th International Symposium on Microarchitecture . ACM, New York, pp. 635-646, The 48th International Symposium on Microarchitecture, 2015 MICRO-48, Waikiki, Hawaii, United States, 5/12/15. https://doi.org/10.1145/2830772.2830775