Jules Villard
From MaRDI portal
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
