36 citations · 56 across the 3 of their papers we have counts for
3 papers
Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria
Pierre Alliez, Roberto Di Cosmo, Benjamin Guedj +4
Software is a fundamental pillar of modern scientiic research, not only in computer science, but actually across all elds and disciplines. However, there is a lack of adequate mean…
Monotonic Prefix Consistency in Distributed Systems
Alain Girault, Gregor Gössler, Rachid Guerraoui +2
We study the issue of data consistency in distributed systems. Specifically, we consider a distributed system that replicates its data at multiple sites, which is prone to partitio…
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
Gwenaël Delaval, Alain Girault, Marc Pouzet
We address the design of distributed systems with synchronous dataflow programming languages. As modular design entails handling both architectural and functional modularity, our f…