Nicolas Palix

Identifiants chercheurs

IdHAL :

nicolas-palix

ORCID :

0000-0001-8873-281X

IdRef :

129616427

Publications

Article dans une revue (5)

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification Mads Chr. Olesen,René Rydhof Hansen,Julia Lawall,Nicolas Palix 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⟩ Article dans une revue istex hal-01096185v1
Faults in Linux 2.6 Nicolas Palix,Gaël Thomas,Suman Saha,Christophe Calvès,Gilles Mulleret al. ACM Transactions on Computer Systems, 2014, 32 (2), pp.1--40. ⟨10.1145/2619090⟩ Article dans une revue hal-01022704v1
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process Julia Lawall,Julien Brunel,Nicolas Palix,René Rydhof Hansen,Henrik Stuartet al. Software: Practice and Experience, 2013, 43 (1), pp.67-92. ⟨10.1002/spe.2102⟩ Article dans une revue istex hal-00940320v1
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification Mads Chr. Olesen,René Rydhof Hansen,Julia Lawall,Nicolas Palix Science of Computer Programming, 2012, pp.28. ⟨10.1016/j.scico.2012.10.011⟩ Article dans une revue istex hal-00940336v1
Improving the Security of Infrastructure Software using Coccinelle. Julia Lawall,René R. Hansen,Nicolas Palix,Gilles Muller ERCIM News, 2010, 83, pp.54 Article dans une revue hal-00940366v1

Communication dans un congrès (22)

Provable Multicore Schedulers with Ipanema: Application to Work Conservation Baptiste Lepers,Redha Gouicem,Damien Carver,Jean-Pierre Lozi,Nicolas Palixet al. Eurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩ Communication dans un congrès hal-02554342v1
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance Redha Gouicem,Damien Carver,Jean-Pierre Lozi,Julien Sopena,Baptiste Leperset al. 2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States Communication dans un congrès hal-02901169v1
Fork/Wait and Multicore Frequency Scaling: a Generational Clash Damien Carver,Redha Gouicem,Jean-Pierre Lozi,Julien Sopena,Baptiste Leperset al. 10th Workshop on Programming Languages and Operating Systems, Oct 2019, Huntsville, Canada. pp.53-59, ⟨10.1145/3365137.3365400⟩ Communication dans un congrès hal-02349987v2
Understanding scheduler performance : a feature-based approach Redha Gouicem,Julien Sopena,Julia Lawall,Gilles Muller,Baptiste Leperset al. Compas 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France Communication dans un congrès hal-02558763v1
MDC-Cast: A Total-Order Broadcast Protocol for Multi-Datacenter Environments Mohamad-Jaafar Nehme,Nicolas Palix,Kamal Beydoun,Vivien Quéma 2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), Oct 2018, Salvador, Brazil. pp.241-250 Communication dans un congrès hal-02017993v1
Towards Proving Optimistic Multicore Schedulers Baptiste Lepers,Willy Zwaenepoel,Jean-Pierre Lozi,Nicolas Palix,Redha Gouicemet al. HotOS 2017 - 16th Workshop on Hot Topics in Operating Systems, ACM SIGOPS, May 2017, Whistler, British Columbia, Canada. pp.6, ⟨10.1145/3102980.3102984⟩ Communication dans un congrès hal-01556597v1
Ipanema : un langage dédié pour le développement d'ordonnanceurs multi-coeur sûrs Redha Gouicem,Julien Sopena,Julia Lawall,Gilles Muller,Baptiste Leperset al. Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia Antipolis, France Communication dans un congrès hal-02111160v1
Improving pattern tracking with a language-aware tree differencing algorithm Nicolas Palix,Jean-Rémy Falleri,Julia Lawall SANER 2015 - 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2015, Montreal, Canada. pp.43-52, ⟨10.1109/SANER.2015.7081814⟩ Communication dans un congrès hal-01213907v1
Integrated architecture exploration workflow: A NoC-based case study Diego Puschini,Julien Mottin,Nicolas Palix,Lian Apostol,Christian Fabre International Symposium on Rapid System Prototyping, Oct 2012, Tampere, Finland. pp.135-141, ⟨10.1109/RSP.2012.6380702⟩ Communication dans un congrès hal-00940379v1
Faults in Linux: Ten Years Later Nicolas Palix,Gaël Thomas,Suman Saha,Christophe Calvès,Julia L. Lawallet al. 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⟩ Communication dans un congrès hal-00940355v1
Finding Error Handling Bugs in OpenSSL Using Coccinelle Julia Lawall,Ben Laurie,René Rydhof Hansen,Nicolas Palix,Gilles Muller European Dependable Computing Conference, Apr 2010, Valencia, Spain. pp.191-196, ⟨10.1109/EDCC.2010.31⟩ Communication dans un congrès hal-00940375v1
{How Often do Experts Make Mistakes?} Nicolas Palix,Julia L. Lawall,Gaël Thomas,Gilles Muller 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Mar 2010, Rennes et Saint Malo, France. pp.9-16 Communication dans un congrès hal-01293789v1
Tracking Code Patterns over Multiple Software Versions with Herodotos Nicolas Palix,Julia Lawall,Gilles Muller AOSD'10 - ACM International Conference on Aspect-Oriented Software Development, Mar 2010, Rennes and Saint Malo, France. pp.169-180, ⟨10.1145/1739230.1739250⟩ Communication dans un congrès hal-00941123v1
WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code Julia Lawall,Julien Brunel,Nicolas Palix,René Rydhof Hansen,Henrik Stuartet al. DSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Lisbon, Portugal. pp.43-52, ⟨10.1109/DSN.2009.5270354⟩ Communication dans un congrès hal-00941142v1
A SIP-based Programming Framework for Advanced Telephony Applications Wilfried Jouve,Nicolas Palix,Charles Consel,Patrice Kadionik 2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications, Jul 2008, Heidelberg, Germany Communication dans un congrès inria-00333609v1
High-level Programming Support for Robust Pervasive Computing Applications Wilfried Jouve,Julien Lancia,Nicolas Palix,Charles Consel,Julia Lawall 6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China Communication dans un congrès inria-00333602v1
Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services Julien Mercadal,Nicolas Palix,Charles Consel,Julia Lawall Seventh International Conference on Generative Programming and Component Engineering, Oct 2008, Nashville, United States. pp.149-160 Communication dans un congrès inria-00333637v1
A Stepwise Approach to Developing Languages for SIP Telephony Service Creation Nicolas Palix,Laurent Réveillère,Charles Consel,Julia Lawall 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 Communication dans un congrès inria-00196520v1
Ontology-Directed Generation of Frameworks For Pervasive Service Development Charles Consel,Wilfried Jouve,Julien Lancia,Nicolas Palix Proceedings of The 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare 07), Mar 2007, United States. pp.501 - 508 Communication dans un congrès hal-00306009v1
Ontology-Directed Generation of Frameworks For Pervasive Service Development Charles Consel,Wilfried Jouve,Julien Lancia,Nicolas Palix Proceedings of the 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare'07), Mar 2007, White Plains, NY, United States. pp.501--506 Communication dans un congrès inria-00343533v1
A High-Level, Open-Ended Architecture For SIP-based Services Laurent Burgy,Charles Consel,Fabien Latry,Nicolas Palix,Laurent Réveillère Proceedings of the tenth International Conference on Intelligence in service delivery Networks (ICIN 2006), May 2006, Bordeaux, France. pp.364-365 Communication dans un congrès inria-00196516v1
Language Technology for Internet-Telephony Service Creation Laurent Burgy,Charles Consel,Fabien Latry,Julia Lawall,Nicolas Palixet al. IEEE International Conference on Communications, Jun 2006, Istanbul, Turkey. pp.1795-1800, ⟨10.1109/ICC.2006.254980⟩ Communication dans un congrès inria-00196518v1

