• Sign in
  • Sign up
conf.researchr.org / Andrew K. Hirsch
  • ECOOP and ISSTA 2023 profile
  • ICFP 2023 profile
  • POPL 2023 profile
  • SPLASH 2023 profile
Andrew K. Hirsch

Registered user since Tue 25 Oct 2022

Name:Andrew K. Hirsch
Country:United States
Affiliation:University at Buffalo

Contributions

SPLASH 2023 Author of Compositional Security Definitions for Higher-Order Where Declassification within the OOPSLA-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
ECOOP 2023 Author of Semantics for Noninterference with Interaction Trees within the Research Papers-track
POPL 2023 Speaker of Semantics & Effects: Session Preview within the Session Previews-track

Share
xSat 3 Jun 16:13
using conf.researchr.org (v1.60.0)
Support page
Sign Up