Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andrew K. Hirsch
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ICFP 2023 profile
POPL 2023 profile
SPLASH 2023 profile
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
x
Sat 3 Jun 16:13