Nicolas Palix

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⟩

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⟩

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⟩

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, 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⟩

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⟩

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⟩

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⟩