Kasper Svendsen

Computer Science · Physical Sciences

13h-index806citations24works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(17), Distributed systems and fault tolerance(11), Formal Methods in Verification(10), Security and Verification in Computing(6), Parallel Computing and Optimization Techniques(5)

Publications24 total

Theorems for free from separation logic specifications
Proceedings of the ACM on Programming Languages·2021· 18 citedOpen Access
Design and Evaluation of a VR Training Simulation for Pump Maintenance
2020· 22 citedOpen Access
Design and Evaluation of a VR Training Simulation for Pump Maintenance Based on a Use Case at Grundfos
2020 IEEE Conference on Virtual Reality and 3D User Interfaces (VR)·2020· 10 citedOpen Access
Design and Evaluation of a VR Training Simulation for Pump Maintenance Based on a Use Case at Grundfos
2020 IEEE Conference on Virtual Reality and 3D User Interfaces (VR)·2020· 25 cited
Compositional Non-interference for Concurrent Programs via Separation and Framing
Lecture notes in computer science·2018· 14 citedOpen Access
A Separation Logic for a Promising Semantics
Lecture notes in computer science·2018· 37 citedOpen Access
Trace Properties from Separation Logic Specifications
arXiv (Cornell University)·2017Open Access
A relational model of types-and-effects in higher-order concurrent separation logic
ACM SIGPLAN Notices·2017· 5 cited
A relational model of types-and-effects in higher-order concurrent separation logic
2016· 29 cited
Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic
ACM Transactions on Programming Languages and Systems·2016· 17 cited
Transfinite Step-Indexing: Decoupling Concrete and Logical Steps
Lecture notes in computer science·2016· 10 citedOpen Access
Iris
ACM SIGPLAN Notices·2015· 51 cited
A Separation Logic for Fictional Sequential Consistency
Lecture notes in computer science·2015· 17 citedOpen Access
Iris
2014· 261 cited
Impredicative Concurrent Abstract Predicates
Lecture notes in computer science·2014· 150 cited
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library
Lecture notes in computer science·2013· 7 cited
Modular Reasoning about Separation of Concurrent Data Structures
Lecture notes in computer science·2013· 63 citedOpen Access
Modular specification and verification for higher-order languages with state
IT University Of Copenhagen (IT University of Copenhagen)·2013Open Access
Partiality, State and Dependent Types
Lecture notes in computer science·2011· 10 cited
Verifying generics and delegates
European Conference on Object-Oriented Programming·2010· 11 cited
page 1 of 2Next →

Frequent Co-authors

Lars Birkedal(18), Matthew Parkinson(5), Filip Sieczkowski(4), Frederik Winther(3), Linoj Ravindran(3), Tiare Feuchtner(3), Ralf Jung(2), David Swasey(2), Aaron Turon(2), Derek Dreyer(2), Jean Pichon-Pharabod(2), Alexandre Buisse(2), Morten Krogh-Jespersen(2), Thomas Dinsdale-Young(2), Guilhem Jaber(2), Nikos Tzevelekos(2), Marko Doko(1), Ori Lahav(1), Viktor Vafeiadis(1), Neelakantan R. Krishnaswami(1)