Andrew K. Hirsch

20 papers A* 1A 2Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Choreographic Quick Changes: First-Class Location (Set) Polymorphism.
CoRR
Ashley Samuelson, Andrew K. Hirsch, Ethan Cecchetti
2025 J jnl
Choreographic Quick Changes: First-Class Location (Set) Polymorphism.
Proc. ACM Program. Lang.
Ashley Samuelson, Andrew K. Hirsch, Ethan Cecchetti
2025 — conf
Choreographies as Macros.
PLACES@ETAPS
Alexander Bohosian, Andrew K. Hirsch
2024 J jnl
Alice or Bob?: Process polymorphism in choreographies.
J. Funct. Program.
Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
2024 J jnl
Corps: A Core Calculus of Hierarchical Choreographic Programming.
CoRR
Andrew K. Hirsch
2023 J jnl
Alice or Bob?: Process Polymorphism in Choreographies.
CoRR
Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
2023 J jnl
Compositional Security Definitions for Higher-Order Where Declassification.
Proc. ACM Program. Lang.
Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg
2023 J jnl
Semantics for Noninterference with Interaction Trees (Artifact).
Dagstuhl Artifacts Ser.
Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
2023 A conf
Semantics for Noninterference with Interaction Trees.
ECOOP
Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic
2022 J jnl
Pirouette: higher-order typed functional choreographies.
Proc. ACM Program. Lang.
Andrew K. Hirsch, Deepak Garg
2021 J jnl
Giving semantics to program-counter labels via secure effects.
Proc. ACM Program. Lang.
Andrew K. Hirsch, Ethan Cecchetti
2021 J jnl
Pirouette: Higher-Order Typed Functional Choreographies.
CoRR
Andrew K. Hirsch, Deepak Garg
2020 A conf
First-Order Logic for Flow-Limited Authorization.
CSF
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
2020 J jnl
First-Order Logic for Flow-Limited Authorization.
CoRR
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
2020 J jnl
Giving Semantics to Program-Counter Labels via Secure Effects.
CoRR
Andrew K. Hirsch, Ethan Cecchetti
2019 — —
Semantics for Secure Software.
Andrew K. Hirsch
2018 J jnl
Strict and lazy semantics for effects: layering monads and comonads.
Proc. ACM Program. Lang.
Andrew K. Hirsch, Ross Tate
2013 J jnl
Belief Semantics of Authorization Logic
CoRR
Andrew K. Hirsch, Michael R. Clarkson
2013 A* conf
Belief semantics of authorization logic.
CCS
Andrew K. Hirsch, Michael R. Clarkson
2012 J jnl
Nexus Authorization Logic (NAL): Logical Results
CoRR
Andrew K. Hirsch, Michael R. Clarkson