Výsledky vyhledávání - "Jean Pichon-Pharabod"

Autor: Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner

Publikováno v: 24th international symposium of Formal Methods (FM21)
Formal Methods ISBN: 9783030908690
FM 2021-Formal Methods
FM 2021-Formal Methods, Nov 2021, Beijing, China. pp.1-19
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Formal Methods

International audience; WebAssembly (Wasm) is a new bytecode language supported by all major Web browsers, designed primarily to be an efficient compilation target for low-level languages such as C/C++ and Rust. It is unusual in that it is officially

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eafe1035d21cae31ed38b0752421b39a
http://hdl.handle.net/10044/1/91431

Zobrazit plný text záznamu

Weakening WebAssembly

Autor: Jean Pichon-Pharabod, Conrad Watt, Andreas Rossberg

Publikováno v: Proceedings of the ACM on Programming Languages. 3:1-28

WebAssembly (Wasm) is a safe, portable virtual instruction set that can be hosted in a wide range of environments, such as a Web browser. It is a low-level language whose instructions are intended to compile directly to bare hardware. While the initi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ea08e3cab26c5626be8db2105f50ad1
https://doi.org/10.1145/3360559

Zobrazit plný text záznamu

ARMv8-A system semantics: instruction fetch in relaxed architectures

Autor: Christopher Pulte, Alasdair Armstrong, Peter Sewell, Luc Maranget, Jean Pichon-Pharabod, Shaked Flur, Ben Simner

Publikováno v: ESOP 2020-29th European Symposium on Programming
ESOP 2020-29th European Symposium on Programming, Mar 2020, Dublin, Ireland
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030449131
ESOP
Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Programming Languages and Systems

Computing relies on architecture specifications to decouple hardware and software development. Historically these have been prose documents, with all the problems that entails, but research over the last ten years has developed rigorous and executabl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6381fb55d3b77293ae2261bf3ddf52a2
https://hal.inria.fr/hal-02509910/file/esop2020.pdf

Zobrazit plný text záznamu

Repairing and mechanising the JavaScript relaxed memory model

Autor: Anton Podkopaev, Christopher Pulte, Guillaume Barbier, Jean Pichon-Pharabod, Shaked Flur, Conrad Watt, Shu-yu Guo, Stephen K. Dolan

Publikováno v: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI

Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the JavaScript specification defines an axiomatic relaxed memory model to de

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe4d3ef82ef5ee8ff0d263f9f5db1dc7

Zobrazit plný text záznamu

Promising-ARM/RISC-V: a simpler and faster operational concurrency model

Autor: Sung-Hwan Lee, Jeehoon Kang, Chung-Kil Hur, Jean Pichon-Pharabod, Christopher Pulte

Publikováno v: PLDI

For ARMv8 and RISC-V, there are concurrency models in two styles, extensionally equivalent: axiomatic models, expressing the concurrency semantics in terms of global properties of complete executions; and operational models, that compute incrementall

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9de9bc1fa6d72111cfd7e0fffaa60285
https://doi.org/10.1145/3314221.3314624

Zobrazit plný text záznamu

A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions

Autor: Peter Sewell, Jean Pichon-Pharabod

Publikováno v: POPL

Copyright is held by the owner/author(s). Despite much research on concurrent programming languages, especially for Java and C/C++, we still do not have a satisfactory definition of their semantics, one that admits all common optimisations without al

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1355499366d237baabd8cde2758faa9b

Zobrazit plný text záznamu

The Problem of Programming Language Concurrency Semantics

Autor: Peter Sewell, Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod

Publikováno v: Programming Languages and Systems ISBN: 9783662466681
ESOP

Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language that aims to support concurrent systems code. The Java Memory Model has been shown to be unsound with respect to standard co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d21a6e30fe516ca19882ae0bd9d89c29
https://kar.kent.ac.uk/50271/1/c_concurrency_challenges.pdf

Zobrazit plný text záznamu

A separation logic for fictional sequential consistency

Autor: Lars Birkedal, Jean Pichon-Pharabod, Filip Sieczkowski, Kasper Svendsen

Publikováno v: Sieczkowski, F, Svendsen, K, Birkedal, L & Pichon-Pharabod, J 2015, A separation logic for fictional sequential consistency . in J Vitek (ed.), Programming Languages and Systems : 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 . Springer, Lecture Notes in Computer Science, vol. 9032, pp. 736-761, European Symposium on Programming, London, United Kingdom, 11/04/2015 . https://doi.org/10.1007/978-3-662-46669-8_30
Programming Languages and Systems ISBN: 9783662466681
ESOP

To improve performance, modern multiprocessors and pro- gramming languages typically implement relaxed memory models that do not require all processors/threads to observe memory operations in the same order. To relieve programmers from having to reas

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::51e0e07c6bce6c6c58f227b590e40e47
https://pure.au.dk/portal/da/publications/a-separation-logic-for-fictional-sequential-consistency(9344b98e-9d75-4003-bc46-38c82510c33f).html

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání