publications:
- title: "Wyvern: Impacting Software Security via Programming Language Design"
  author:
  - name: "Darya Kurilova"
    link: "https://researchr.org/alias/darya-kurilova"
  - name: "Alex Potanin"
    link: "https://researchr.org/alias/alex-potanin"
  - name: "Jonathan Aldrich"
    link: "https://researchr.org/alias/jonathan-aldrich"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2688204.2688216"
  links:
    doi: "http://doi.acm.org/10.1145/2688204.2688216"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/KurilovaPA14"
  researchr: "https://researchr.org/publication/KurilovaPA14"
  cites: 0
  citedby: 0
  pages: "57-58"
  booktitle: "Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, Portland, OR, USA, October 21, 2014"
  editor:
  - name: "Joshua Sunshine"
    link: "https://researchr.org/alias/joshua-sunshine"
  - name: "Thomas D. LaToza"
    link: "https://researchr.org/alias/thomas-d.-latoza"
  - name: "Craig Anslow"
    link: "http://homepages.ecs.vuw.ac.nz/~craig/"
  publisher: "ACM"
  isbn: "978-1-4503-2277-5"
  kind: "inproceedings"
  key: "KurilovaPA14"
- title: "CallƐ: an effect system for method calls"
  author:
  - name: "Isaac Oscar Gariano"
    link: "https://researchr.org/alias/isaac-oscar-gariano"
  - name: "James Noble 0001"
    link: "https://researchr.org/alias/james-noble-0001"
  - name: "Marco Servetto"
    link: "https://researchr.org/alias/marco-servetto"
  year: "2019"
  doi: "https://doi.org/10.1145/3359591.3359731"
  links:
    doi: "https://doi.org/10.1145/3359591.3359731"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/Gariano0S19"
  researchr: "https://researchr.org/publication/Gariano0S19"
  cites: 0
  citedby: 0
  pages: "32-45"
  booktitle: "Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2019, Athens, Greece, October 23-24, 2019"
  editor:
  - name: "Hidehiko Masuhara"
    link: "https://researchr.org/alias/hidehiko-masuhara"
  - name: "Tomas Petricek 0001"
    link: "https://researchr.org/alias/tomas-petricek-0001"
  publisher: "ACM"
  isbn: "978-1-4503-6995-4"
  kind: "inproceedings"
  key: "Gariano0S19"
- title: "Bounded Abstract Effects"
  author:
  - name: "Darya Melicher"
    link: "https://researchr.org/alias/darya-melicher"
  - name: "Anlun Xu"
    link: "https://researchr.org/alias/anlun-xu"
  - name: "Valerie Zhao"
    link: "https://researchr.org/alias/valerie-zhao"
  - name: "Alex Potanin"
    link: "https://researchr.org/alias/alex-potanin"
  - name: "Jonathan Aldrich"
    link: "https://researchr.org/alias/jonathan-aldrich"
  year: "2022"
  doi: "https://doi.org/10.1145/3492427"
  links:
    doi: "https://doi.org/10.1145/3492427"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/toplas/MelicherXZPA22"
  researchr: "https://researchr.org/publication/MelicherXZPA22"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "44"
  number: "1"
  kind: "article"
  key: "MelicherXZPA22"
- title: "Reasoning about Object Capabilities with Logical Relations and Effect Parametricity"
  author:
  - name: "Dominique Devriese"
    link: "https://researchr.org/alias/dominique-devriese"
  - name: "Lars Birkedal"
    link: "https://researchr.org/alias/lars-birkedal"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  year: "2016"
  doi: "http://dx.doi.org/10.1109/EuroSP.2016.22"
  links:
    doi: "http://dx.doi.org/10.1109/EuroSP.2016.22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/eurosp/DevrieseBP16"
  researchr: "https://researchr.org/publication/DevrieseBP16"
  cites: 0
  citedby: 0
  pages: "147-162"
  booktitle: "IEEE European Symposium on Security and Privacy, EuroS&P 2016, Saarbrücken, Germany, March 21-24, 2016"
  publisher: "IEEE"
  isbn: "978-1-5090-1752-2"
  kind: "inproceedings"
  key: "DevrieseBP16"
