Nicolas Palix

Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, et al.. Faults in Linux 2.6. ACM Transactions on Computer Systems, Association for Computing Machinery, 2014, 32 (2), pp.1--40. ⟨10.1145/2619090⟩. ⟨hal-01022704⟩

Mads Chr. Olesen, René Rydhof Hansen, Julia Lawall, Nicolas Palix. Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. Science of Computer Programming, Elsevier, 2014, Special Issue on Selected Contributions from the Open Source Software Certification (OpenCert) Workshops, 91 (B), pp.141-160. ⟨hal-01096185⟩

Julia Lawall, Julien Brunel, Nicolas Palix, René Hansen, Henrik Stuart, et al.. WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Software: Practice and Experience, Wiley, 2013, 43 (1), pp.67-92. ⟨10.1002/spe.2102⟩. ⟨hal-00940320⟩

Mads Olesen, René Hansen, Julia Lawall, Nicolas Palix. Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. Science of Computer Programming, Elsevier, 2012, pp.28. ⟨10.1016/j.scico.2012.10.011⟩. ⟨hal-00940336⟩

Julia Lawall, René Hansen, Nicolas Palix, Gilles Muller. Improving the Security of Infrastructure Software using Coccinelle.. ERCIM News, ERCIM, 2010, pp.54. ⟨hal-00940366⟩

Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Julien Sopena, Baptiste 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-02901169⟩

Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas 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-02554342⟩

Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller, Baptiste 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-02558763⟩

Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste 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-02349987v2⟩

Mohamad-Jaafar Nehme, Nicolas Palix, Kamal Beydoun, Vivien 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-02017993⟩

Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha 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-01556597⟩

Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller, Baptiste 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-02111160⟩

Nicolas Palix, Jean-Rémy Falleri, Julia 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-01213907⟩

Diego Puschini, Julien Mottin, Nicolas Palix, Lian Apostol, Christian Fabre. Integrated architecture exploration workflow: A NoC-based case study. International Symposium on Rapid System Prototyping, Oct 2012, Tampere, Finland. pp.135-141, ⟨10.1109/RSP.2012.6380702⟩. ⟨hal-00940379⟩

Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia L. Lawall, et al.. Faults in Linux: Ten Years Later. ASPLOS 2011 - 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2011, Newport Beach, California, United States. pp.305-318, ⟨10.1145/1950365.1950401⟩. ⟨hal-00940355⟩

Julia Lawall, Ben Laurie, René Hansen, Nicolas Palix, Gilles Muller. Finding Error Handling Bugs in OpenSSL Using Coccinelle. European Dependable Computing Conference, Apr 2010, Valencia, Spain. pp.191-196, ⟨10.1109/EDCC.2010.31⟩. ⟨hal-00940375⟩

Nicolas Palix, Julia L. Lawall, Gaël Thomas, Gilles Muller. {How Often do Experts Make Mistakes?}. 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Mar 2010, Rennes et Saint Malo, France. pp.9-16. ⟨hal-01293789⟩

Nicolas Palix, Julia Lawall, Gilles Muller. Tracking Code Patterns over Multiple Software Versions with Herodotos. AOSD'10 - ACM International Conference on Aspect-Oriented Software Development, Mar 2010, Rennes and Saint Malo, France. pp.169-180, ⟨10.1145/1739230.1739250⟩. ⟨hal-00941123⟩

Julia Lawall, Julien Brunel, Nicolas Palix, René Hansen, Henrik Stuart, et al.. WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code. DSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Lisbon, Portugal. pp.43-52, ⟨10.1109/DSN.2009.5270354⟩. ⟨hal-00941142⟩

Julien Mercadal, Nicolas Palix, Charles Consel, Julia Lawall. Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services. Seventh International Conference on Generative Programming and Component Engineering, Oct 2008, Nashville, United States. pp.149-160. ⟨inria-00333637⟩

