Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Theodoros Kasampalis"'
Publikováno v:
ASPLOS
We propose a new design for a Translation Validation (TV) system geared towards practical use with modern optimizing compilers, such as LLVM. Unlike existing TV systems, which are custom-tailored for a particular sequence of transformations and a spe
Publikováno v:
PLDI
We present the most complete and thoroughly tested formal semantics of x86-64 to date. Our semantics faithfully formalizes all the non-deprecated, sequential user-level instructions of the x86-64 Haswell instruction set architecture. This totals 3155
Autor:
Brandon Moore, Virgil Șerbănuță, Traian Florin Șerbănuță, Yi Zhang, Daniele Filaretti, Grigore Rosu, Dwight Guth, Ralph E. Johnson, Theodoros Kasampalis
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030309411
FM
FM
This paper proposes IELE, an LLVM-style language, together with a tool ecosystem for implementing and formally reasoning about smart contracts on the blockchain. IELE was designed by specifying its semantics formally in the K framework. Its implement
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6ba2d82ecfc6bf41c3e03cb7dbf9df3
https://doi.org/10.1007/978-3-030-30942-8_35
https://doi.org/10.1007/978-3-030-30942-8_35
Publikováno v:
ASPLOS
Monolithic operating system designs undermine the security of computing systems by allowing single exploits anywhere in the kernel to enjoy full supervisor privilege. The nested kernel operating system architecture addresses this problem by "nesting"
Autor:
Kun Feng, Xian-He Sun, Yin Lu, Anthony Kougkas, Rajeev Thakur, Yong Chen, Hassan Eslami, Maria Kotsifakou, William Gropp, Theodoros Kasampalis
Publikováno v:
DISCS@SC
Many applications foreseen for exascale era should process huge amount of data. However, the IO infrastructure of current supercomputing architecture cannot be generalized to deal with this amount of data due to the need for excessive data movement f