George Pîrlea

According to our database, George Pîrlea authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Small Scale Reflection for the Working Lean User.

Vladimir Gladshtein, George Pîrlea, Ilya Sergey

CoRR, 2024

Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic.

Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

Compositional Verification of Composite Byzantine Protocols.

Qiyuan Zhao, George Pîrlea, Karolina Grzeszkiewicz, Seth Gilbert, Ilya Sergey

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Distributed System Fuzzing.

Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey

CoRR, 2023

Greybox Fuzzing of Distributed Systems.

Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2021

Certifying the synthesis of heap-manipulating programs.

Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, Ilya Sergey

Proc. ACM Program. Lang., 2021

Practical smart contract sharding with ownership and commutativity analysis.

George Pîrlea, Amrit Kumar, Ilya Sergey

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Compiling a Higher-Order Smart Contract Language to LLVM.

Vaivaswatha Nagaraj, Jacob Johannsen, Anton Trunov, George Pîrlea, Amrit Kumar, Ilya Sergey

CoRR, 2020

2018

Mechanising blockchain consensus.

George Pîrlea, Ilya Sergey

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018