Papers by Area

Concurrency (Session Types and Choreographies)

• Choreographic Quick Changes: First-Class Location (Set) Polymorphism

  By Ashley Samuelson, Andrew K. Hirsch, and Ethan Cecchetti

  Published in OOPSLA 2025.
• Choreographies as Macros

  By Alexander Bohosian and Andrew K. Hirsch

  Published in PLACES 2025.
• Alice or Bob?: Process Polymorphism in Choreographies

  By Eva Graversen, Andrew K. Hirsch, and Fabrizio Montesi

  Published in the Journal of Functional Programming.
• Pirouette: Higher-Order Typed Functional Choreographies

  By Andrew K. Hirsch and Deepak Garg

  Published in POPL 2022.

Information-Flow Control

• Semantics for Noninterference with Interaction Trees

  By Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, and Steve Zdancewic

  Published in ECOOP 2023.
• Compositional Security Definitions for Higher-Order Where Declassifcation

  By Jan Menz, Andrew K. Hirsch, Peixuan Li, and Deepak Garg

  Published in OOPSLA 2023.
• Giving Semantics to Program-Counter Labels via Secure Effects

  By Andrew K. Hirsch and Ethan Cecchetti

  Published in POPL 2021.
• First-Order Logic for Flow-Limited Authorization

  By Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, and Owen Arden

  Published in CSF 2020.

Authorization Logic

• First-Order Logic for Flow-Limited Authorization

  By Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, and Owen Arden

  Published in CSF 2020.
• Belief Semantics of Authorization Logic

  By Andrew K. Hirsch and Michael R. Clarkson

  Published in CCS 2013.

Computational Effects

• Semantics for Noninterference with Interaction Trees

  By Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, and Steve Zdancewic

  Published in ECOOP 2023.
• Giving Semantics to Program-Counter Labels via Secure Effects

  By Andrew K. Hirsch and Ethan Cecchetti

  Published in POPL 2021.
• Strict and Lazy Semantics of Effects

  By Andrew K. Hirsch and Ross Tate

  Published in ICFP 2018.

Papers by Date

• Choreographic Quick Changes: First-Class Location (Set) Polymorphism

  By Ashley Samuelson, Andrew K. Hirsch, and Ethan Cecchetti

  Published in OOPSLA 2025.
• Choreographies as Macros

  By Alexander Bohosian and Andrew K. Hirsch

  Published in PLACES 2025.
• Alice or Bob?: Process Polymorphism in Choreographies

  By Eva Graversen, Andrew K. Hirsch, and Fabrizio Montesi

  Published in the Journal of Functional Programming.
• Semantics for Noninterference with Interaction Trees

  By Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, and Steve Zdancewic

  Published in ECOOP 2023.
• Compositional Security Definitions for Higher-Order Where Declassifcation

  By Jan Menz, Andrew K. Hirsch, Peixuan Li, and Deepak Garg

  Published in OOPSLA 2023.
• Pirouette: Higher-Order Typed Functional Choreographies

  By Andrew K. Hirsch and Deepak Garg

  Published in POPL 2022.
• Giving Semantics to Program-Counter Labels via Secure Effects

  By Andrew K. Hirsch and Ethan Cecchetti

  Published in POPL 2021.
• First-Order Logic for Flow-Limited Authorization

  By Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, and Owen Arden

  Published in CSF 2020.
• Strict and Lazy Semantics of Effects

  By Andrew K. Hirsch and Ross Tate

  Published in ICFP 2018.
• Belief Semantics of Authorization Logic

  By Andrew K. Hirsch and Michael R. Clarkson

  Published in CCS 2013.