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