Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aquinas Hobor
conf.researchr.org general profile
APLAS 2019 profile
ISSTA 2019 profile
POPL 2019 profile
POPL 2020 profile
POPL 2022 profile
SPLASH 2019 profile
SPLASH 2022 profile
Registered user since Sun 28 Jun 2015
Name:
Aquinas Hobor
Contributions
CPP 2022
Committee Member in Program Committee within the CPP 2022-track
CPP 2020
Author of A Functional Proof Pearl: Inverting the Ackermann Hierarchy within the CPP 2020-track
APLAS 2019
Author of Pumping, With or Without Choice within the Research Papers-track
Ordinary PC member in Program Committee within the Research Papers-track
Author of A Verified Garbage Collector for Gallina within the APLAS NIER-track
SPLASH 2019
Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the Posters-track
Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track
Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA Artifacts-track
ISSTA 2019
Author of Exploiting The Laws of Order in Smart Contracts within the Technical Papers-track
CPP 2019
Committee Member in Program Committee within the CPP 2019-track
Share
x
Tue 16 Aug 05:31