• Sign in
  • Sign up
conf.researchr.org / Paolo Torrini
  • PEPM 2015 profile
  • POPL 2019 profile
  • POPL 2022 profile
No Photo

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
xThu 22 May 17:24
using conf.researchr.org (v1.69.0)
Support page
Sign Up