Takip et
George Pîrlea
George Pîrlea
PhD student at NUS
u.nus.edu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Mechanising blockchain consensus
G Pîrlea, I Sergey
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
892018
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
532021
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
21*2023
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
162021
Small Scale Reflection for the Working Lean User
V Gladshtein, G Pîrlea, I Sergey
arXiv preprint arXiv:2403.12733, 2024
12024
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
Compositional Verification of Composite Byzantine Protocols
Q Zhao, G Pîrlea, K Grzeszkiewicz, S Gilbert, I Sergey
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–8