1. 2019
  2. Linear Capabilities for Fully Abstract Compilation of Separation-logic-verified Code

    Van Strydonck, T., Piessens, F. & Devriese, D., 1 Jul 2019, In : Proc. ACM Program. Lang.. 3, ICFP, p. 84:1-84:29

    Research output: Contribution to journalArticleResearchpeer-review

  3. Temporal safety for stack allocated memory on capability machines

    Tsampas, S., Devriese, D. & Piessens, F., Jun 2019, 32nd IEEE Computer Security Foundations Symposium. IEEE, (IEEE Computer Security Foundations Symposium (CSF)).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  4. StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities

    Skorstengaard, L., Devriese, D. & Birkedal, L., Jan 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, p. 1-28 28 p., 19.

    Research output: Contribution to journalArticleResearchpeer-review

  5. How to Do Proofs: Practically Proving Properties About Effectful Programs39; Results (Functional Pearl)

    Jacobs, K., Nuyts, A. & Devriese, D., 2019, Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development. New York, NY, USA: ACM, p. 1-13 13 p. (TyDe 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  6. Modular Effects in Haskell Through Effect Polymorphism and Explicit Dictionary Applications: A New Approach and the \μVeriFast Verifier As a Case Study

    Devriese, D., 2019, Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell. New York, NY, USA: ACM, p. 1-14 14 p. (Haskell 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  7. 2018
  8. StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details

    Skorstengaard, L., Devriese, D. & Birkedal, L., 7 Nov 2018, 86 p.

    Research output: Book/ReportOther reportResearch

  9. Coherent explicit dictionary application for Haskell

    Winant, T. & Devriese, D., 17 Sep 2018, Haskell 2018 - Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2018. Association for Computing Machinery, Inc, p. 81-93 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  10. Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof

    Winant, T. & Devriese, D., 30 Jul 2018, arXiv. 42 p.

    Research output: Book/ReportOther reportResearch

  11. Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory

    Nuyts, A. & Devriese, D., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., p. 779-788 10 p. (Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

Previous 1 2 3 4 5 6 Next

ID: 39737071