George Pîrlea

12 papers A* 3B 3Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Foundational Multi-Modal Program Verifiers.
Proc. ACM Program. Lang.
Vladimir Gladshtein, George Pîrlea, Qiyuan Zhao, Vitaly Kurin, Ilya Sergey
2025 B conf
Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference.
ICLP
Ziyi Yang, George Pîrlea, Ilya Sergey
2025 — conf
Veil: A Framework for Automated and Interactive Verification of Transition Systems.
CAV (3)
George Pîrlea, Vladimir Gladshtein, Elad Kinsbruner, Qiyuan Zhao, Ilya Sergey
2024 A* conf
Compositional Verification of Composite Byzantine Protocols.
CCS
Qiyuan Zhao, George Pîrlea, Karolina Grzeszkiewicz, Seth Gilbert, Ilya Sergey
2024 B conf
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic.
CPP
Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey
2024 J jnl
Small Scale Reflection for the Working Lean User.
CoRR
Vladimir Gladshtein, George Pîrlea, Ilya Sergey
2023 J jnl
Distributed System Fuzzing.
CoRR
Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey
2023 A* conf
Greybox Fuzzing of Distributed Systems.
CCS
Ruijie Meng, George Pîrlea, Abhik Roychoudhury, Ilya Sergey
2021 J jnl
Certifying the synthesis of heap-manipulating programs.
Proc. ACM Program. Lang.
Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, Ilya Sergey
2021 A* conf
Practical smart contract sharding with ownership and commutativity analysis.
PLDI
George Pîrlea, Amrit Kumar, Ilya Sergey
2020 J jnl
Compiling a Higher-Order Smart Contract Language to LLVM.
CoRR
Vaivaswatha Nagaraj, Jacob Johannsen, Anton Trunov, George Pîrlea, Amrit Kumar, Ilya Sergey
2018 B conf
Mechanising blockchain consensus.
CPP
George Pîrlea, Ilya Sergey