• Sign in
  • Sign up
conf.researchr.org / George Pîrlea
  • ICFP 2021 profile
  • PLDI 2021 profile
  • POPL 2018 profile
  • POPL 2021 profile
  • POPL 2024 profile
  • SPLASH 2022 profile
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

2024

CPP

  • Author of Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic within the CPP 2024-track

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

2021

ICFP

  • Author of Certifying the Synthesis of Heap-Manipulating Programs within the Research Papers-track

PLDI

  • Author of Practical Smart Contract Sharding with Ownership and Commutativity Analysis within the PLDI-track

POPL

  • Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track

2018

CPP

  • Author of Mechanising Blockchain Consensus within the CPP 2018-track
Share
xSun 26 Oct 14:05
using conf.researchr.org (v1.72.1)
Support page
Sign Up