Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Carmine Abate
conf.researchr.org general profile
POPL 2021 profile
POPL 2022 profile
SPLASH 2021 profile
Registered user since Thu 26 Nov 2020
Name:
Carmine Abate
Affiliation:
Huawei Dresden Research Center
Contributions
2022
PriSC
Author of The Fox and the Hound (Episode 2): Fully Abstract, Robust Compilation and How to Reconcile the Two, Abstractly within the PriSC 2022-track
2021
APLAS
Author of Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly within the Research Papers-track
PriSC
Author of The Fox and the Hound: Comparing Fully Abstract and Robust Compilation within the PriSC 2021-track
Share
x
Fri 11 Jul 02:01