- title: "A Capability-Based Module System for Authority Control"
  author:
  - name: "Darya Melicher"
    link: "https://researchr.org/alias/darya-melicher"
  - name: "Yangqingwei Shi"
    link: "https://researchr.org/alias/yangqingwei-shi"
  - name: "Alex Potanin"
    link: "https://researchr.org/alias/alex-potanin"
  - name: "Jonathan Aldrich"
    link: "https://researchr.org/alias/jonathan-aldrich"
  year: "2017"
  doi: "https://doi.org/10.4230/LIPIcs.ECOOP.2017.20"
  links:
    doi: "https://doi.org/10.4230/LIPIcs.ECOOP.2017.20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/MelicherSPA17"
  researchr: "https://researchr.org/publication/MelicherSPA17"
  cites: 0
  citedby: 0
  booktitle: "31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain"
  editor:
  - name: "Peter Müller"
    link: "https://researchr.org/alias/peter-m%C3%BCller"
  volume: "74"
  series: "LIPIcs"
  publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"
  isbn: "978-3-95977-035-4"
  kind: "inproceedings"
  key: "MelicherSPA17"
- title: "Capabilities: Effects for Free"
  author:
  - name: "Aaron Craig"
    link: "https://researchr.org/alias/aaron-craig"
  - name: "Alex Potanin"
    link: "https://researchr.org/alias/alex-potanin"
  - name: "Lindsay Groves"
    link: "https://researchr.org/alias/lindsay-groves"
  - name: "Jonathan Aldrich"
    link: "https://researchr.org/alias/jonathan-aldrich"
  year: "2018"
  doi: "https://doi.org/10.1007/978-3-030-02450-5_14"
  links:
    doi: "https://doi.org/10.1007/978-3-030-02450-5_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfem/CraigPGA18"
  researchr: "https://researchr.org/publication/CraigPGA18"
  cites: 0
  citedby: 0
  pages: "231-247"
  booktitle: "Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings"
  editor:
  - name: "Jing Sun 0002"
    link: "https://researchr.org/alias/jing-sun-0002"
  - name: "Meng Sun 0002"
    link: "https://researchr.org/alias/meng-sun-0002"
  volume: "11232"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-02450-5"
  kind: "inproceedings"
  key: "CraigPGA18"
- title: "Scoped Capabilities for Polymorphic Effects"
  author:
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  - name: "Aleksander Boruch-Gruszecki"
    link: "https://researchr.org/alias/aleksander-boruch-gruszecki"
  - name: "Edward Lee"
    link: "https://researchr.org/alias/edward-lee"
  - name: "Jonathan Brachthäuser"
    link: "https://researchr.org/alias/jonathan-brachth%C3%A4user"
  - name: "Ondřej Lhoták"
    link: "http://plg.uwaterloo.ca/~olhotak"
  year: "2022"
  links:
    "url": "https://arxiv.org/abs/2207.03402"
  researchr: "https://researchr.org/publication/odersky2022scopedcapabilitiespolymorphiceffects"
  cites: 0
  citedby: 0
  kind: "misc"
  key: "odersky2022scopedcapabilitiespolymorphiceffects"
- title: "Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back"
  author:
  - name: "Jonathan Immanuel Brachthäuser"
    link: "https://researchr.org/alias/jonathan-immanuel-brachth%C3%A4user"
  - name: "Philipp Schuster"
    link: "https://researchr.org/alias/philipp-schuster"
  - name: "Edward Lee"
    link: "https://researchr.org/alias/edward-lee"
  - name: "Aleksander Boruch-Gruszecki"
    link: "https://researchr.org/alias/aleksander-boruch-gruszecki"
  year: "2022"
  doi: "https://doi.org/10.1145/3527320"
  links:
    doi: "https://doi.org/10.1145/3527320"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/BrachthauserSLB22"
  researchr: "https://researchr.org/publication/BrachthauserSLB22"
  cites: 0
  citedby: 0
  journal: "Proceedings of the ACM on Programming Languages"
  volume: "6"
  number: "OOPSLA"
  pages: "1-30"
  kind: "article"
  key: "BrachthauserSLB22"
