Fingerprint
Dive into the research topics where Andrew Hirsch is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Choreographic Quick Changes: First-Class Location (Set) Polymorphism
Samuelson, A., Hirsch, A. K. & Cecchetti, E., Oct 9 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, p. 1783-1808 26 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Choreographies as Macros
Bohosian, A. & Hirsch, A. K., May 27 2025, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 420, p. 12-21 10 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Alice or Bob? Process polymorphism in choreographies
Graversen, E., Hirsch, A. K. & Montesi, F., Jan 23 2024, In: Journal of Functional Programming. 34, 5, e1.Research output: Contribution to journal › Article › peer-review
Open Access7 Scopus citations -
Compositional Security Definitions for Higher-Order Where Declassification
Menz, J., Hirsch, A. K., Li, P. & Garg, D., Apr 6 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA1, 89.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
Semantics for Noninterference with Interaction Trees
Silver, L., He, P., Cecchetti, E., Hirsch, A. K. & Zdancewic, S., Jul 2023, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Ali, K. & Salvaneschi, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 263).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Scopus citations