• Sign in
  • Sign up
conf.researchr.org / Jinhao Tan
  • ECOOP and ISSTA 2023 profile
  • ISSTA/ECOOP 2024 profile
  • POPL 2024 profile
  • SPLASH 2024 profile
Jinhao Tan

Registered user since Fri 17 Mar 2023

Name:Jinhao Tan
Country:China
Affiliation:University of Hong Kong
Personal website: https://jinhaotan.com
Research interests:Programming Languages, Formal Verification, Logics

Contributions

2024

SPLASH

  • Author of A Case for First-Class Environments within the OOPSLA 2024-track

ECOOP

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

POPL

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2023

ECOOP

  • Author of Dependent Merges and First-Class Environments within the Research Papers-track
Share
xWed 21 May 19:16
using conf.researchr.org (v1.69.0)
Support page
Sign Up