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 - 7 out of 7Page size: 50
  1. Article in proceedings
  2. 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 chapter › Article in proceedings › Research › peer-review

  3. 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 chapter › Article in proceedings › Research › peer-review

  4. 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 chapter › Article in proceedings › Research › peer-review

  5. 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 chapter › Article in proceedings › Research › peer-review

  6. Ph.D. thesis
  7. 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. thesis › Ph.D. thesis › Research

  8. Report
  9. Published

    Higher-order Concurrent Abstract Predicates

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

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

  10. 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. thesis › Report › Research

ID: 263686