ITU
Kasper Svendsen

Kasper Svendsen

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

  1. Report › Research › Not peer-reviewed
  2. Published

    Higher-order Concurrent Abstract Predicates

    Svendsen, K., Birkedal, L. & Parkinson, M., 2013

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  3. Published

    Verifying design patterns in Hoare Type Theory

    Svendsen, K., Buisse, A. & Birkedal, L., 2008, Copenhagen: IT-Universitetet i København. 12 p. (IT University Technical Report Series; No. TR-2008-112).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  4. Ph.D. thesis › Research
  5. Published

    Modular specification and verification for higher-order languages with state

    Svendsen, K., 2013, IT-Universitetet i København. 301 p. (ITU-DS; No. 86).

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesis

  6. Article in proceedings › Research › Peer-reviewed
  7. Published

    Design Patterns in Separation Logic

    Krishnaswami, N. R., Aldrich, J., Birkedal, L., Svendsen, K. & Buisse, A., 2009, Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009.. Kennedy, A. & Ahmed, A. (eds.). Association for Computing Machinery, p. 105-116 11 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  8. Published

    Modular Reasoning about Separation of Concurrent Data Structures

    Svendsen, K., Birkedal, L. & Parkinson, M., 2013, ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems . Association for Computing Machinery, p. 169-188

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  9. Published

    Partiality, State, and Dependent Types

    Svendsen, K., Birkedal, L. & Nanevski, A., 2011, Proceedings of Typed LAmbda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Springer, Vol. LNCS 6690. p. 198-212

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  10. Published

    Verifying Generics and Delegates

    Svendsen, K., Birkedal, L. & Parkinson, M., 2010, ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings. D'Hondt, T. (ed.). Springer, p. 175-199 (Lecture Notes in Computer Science, Vol. 6183).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

ID: 263686