George Pîrlea

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 8

Top Topics

Distributed Systems

Predicate Invention

Top Venues

Proc. ACM Program. Lang.

Publications

Vladimir Gladshtein, George Pîrlea, Ilya Sergey
Small Scale Reflection for the Working Lean User. CoRR (2024)
Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic. CPP (2024)
Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey
Distributed System Fuzzing. CoRR (2023)
Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey
Greybox Fuzzing of Distributed Systems. CCS (2023)
George Pîrlea, Amrit Kumar, Ilya Sergey
Practical smart contract sharding with ownership and commutativity analysis. PLDI (2021)
Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, Ilya Sergey
Certifying the synthesis of heap-manipulating programs. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Vaivaswatha Nagaraj, Jacob Johannsen, Anton Trunov, George Pîrlea, Amrit Kumar, Ilya Sergey
Compiling a Higher-Order Smart Contract Language to LLVM. CoRR (2020)
George Pîrlea, Ilya Sergey
Mechanising blockchain consensus. CPP (2018)