Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Rubiano
conf.researchr.org general profile
POPL 2023 profile
Not registered as user
Name:
Thomas Rubiano
Contributions
2023
CoqPL
Author of Certifying Complexity Analysis within the CoqPL 2023-track
VMCAI
Author of Distributing and Parallelizing Non-canonical Loops within the VMCAI 2023-track
Share
x
Sun 22 Dec 03:33