Aquinas Hobor -

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