Andrew K. Hirsch

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 13

Top Topics

Lambda Calculus

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
Alice or Bob?: Process polymorphism in choreographies. J. Funct. Program. 34 (2024)
Andrew K. Hirsch
Corps: A Core Calculus of Hierarchical Choreographic Programming. CoRR (2024)
Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg
Compositional Security Definitions for Higher-Order Where Declassification. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
Alice or Bob?: Process Polymorphism in Choreographies. CoRR (2023)
Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
Semantics for Noninterference with Interaction Trees. ECOOP (2023)
Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
Semantics for Noninterference with Interaction Trees (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Andrew K. Hirsch, Deepak Garg
Pirouette: higher-order typed functional choreographies. Proc. ACM Program. Lang. 6 (POPL) (2022)
Andrew K. Hirsch, Deepak Garg
Pirouette: Higher-Order Typed Functional Choreographies. CoRR (2021)
Andrew K. Hirsch, Ethan Cecchetti
Giving semantics to program-counter labels via secure effects. Proc. ACM Program. Lang. 5 (POPL) (2021)
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
First-Order Logic for Flow-Limited Authorization. CoRR (2020)
Andrew K. Hirsch, Ethan Cecchetti
Giving Semantics to Program-Counter Labels via Secure Effects. CoRR (2020)
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
First-Order Logic for Flow-Limited Authorization. CSF (2020)
Andrew K. Hirsch, Ross Tate
Strict and lazy semantics for effects: layering monads and comonads. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Andrew K. Hirsch, Michael R. Clarkson
Belief Semantics of Authorization Logic CoRR (2013)
Andrew K. Hirsch, Michael R. Clarkson
Belief semantics of authorization logic. CCS (2013)
Andrew K. Hirsch, Michael R. Clarkson
Nexus Authorization Logic (NAL): Logical Results CoRR (2012)