Artigos com autorizações de acesso público - Theodoros KasampalisSaiba mais
3 artigos disponíveis publicamente
A complete formal semantics of x86-64 user-level instruction set architecture
S Dasgupta, D Park, T Kasampalis, VS Adve, G Roşu
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
Autorizações: US National Science Foundation, US Department of Defense
Language-parametric compiler validation with application to LLVM
T Kasampalis, D Park, Z Lin, VS Adve, G Roşu
Proceedings of the 26th ACM International Conference on Architectural …, 2021
Autorizações: US National Science Foundation, US Department of Defense
IELE: A rigorously designed language and tool ecosystem for the blockchain
T Kasampalis, D Guth, B Moore, TF Șerbănuță, Y Zhang, D Filaretti, ...
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
Autorizações: US National Science Foundation, US Department of Defense
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador