Mechanising blockchain consensus G Pîrlea, I Sergey Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018 | 88 | 2018 |
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 | 45 | 2021 |
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 | 13 | 2021 |
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 | 1 | 2024 |
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 | 1 | 2020 |
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 |