Brevet (2)

Dispositif de routage pour un système de téléphonie sur IP Laurent Burgy,Charles Consel,Fabien Latry,Nicolas Palix,Laurent Réveillère European Union, Patent n° : EP1887774. 2008 Brevet inria-00350014v1
Dispositif d'interconnexion d'un système d'informations d'entreprise(s) à un serveur Laurent Burgy,Charles Consel,Fabien Latry,Nicolas Palix,Laurent Réveillère France, Patent n° : 06291276.1. 2006 Brevet inria-00414682v1

Rapport (5)

Faults in Linux: Ten Years Later Nicolas Palix,Suman Saha,Gaël Thomas,Christophe Calvès,Julia L. Lawallet al. [Research Report] RR-7357, INRIA. 2010, pp.21 Rapport (rapport de recherche) inria-00509256v2
Herodotos: A Tool to Expose Bugs' Lives Nicolas Palix,Julia Lawall,Gilles Muller [Research Report] RR-6984, INRIA. 2009, pp.16 Rapport (rapport de recherche) inria-00406306v1
A Domain-Specific IDL and its Compiler for Pervasive Computing Applications Wilfried Jouve,Julien Lancia,Nicolas Palix,Charles Consel,Julia L. Lawall [Research Report] RR-6213, INRIA. 2007 Rapport (rapport de recherche) inria-00153375v3
Ontology-Directed Generation of Frameworks For Pervasive Service Development Wilfried Jouve,Charles Consel,Julien Lancia,Nicolas Palix [Research Report] 2006 Rapport (rapport de recherche) inria-00111032v1
Telephony Software Engineering: A Domain-Specific Language Approach Laurent Burgy,Charles Consel,Fabien Latry,Julia L. Lawall,Nicolas Palixet al. [Research Report] RR-5548, INRIA. 2005, pp.29 Rapport (rapport de recherche) inria-00070459v1

Thèse (1)

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