Следене
George Pîrlea
George Pîrlea
PhD student at NUS
Потвърден имейл адрес: u.nus.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
Mechanising blockchain consensus
G Pîrlea, I Sergey
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
812018
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
352021
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
92021
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
12023
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
Distributed System Fuzzing
R Meng, G Pîrlea, A Roychoudhury, I Sergey
arXiv preprint arXiv:2305.02601, 2023
2023
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–6