Kinetic effects in laser-plasma coupling: Vlasov theory and computations | Synapse