conf.researchr.org / Susmit Sarkar
Susmit Sarkar

Registered user since Sun 2 Jun 2019

Name: Susmit Sarkar

Affiliation: University of St. Andrews

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

Research interests: Programming Languages, Architecture, Memory Consistency Models

Contributions

POPL 2020Committee Member in Program Committee within the Research Papers-track
POPL 2018Author of Simplifying ARM Concurrency: Multicopy-Atomic Axiomatic and Operational Models for ARMv8 within the Research Papers-track
Author of Simplifying ARM Concurrency: Multicopy-atomic Axiomatic and Operational Models for ARMv8 within the Artifact Evaluation-track
POPL 2017Author of Mixed-size Concurrency: ARM, POWER, C/C++11, and SC within the POPL-track
ICFP 2016Author of Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms within the Research Papers-track
POPL 2016Author of Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA within the Research Papers-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track