- title: "Modules in wyvern: advanced control over security and privacy"
  author:
  - name: "Darya Kurilova"
    link: "https://researchr.org/alias/darya-kurilova"
  - name: "Alex Potanin"
    link: "https://researchr.org/alias/alex-potanin"
  - name: "Jonathan Aldrich"
    link: "https://researchr.org/alias/jonathan-aldrich"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2898375.2898376"
  links:
    doi: "http://doi.acm.org/10.1145/2898375.2898376"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/hotsos/KurilovaPA16"
  researchr: "https://researchr.org/publication/KurilovaPA16"
  cites: 0
  citedby: 0
  pages: "68"
  booktitle: "Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, USA, April 19-21, 2016"
  editor:
  - name: "William L. Scherlis"
    link: "https://researchr.org/alias/william-l.-scherlis"
  - name: "David Brumley"
    link: "https://researchr.org/alias/david-brumley"
  publisher: "ACM"
  isbn: "978-1-4503-4277-3"
  kind: "inproceedings"
  key: "KurilovaPA16"
- title: "A case study in language-based security: building an I/O library for Wyvern"
  author:
  - name: "Jennifer A. Fish"
    link: "https://researchr.org/alias/jennifer-a.-fish"
  - name: "Darya Melicher"
    link: "https://researchr.org/alias/darya-melicher"
  - name: "Jonathan Aldrich"
    link: "https://researchr.org/alias/jonathan-aldrich"
  year: "2020"
  doi: "https://doi.org/10.1145/3426428.3426913"
  links:
    doi: "https://doi.org/10.1145/3426428.3426913"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/FishMA20"
  researchr: "https://researchr.org/publication/FishMA20"
  cites: 0
  citedby: 0
  pages: "34-47"
  booktitle: "Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2020, Virtual, November, 2020"
  publisher: "ACM"
  isbn: "978-1-4503-8178-9"
  kind: "inproceedings"
  key: "FishMA20"
- title: "Effects as capabilities: effect handlers and lightweight effect polymorphism"
  author:
  - name: "Jonathan Immanuel Brachthäuser"
    link: "https://researchr.org/alias/jonathan-immanuel-brachth%C3%A4user"
  - name: "Philipp Schuster"
    link: "https://researchr.org/alias/philipp-schuster"
  - name: "Klaus Ostermann"
    link: "https://researchr.org/alias/klaus-ostermann"
  year: "2020"
  doi: "https://doi.org/10.1145/3428194"
  links:
    doi: "https://doi.org/10.1145/3428194"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/BrachthauserSO20"
  researchr: "https://researchr.org/publication/BrachthauserSO20-0"
  cites: 0
  citedby: 0
  journal: "Proceedings of the ACM on Programming Languages"
  volume: "4"
  number: "OOPSLA"
  kind: "article"
  key: "BrachthauserSO20-0"
- title: "Binders by day, labels by night: effect instances via lexically scoped handlers"
  author:
  - name: "Dariusz Biernacki"
    link: "https://researchr.org/alias/dariusz-biernacki"
  - name: "Maciej Piróg"
    link: "https://researchr.org/alias/maciej-pir%C3%B3g"
  - name: "Piotr Polesiuk"
    link: "https://researchr.org/alias/piotr-polesiuk"
  - name: "Filip Sieczkowski"
    link: "https://researchr.org/alias/filip-sieczkowski"
  year: "2020"
  doi: "https://doi.org/10.1145/3371116"
  links:
    doi: "https://doi.org/10.1145/3371116"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/BiernackiPPS20"
  researchr: "https://researchr.org/publication/BiernackiPPS20"
  cites: 0
  citedby: 0
  journal: "Proceedings of the ACM on Programming Languages"
  volume: "4"
  number: "POPL"
  kind: "article"
  key: "BiernackiPPS20"