List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Local reasoning about the presence of bugs: incorrectness separation logic | 2021-02-09 | Paper |
| Shared contract-obedient endpoints | 2020-01-10 | Paper |
| Shared contract-obedient endpoints (available as arXiv preprint) | 2020-01-10 | Paper |
| Sub-classical Boolean Bunched Logics and the Meaning of Par | 2017-08-31 | Paper |
| Verifying concurrent graph algorithms Programming Languages and Systems | 2016-12-21 | Paper |
| ColoSL: concurrent local subjective logic Programming Languages and Systems | 2016-04-26 | Paper |
| On the relation between concurrent separation logic and concurrent Kleene algebra Journal of Logical and Algebraic Methods in Programming | 2015-06-10 | Paper |
| The ramifications of sharing in data structures Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Developments in concurrent Kleene algebra Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
| Parametric completeness for separation theories Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| A spatial equational logic for the applied \(\pi \)-calculus Distributed Computing | 2010-09-09 | Paper |
| A Spatial Equational Logic for the Applied π-Calculus CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Research outcomes over time
This page was built for person: Jules Villard
