conf.researchr.org / George Pîrlea
Registered user since Wed 6 Dec 2017
Name:George Pîrlea
Affiliation:National University of Singapore, Singapore
Personal website: https://pirlea.net
Contributions
2026
Dafny
2022
SPLASH
- Author of Practical Smart Contract Sharding with Ownership and Commutativity Analysis within the COVID Time Papers In Person-track
- In-person student volunteer in Organizers within the Student Volunteers-track
- Author of Certifying the Synthesis of Heap-Manipulating Programs within the COVID Time Papers In Person-track