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-02111160v1  Conference papers
Redha GouicemJulien SopenaJulia LawallGilles MullerBaptiste Lepers et al.  Ipanema : un langage dédié pour le développement d'ordonnanceurs multi-coeur sûrs
Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia Antipolis, France
...
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-02017993v1  Conference papers
Mohamad-Jaafar NehmeNicolas PalixKamal BeydounVivien Quéma. MDC-Cast: A Total-Order Broadcast Protocol for Multi-Datacenter Environments
2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), Oct 2018, Salvador, Brazil. pp.241-250
...
hal-01022704v1  Journal articles
Nicolas PalixGaël ThomasSuman SahaChristophe CalvèsGilles Muller et al.  Faults in Linux 2.6
ACM Transactions on Computer Systems, 2014, 32 (2), pp.1--40. ⟨10.1145/2619090⟩
...
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⟩
...
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⟩