Seguir
George Pîrlea
George Pîrlea
PhD student at NUS
E-mail confirmado em u.nus.edu - Página inicial
Título
Citado por
Citado por
Ano
Mechanising blockchain consensus
G Pîrlea, I Sergey
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
832018
Practical smart contract sharding with ownership and commutativity analysis
G Pîrlea, A Kumar, I Sergey
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
392021
Certifying the Synthesis of Heap-Manipulating Programs
Y Watanabe, K Gopinathan, G Pîrlea, N Polikarpova, I Sergey
Proceedings of the ACM on Programming Languages 5 (ICFP), 2021
102021
Greybox Fuzzing of Distributed Systems
R Meng, G Pîrlea, A Roychoudhury, I Sergey
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
5*2023
Compiling a Higher-Order Smart Contract Language to LLVM
V Nagaraj, J Johannsen, A Trunov, G Pîrlea, A Kumar, I Sergey
arXiv preprint arXiv:2008.05555, 2020
12020
Small Scale Reflection for the Working Lean User
V Gladshtein, G Pîrlea, I Sergey
arXiv preprint arXiv:2403.12733, 2024
2024
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic
Q Zhao, G Pîrlea, Z Ang, U Mathur, I Sergey
Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024
2024
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–7