Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Stiévenart, Quentin"'
WebAssembly has attracted great attention as a portable compilation target for programming languages. To facilitate in-depth studies about this technology, we have deployed Wasmizer, a tool that regularly mines GitHub projects and makes an up-to-date
Externí odkaz:
http://arxiv.org/abs/2303.09623
WebAssembly is a growing technology to build cross-platform applications. We aim to understand the security issues that developers encounter when adopting WebAssembly. We mined WebAssembly questions on Stack Overflow and identified 359 security-relat
Externí odkaz:
http://arxiv.org/abs/2208.00258
WebAssembly is a compilation target for cross-platform applications that is increasingly being used. In this paper, we investigate whether one can transparently cross-compile C programs to WebAssembly, and if not, what impact porting can have on thei
Externí odkaz:
http://arxiv.org/abs/2112.11745
WebAssembly is increasingly used as the compilation target for cross-platform applications. In this paper, we investigate whether one can rely on the security measures enforced by existing C compilers when compiling C programs to WebAssembly. We comp
Externí odkaz:
http://arxiv.org/abs/2111.01421
Publikováno v:
In The Journal of Systems & Software June 2023 200
Publikováno v:
In Computer Languages, Systems & Structures September 2017 49:62-81
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Front Matter, Table of Contents, Preface, Conference Organization
DARTS, Vol. 7, Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021), pages 0:i-0:xi
DARTS, Vol. 7, Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021), pages 0:i-0:xi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::888d8286ba650d5725606bfe06b75bd8
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Properties such as the absence of errors or bounds on mailbox sizes are hard to deduce statically for actor-based programs. This is because actor-based programs exhibit several sources of unboundedness, in addition to the non-determinism that is inhe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d97e0dfe5bcb45d7e3cb942f651dd7f5
https://biblio.vub.ac.be/vubir/mailbox-abstractions-for-static-analysis-of-actor-programs(6f150759-f01d-485d-91a9-e97d6857ef7d).html
https://biblio.vub.ac.be/vubir/mailbox-abstractions-for-static-analysis-of-actor-programs(6f150759-f01d-485d-91a9-e97d6857ef7d).html