Follow
George Pîrlea
George Pîrlea
PhD student at NUS
Verified email at u.nus.edu - Homepage
Title
Cited by
Cited by
Year
Mechanising blockchain consensus
G Pîrlea, I Sergey
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
822018
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
82021
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
32023
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
The system can't perform the operation now. Try again later.
Articles 1–7