• Sign in
  • Sign up
conf.researchr.org / Aquinas Hobor
  • 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
xTue 16 Aug 05:31
using conf.researchr.org (v1.56.0)
Support page
Sign Up