Παρακολούθηση
Jonas Kastberg Hinrichsen
Jonas Kastberg Hinrichsen
Aarhus University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.au.dk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Actris: Session-type based reasoning in separation logic
JK Hinrichsen, J Bengtson, R Krebbers
Proceedings of the ACM on Programming Languages 4 (POPL), 1-30, 2019
532019
Machine-checked semantic session typing
JK Hinrichsen, D Louwrink, R Krebbers, J Bengtson
Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021
212021
Actris 2.0: Asynchronous session-type based reasoning in separation logic
JK Hinrichsen, J Bengtson, R Krebbers
Logical Methods in Computer Science, 2022
10*2022
Verifying reliable network components in a distributed separation logic with dependent separation protocols
L Gondelman, JK Hinrichsen, M Pereira, A Timany, L Birkedal
Proceedings of the ACM on Programming Languages 7 (ICFP), 847-877, 2023
82023
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
A Timany, SO Gregersen, L Stefanesco, JK Hinrichsen, L Gondelman, ...
Proceedings of the ACM on Programming Languages 8 (POPL), 241-272, 2024
42024
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)
J Jacobs, JK Hinrichsen, R Krebbers
Proceedings of the ACM on Programming Languages 7 (ICFP), 768-795, 2023
12023
Sessions and Separation
JK Hinrichsen
IT-Universitetet i København, 2021
12021
Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing
J Jacobs, JK Hinrichsen, R Krebbers
Proceedings of the ACM on Programming Languages 8 (POPL), 1385-1417, 2024
2024
Dependent Session Protocols in Separation Logic from First Principles
JK HINRICHSEN
2023
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)
JK HINRICHSEN
2023
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–10