-
A Concurrent Lambda Calculus with Futures
International audience -
Relational thread-modular static value analysis by abstract interpretation
International audience -
Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementabi...
Formal methods offer a way to deal with the complexity of information systems. They are adapted to a variety of domains like design, verification, model-checking, test... -
Verification, Model Checking, and Abstract Interpretation
International audience -
Assessing the Scalability of Garbage Collectors on Many Cores
In conjunction with the 23rd ACM Symposium on Operating Systems Principles (SOSP 2011) -
Assessing the Scalability of Garbage Collectors on Many Cores
International audience -
SIAAM: Simple Isolation for an Abstract Actor Machine
In this thesis we study state isolation and efficient message-passing in the context of concurrent object-oriented programming. The 'ownership' and 'reference... -
Raffinement temporel et exécution parallèle dans un langage synchrone fonctio...
In this thesis, we are interested in the ReactiveML language, which extends ML with constructs inspired from synchronous languages. The idea of these languages is to... -
Concurrency in Interaction Nets and Graph Rewriting
Effectué en cotutelle entre le département de Philosophie de l'Università Roma Tre et le Laboratoire d'Informatique de l'Université Paris 13 -
Secure Information Flow for a Concurrent Language with Scheduling
International audience -
Concurrent Programming as Proof Net Construction
Article dans revue scientifique avec comité de lecture. -
A Specification Logic for Concurrent Object-Oriented Programming
Rapport interne. -
Occurrence Net Logics
Colloque avec actes sans comité de lecture. -
A Specification Logic for Concurrent Object-oriented Programming
Article dans revue scientifique avec comité de lecture. -
Special Issue on Proof Theory of Concurrent Object-Oriented Programming
Ouvrage (éditeur). -
Symmetry in Concurrent Games
International audience -
Réécriture dans un cadre concurrent
Stage de DEA. Rapport de stage. -
Vers une Géométrie Symbolique
Rapport interne.
