Susmit Sarkar

Phone+44 (0)1334 461631
EmailSusmit.Sarkarst-andrews.acuk

KY16 9SS
United Kingdom

Accepting Postgraduate Research Students

PhD projects

Shared memory concurrency; verification; parallelism; programming languages; compilers; static analysis; hardware architecture design; memory consistency models

26 Conference contribution
13 Article
1 Paper

1 results

Filter

2022
Towards a refactoring tool for dependently-typed programs (Extended abstract)
Brown, C. M., Barwell, A., Thompson, S., Sarkar, S. & Brady, E. C., 31 Jul 2022. 8 p.
Research output: Contribution to conference › Paper › peer-review

File

Susmit Sarkar

Research output

Search results

Towards a refactoring tool for dependently-typed programs (Extended abstract)