vix.ing · top · new · best · stats · spec

Frédéric Besson

  1. BeePL: Correct-by-compilation kernel extensions
    2025/07/14 by Swarn Priya, Frédéric Besson, Priya, Swarn +10 · 1 voice · 1 citation
    Computer Science · #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)