Aarhus University Seal / Aarhus Universitets segl

Simon Oddershede Gregersen

  1. 2021
  2. Published

    Trillium : Unifying Refinement and Higher-Order Distributed Separation Logic. / Timany, Amin; Gregersen, Simon Oddershede; Stefanesco, Léo; Gondelman, Léon; Nieto, Abel; Birkedal, Lars.

    2021.

    Research output: Working paper/Preprint PreprintResearch

  3. Published

    Distributed causal memory : Modular specification and verification in higher-order distributed separation logic. / Gondelman, Léon; Gregersen, Simon Oddershede; Nieto, Abel; Timany, Amin; Birkedal, Lars.

    In: Proceedings of the ACM on Programming Languages, Vol. 5, No. POPL, 42, 01.2021.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  4. Published

    Mechanized logical relations for termination-insensitive noninterference. / Gregersen, Simon Oddershede; Bay, Johan; Timany, Amin; Birkedal, Lars.

    In: Proceedings of the ACM on Programming Languages, Vol. 5, No. POPL, 10, 01.2021.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  5. 2020
  6. Published

    Aneris : A Mechanised Logic for Modular Reasoning about Distributed Systems. / Krogh-Jespersen, Morten; Timany, Amin; Ohlenbusch, Marit Edna; Gregersen, Simon Oddershede; Birkedal, Lars.

    Programming Languages and Systems- 29th European Symposium on Programming ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. ed. / Peter Müller. Springer, 2020. p. 336-365 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12075).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  7. 2019
  8. Published

    A Dependently Typed Library for Static Information-Flow Control in IDRIS. / Gregersen, Simon Oddershede; Thomsen, Søren Eller; Askarov, Aslan.

    Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. ed. / Flemming Nielson; David Sands. Cham : Springer, 2019. p. 51-75 (Lecture Notes in Computer Science, Vol. 11426).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review