Skip to Main content Skip to Navigation
New interface

hal-01213907v1  Conference papers
Nicolas PalixJean-Rémy FalleriJulia Lawall. Improving pattern tracking with a language-aware tree differencing algorithm
SANER 2015 - 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2015, Montreal, Canada. pp.43-52, ⟨10.1109/SANER.2015.7081814⟩
hal-01096185v1  Journal articles
Mads Chr. OlesenRené Rydhof HansenJulia LawallNicolas Palix. Coccinelle: Tool support for automated CERT C Secure Coding Standard certification
Science of Computer Programming, 2014, Special Issue on Selected Contributions from the Open Source Software Certification (OpenCert) Workshops, 91 (B), pp.141-160. ⟨10.1016/j.scico.2012.10.011⟩
hal-02901169v1  Conference papers
Redha GouicemDamien CarverJean-Pierre LoziJulien SopenaBaptiste Lepers et al.  Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance
2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States
hal-02554342v1  Conference papers
Baptiste LepersRedha GouicemDamien CarverJean-Pierre LoziNicolas Palix et al.  Provable Multicore Schedulers with Ipanema: Application to Work Conservation
Eurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
hal-02558763v1  Conference papers
Redha GouicemJulien SopenaJulia LawallGilles MullerBaptiste Lepers et al.  Understanding scheduler performance : a feature-based approach
Compas 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
hal-01253189v1  Conference papers
Gauthier VoronGaël ThomasPierre SensVivien Quema. Optimisation mémoire dans une architecture NUMA : comparaison des gains entre natif et virtualisé
Conférence en Parallélisme, Architecture et Système, (COMPAS'15), 2015, Lille, France
hal-01515359v1  Conference papers
Gauthier VoronGaël ThomasVivien QuemaPierre Sens. An interface to implement NUMA policies in the Xen hypervisor
Twelfth European Conference on Computer Systems, EuroSys 2017, Apr 2017, Belgrade, Serbia. pp.15
hal-01556597v1  Conference papers
Baptiste LepersWilly ZwaenepoelJean-Pierre LoziNicolas PalixRedha Gouicem et al.  Towards Proving Optimistic Multicore Schedulers
HotOS 2017 - 16th Workshop on Hot Topics in Operating Systems, ACM SIGOPS, May 2017, Whistler, British Columbia, Canada. pp.6, ⟨10.1145/3102980.3102984⟩
hal-02349987v2  Conference papers
Damien CarverRedha GouicemJean-Pierre LoziJulien SopenaBaptiste Lepers et al.  Fork/Wait and Multicore Frequency Scaling: a Generational Clash
10th Workshop on Programming Languages and Operating Systems, Oct 2019, Huntsville, Canada. pp.53-59, ⟨10.1145/3365137.3365400⟩