Kasper Svendsen

Kasper Svendsen

IT University of Copenhagen - Copenhagen / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1435307
IT-Universitetet i København
person_outline Kasper Svendsen's MOST POPULAR ARTICLES
1-) Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning POPL 2015, 2015
2-) Impredicative Concurrent Abstract Predicates Programming Languages and Systems, 149-168, 2014
3-) Modular reasoning about separation of concurrent data structures Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
4-) A separation logic for a promising semantics Programming Languages and Systems: 27th European Symposium on Programming …, 2018
5-) A relational model of types-and-effects in higher-order concurrent separation logic Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017