Wilfried Jouve, Nicolas Palix, Charles Consel, Patrice Kadionik. A SIP-based Programming Framework for Advanced Telephony Applications. 2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications, Jul 2008, Heidelberg, Germany. ⟨inria-00333609⟩

Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall. High-level Programming Support for Robust Pervasive Computing Applications. 6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China. ⟨inria-00333602⟩

Charles Consel, Wilfried Jouve, Julien Lancia, Nicolas Palix. Ontology-Directed Generation of Frameworks For Pervasive Service Development. Proceedings of The 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare 07), Mar 2007, United States. pp.501 - 508. ⟨hal-00306009⟩

Nicolas Palix, Laurent Réveillère, Charles Consel, Julia Lawall. A Stepwise Approach to Developing Languages for SIP Telephony Service Creation. IPTComm '07: Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications, Jul 2007, New York City, United States. pp.79-88. ⟨inria-00196520⟩

Charles Consel, Wilfried Jouve, Julien Lancia, Nicolas Palix. Ontology-Directed Generation of Frameworks For Pervasive Service Development. Proceedings of the 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare'07), Mar 2007, White Plains, NY, United States. pp.501--506. ⟨inria-00343533⟩

Laurent Burgy, Charles Consel, Fabien Latry, Nicolas Palix, Laurent Réveillère. A High-Level, Open-Ended Architecture For SIP-based Services. Proceedings of the tenth International Conference on Intelligence in service delivery Networks (ICIN 2006), May 2006, Bordeaux, France. pp.364-365. ⟨inria-00196516⟩

Laurent Burgy, Charles Consel, Fabien Latry, Julia Lawall, Nicolas Palix, et al.. Language Technology for Internet-Telephony Service Creation. IEEE International Conference on Communications, Jun 2006, Istanbul, Turkey. pp.1795-1800, ⟨10.1109/ICC.2006.254980⟩. ⟨inria-00196518⟩

Laurent Burgy, Charles Consel, Fabien Latry, Nicolas Palix, Laurent Réveillère. Telephony over ip: Experience and challenges. ERCIM NEws, European Research Consortium for Informatics and Mathematics, pp.53-54, 2005. ⟨hal-00350206⟩

Laurent Burgy, Charles Consel, Fabien Latry, Nicolas Palix, Laurent Réveillère. Dispositif de routage pour un système de téléphonie sur IP. European Union, Patent n° : EP1887774. 2008. ⟨inria-00350014⟩

Laurent Burgy, Charles Consel, Fabien Latry, Nicolas Palix, Laurent Réveillère. Dispositif d'interconnexion d'un système d'informations d'entreprise(s) à un serveur. France, Patent n° : 06291276.1. 2006. ⟨inria-00414682⟩

Nicolas Palix, Suman Saha, Gaël Thomas, Christophe Calvès, Julia Lawall, et al.. Faults in Linux: Ten Years Later. [Research Report] RR-7357, INRIA. 2010, pp.21. ⟨inria-00509256v2⟩

Nicolas Palix, Julia Lawall, Gilles Muller. Herodotos: A Tool to Expose Bugs' Lives. [Research Report] RR-6984, INRIA. 2009, pp.16. ⟨inria-00406306⟩

Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall. A Domain-Specific IDL and its Compiler for Pervasive Computing Applications. [Research Report] RR-6213, INRIA. 2007. ⟨inria-00153375v3⟩

Wilfried Jouve, Charles Consel, Julien Lancia, Nicolas Palix. Ontology-Directed Generation of Frameworks For Pervasive Service Development. [Research Report] 2006. ⟨inria-00111032⟩

Laurent Burgy, Charles Consel, Fabien Latry, Julia Lawall, Nicolas Palix, et al.. Telephony Software Engineering: A Domain-Specific Language Approach. [Research Report] RR-5548, INRIA. 2005, pp.29. ⟨inria-00070459⟩

Nicolas Palix. Langages dédiés au développement de services de communications. Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français. ⟨tel-00340864⟩