Seguir
George Pîrlea
George Pîrlea
PhD student at NUS
Dirección de correo verificada de u.nus.edu - Página principal
Título
Citado por
Citado por
Año
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
382021
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–7