Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Paolo Torrini
conf.researchr.org general profile
PEPM 2015 profile
POPL 2019 profile
POPL 2022 profile
Registered user since Thu 31 Jan 2019
Name:
Paolo Torrini
Contributions
2022
PriSC
Author of A CompCert backend with symbolic encryption within the PriSC 2022-track
2019
CoqPL
Author of Reifying and Translating a Monadic Fragment of Gallina within the CoqPL-track
2015
PEPM
Author of Imperative Polymorphism by Store-Based Types as Abstract Interpretations within the PEPM 2015-track
Share
x
Thu 21 Nov 11:52