Efficient Data Race Detection of Async-Finish Programs Using Vector
  Clocks
Faire levier sur les architectures logicielles pour guider et v\'erifier
  le d\'eveloppement d'applications SCC
Monte Carlo stochastic Galerkin methods for non-Maxwellian kinetic
  models of multiagent systems with uncertainties A Priority-Aware Multiqueue NIC Design Curtis-Tits groups generalizing Kac-Moody groups of type
  $\widetilde{A}_n$ Polyethism in a colony of artificial ants Percolation properties in a traffic model Learning Markov Decision Processes for Model Checking Solar opacity calculations using the super-transition-array method Koszul property and Bogomolov's conjecture Hypoelliptic entropy dissipation for stochastic differential equations Sensitivity of Numerical Predictions to the Permeability Coefficient in
  Simulations of Melting and Solidification Using the Enthalpy-Porosity Method Centers of mass of Poncelet polygons, 200 years after Efficient Noise Mitigation Technique for Quantum Computing Novel photoluminescence-enhancing substrates for image formation of
  biological objects Simulating sticky particles: A Monte Carlo method to sample a
  stratification On the endomorphism rings of abelian groups and their Jacobson radical Binary Boosts Absolute Objects and Counterexamples: Jones-Geroch Dust, Torretti
  Constant Curvature, Tetrad-Spinor, and Scalar Density From nuclei to neutron stars: simple binding energy computer modelling
  in the classroom (part 2) Three-level description of the domino cellular automaton Energy Production in Martian Environment -- Powering a Mars Direct-based
  Habitat
cs.PL