Nicolas Palix
YOU?
Author Swipe
View article: Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification Open
Writing correct C programs is well-known to be hard, not least due to the many language features intrinsic to C. Writing secure C programs is even harder and, at times, seemingly impossible. To improve on this situation the US CERT has dev…
View article: Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance Open
International audience
View article: Provable multicore schedulers with Ipanema
Provable multicore schedulers with Ipanema Open
Virtual (online) conference
View article: Fork/Wait and Multicore Frequency Scaling
Fork/Wait and Multicore Frequency Scaling Open
International audience
View article: Towards Proving Optimistic Multicore Schedulers
Towards Proving Optimistic Multicore Schedulers Open
Operating systems have been shown to waste machine resources by leaving cores idle while work is ready to be scheduled. This results in suboptimal performance for user applications, and wasted power. Recent progress in formal verification …