Skip to content

Research at St Andrews

Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8

Research output: Chapter in Book/Report/Conference proceedingConference contribution

DOI

Open Access permissions

Open

Author(s)

Christopher Pulte, Shaked Flur, Will Deacon, Jon French, Susmit Sarkar, Peter Sewell

School/Research organisations

Details

Original languageEnglish
Title of host publicationProceedings of the ACM on Programming Languages (POPL '18)
Place of PublicationNew York
PublisherACM
Number of pages29
Volume2 Issue POPL
DOIs
StatePublished - Jan 2018
EventPOPL '18 45th ACM SIGPLAN Symposium on Principles of Programming Languages - Los Angeles, United States
Duration: 7 Jan 201813 Jan 2018
Conference number: 45
https://popl18.sigplan.org/

Conference

ConferencePOPL '18 45th ACM SIGPLAN Symposium on Principles of Programming Languages
Abbreviated titlePOPL
CountryUnited States
CityLos Angeles
Period7/01/1813/01/18
Internet address

    Research areas

  • Relaxed Memory Models, Semantics, Operational, Axiomatic

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Memory consistency models using constraints

    Akgün, Ö., Hoffmann, R. & Sarkar, S. 27 Aug 2018 The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y. Feb 2018 In : Future Generation Computer Systems. 79, Part 2, p. 653-668

    Research output: Contribution to journalArticle

  3. Verification of a lazy cache coherence protocol against a weak memory model

    Banks, C., Elver, M., Hoffmann, R., Sarkar, S., Jackson, P. & Nagarajan, V. 2 Oct 2017 Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD). ACM, p. 60-67

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Mixed-size Concurrency: ARM, POWER, C/C++11, and SC

    Flur, S., Sarkar, S., Pulte, C., Nienhuis, K., Maranget, L., Gray, K., Sezgin, A., Batty, M. & Sewell, P. 1 Jan 2017 Proceedings of the 44th annual ACM-SIGPLAN Symposium on Principles of programming languages. ACM, p. 429-442

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

    Castro, D., Hammond, K. & Sarkar, S. 4 Sep 2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. New York: ACM, p. 4-17

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

ID: 251634638