Zobrazeno 1 - 10
of 56
pro vyhledávání: '"Lange, Julien"'
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 4 (November 22, 2023) lmcs:10238
Existing models for the analysis of concurrent processes tend to focus on fail-stop failures, where processes are either working or permanently stopped, and their state (working/stopped) is known. In fact, systems are often affected by grey failures:
Externí odkaz:
http://arxiv.org/abs/2210.17508
Publikováno v:
EPTCS 356, 2022, pp. 36-45
We extend the theory behind the Faial tool-chain, which can soundly prove that CUDA programs (aka, kernels) are data-race free using specialized behavioral types called memory access protocols (MAPs). In this paper we extend the theory of MAPs to cha
Externí odkaz:
http://arxiv.org/abs/2203.12878
Theories and tools based on multiparty session types offer correctness guarantees for concurrent programs that communicate using message-passing. These guarantees usually come at the cost of an intrinsically top-down approach, which requires the comm
Externí odkaz:
http://arxiv.org/abs/2111.12147
Publikováno v:
EPTCS 347, 2021
This volume contains the proceedings of ICE'21, the 14th Interaction and Concurrency Experience, which was held online on the 18th of June 2021, as a satellite event of DisCoTec'21. The ICE workshop series features a distinguishing review and selecti
Externí odkaz:
http://arxiv.org/abs/2109.14908
Session types are becoming popular and have been integrated in several mainstream programming languages. Nevertheless, while many programming languages consider asynchronous fifo channel communication, the notion of subtyping used in session type imp
Externí odkaz:
http://arxiv.org/abs/2104.12455
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 4 (October 7, 2024) lmcs:12368
Session types are widely used as abstractions of asynchronous message passing systems. Refinement for such abstractions is crucial as it allows improvements of a given component without compromising its compatibility with the rest of the system. In t
Externí odkaz:
http://arxiv.org/abs/2101.08181
Publikováno v:
EPTCS 324, 2020
This volume contains the proceedings of ICE'20, the 13th Interaction and Concurrency Experience, which was held online on the 19th of June 2020, as a satellite event of DisCoTec'20. The ICE workshop series features a distinguishing review and selecti
Externí odkaz:
http://arxiv.org/abs/2009.07628
Autor:
Griesemer, Robert, Hu, Raymond, Kokke, Wen, Lange, Julien, Taylor, Ian Lance, Toninho, Bernardo, Wadler, Philip, Yoshida, Nobuko
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structural, and whereas generics in Java are defined via erasure, in Go we use
Externí odkaz:
http://arxiv.org/abs/2005.11710
Autor:
Dilley, Nicolas, Lange, Julien
Publikováno v:
EPTCS 314, 2020, pp. 34-45
This paper describes a static verification framework for the message-passing fragment of the Go programming language. Our framework extracts models that over-approximate the message-passing behaviour of a program. These models, or behavioural types,
Externí odkaz:
http://arxiv.org/abs/2004.01323