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
872018
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
452021
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
112021
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
6*2023
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
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