Nicolas Palix's homepage

Publications

1 Journal

[3]: M. Olesen R. Hansen, J. Lawall, and N. Palix. « Coccinelle: Tool support for automated CERT C Secure Coding Standard certification ». In Science of Computer Programming, volume 91, pages 141-160, Elsevier, October 2014.
[2]: Faults in Linux 2.6
Nicolas Palix, Gaēl Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia Lawall
ACM Transactions on Computer Systems (TOCS), 2014
[1]: J. Lawall, J. Brunel, N. Palix, R. Hansen, H. Stuart, and G. Muller. « WYSIWIB: Exploiting Fine-Grained Program Structure in a Scriptable API-Usage Protocol-Finding Process ». In Jounal of Software: Practice and Experience, January 2013.

2 International conferences

[11]: D. Puschini, J. Mottin, N. Palix, L. Apostol, C. Fabre. « Integrated architecture exploration workflow: A NoC-based case study ». In Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, RSP 2012, Tampere, Finland, pages 135-141, October 11-12, 2012.
[10]: Faults in linux: ten years later
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller
In ASPLOS XVI Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems, pages 305-318, Newport Beach, California, USA, March 2011.

More info
[9]: J. Lawall, B. Laurie, R. Hansen, N. Palix, and G. Muller. « Finding Error Handling Bugs in OpenSSL using Coccinelle ». In Proceeding of the 8th European Dependable Computing Conference, EDCC 2010, Valence, Spain, April 2010.
More info
[8]: N. Palix, J. Lawall, and G. Muller. « Tracking Code Patterns over Multiple Software Versions with Herodotos ». In Proceeding of the ACM International Conference on Aspect-Oriented Software Development, AOSD’10, pages 169-180, Rennes and Saint Malo, France, March 2010.
More info
[7]: J. Lawall, J. Brunel, N. Palix, R. Hansen, H. Stuart, and G. Muller. « WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code ». In Proceeding of the International Conference on Dependable Systems and Networks, pages 43–52, Estoril (Lisbon), Portugal, June 2009.
More info
[6]: J. Mercadal, N. Palix, C. Consel, and J. Lawall. « Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services ». In Proceedings of the Seventh International Conference on Generative Programming and Component Engineering (GPCE), pages 149–160, Nashville, TN, USA, October 2008.
More info
[5]: W. Jouve, N. Palix, C. Consel, and P. Kadionik. « A SIP-based Programming Framework for Advanced Telephony Applications ». In Proceedings of The 2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications (IPTComm’08), pages 1–20, Heidelberg, Germany, July 2008. Awarded best student paper.
More info
[4]: W. Jouve, J. Lancia, N. Palix, C. Consel, and J. Lawall. « High-level Programming Support for Robust Pervasive Computing Applications ». In Proceedings of the 6th IEEE Conference on Pervasive Computing and Communications (PERCOM’08), pages 252–255, Hong Kong, China, March 2008.
More info
[3]: N. Palix, C. Consel, L. Réveillère, and J. Lawall. « A Stepwise Approach to Developing Languages for SIP Telephony Service Creation ». In Proceedings of Principles, Systems and Applications of IP Telecommunications, IPTComm, pages 79–88, New York City, New York, USA, July 2007.
More info
[2]: L. Burgy, C. Consel, F. Latry, J. Lawall, N. Palix, and L. Réveillère. « Language Technology for Internet-Telephony Service Creation ». In IEEE International Conference on Communications, pages 1795–1800, Istanbul, Turkey, June 2006.
More info
[1]: L. Burgy, C. Consel, F. Latry, N. Palix, and L. Réveillère. « A High-Level, Open Ended Architecture For SIP-based Services ». In Proceedings of the tenth International Conference on Intelligence in service delivery Networks (ICIN 2006), pages 364–365, Bordeaux, France, May 2006.
More info

3 International workshops

[4]: M. C. Olesen, R. R. Hansen and J. L. Lawall and N. Palix, « Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification », In 4th International Workshop on Foundations and Techniques for Open Source Software Certification, Pisa, Italy, 16 pages, September 2010.
[3]: N. Palix, J. Lawall, G. Thomas, and G. Muller. « How Often do Experts Make Mistakes? », In Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS ’10), Rennes and Saint Malo, 7 pages, March 2010.
More info
[2]: J. Lawall, G. Muller, and N. Palix. « Enforcing the use of API functions in Linux code ». In ACP4IS ’09: Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software, pages 7–11, Charlottesville, Virginia, USA, March 2009.
More info
[1]: C. Consel, W. Jouve, J. Lancia, and N. Palix. « Ontology-Directed Generation of Frameworks For Pervasive Service Development ». In Proceedings of The 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare’07), pages 501–506, White Plains, NY, USA, March 2007.
More info

4 National conferences

[1]: N. Palix. « Herodotos, l’historien de vos défauts ». In 7e Conférence Francaise en Systèmes d’Exploitation (CFSE), Toulouse, France, September 2009.
More info

5 National workshops

[1]: W. Jouve, N. Palix, C. Consel, and P. Kadionik. « Génération de canevas de programmation dédiés pour les applications de téléphonie avancées ». In Journées nationales du groupe de recherche génie de la programmation et du logiciel, pages 54–55, Toulouse, France, January 2009.
More info

6 Master and PhD theses

[2]: Nicolas Palix. « Langages dédiés au développement de services de communications ». PhD thesis, Université de Bordeaux I - LaBRI / INRIA Bordeaux - Sud-Ouest, September 2008.
http://tel.archives-ouvertes.fr/tel-00340864/
[1]: Nicolas Palix. « Modélisation et traduction de systèmes sur puce à base de composants ». Master Report, Université de Grenoble I - INRIA Rhône-Alpes, Montbonnot Saint Martin, August 2004.
http://pop-art.inrialpes.fr/people/palix

7 Research Reports

[4]: N. Palix, S. Saha, G. Thomas, C. Calvès, J. Lawall, and G. Muller. « Faults in Linux: Ten Years Later ». Rapport de recherche RR-7357, INRIA, August 2010.
http://hal.inria.fr/inria-00509256/
[3]: N. Palix, J. Lawall, and G. Muller. « Herodotos: A Tool to Expose Bugs’ Lives ». Rapport de recherche RR-6984, INRIA, July 2009.
http://hal.inria.fr/inria-00406306/
[2]: W. Jouve, J. Lancia, N. Palix, C. Consel, and J. Lawall. « A Domain-Specific IDL and its Compiler for Pervasive Computing Applications ». Rapport de recherche RR-6213, INRIA, June 2007.
http://hal.inria.fr/inria-00153375/
[1]: L. Burgy, C. Consel, F. Latry, J. Lawall, N. Palix, and L. Réveillère. « Telephony Software Engineering: A Domain-Specific Language Approach ». Rapport de recherche RR-5548, INRIA, April 2005.
http://hal.inria.fr/inria-00070459/

8 Patents

[1]: Enregistrement d’un brevet européen et international: Dispositif d’interconnexion d’un système d’informations d’entreprise(s) à un serveur d’applications d’un système de téléphonie IP. Brevet Inria, 06291276.1, enregistré le 7 août 2006, EP1887774.
http://www.freepatentsonline.com/EP1887774.html

9 Vulgarization articles

[2]: N. Palix. « Improving the Security of Infrastructure Software using Coccinelle ». ERCIM News, 83:54–54, October 2010.
http://ercim-news.ercim.eu/en83/rd/improving-the-security-of-infrastructure-software-using-coccinelle
[1]: L. Burgy, C. Consel, F. Latry, L. Réveillère, and N. Palix. « Telephony over IP: Experience and Challenges ». ERCIM News, 63:53–54, October 2005.
http://www.ercim.org/publication/Ercim_News/enw63/consel.html

10 Software developments

[4]: N. Palix. « Herodotos : Discover the histories of pattern occurrences ». Distributed under the GPLv2 license.
http://www.diku.dk/~npalix/herodotos/
[3]: INRIA Phoenix. « DiaSpec : Connecting software architectures to distributed applications », A middleware generator for developing distributed applications. No longer available. It was distributed under the CeCILL-B license
[2]: INRIA Phoenix. « Pantaxou : A DSL for ubiquitous computing services », component of the Amigo European project. Distributed under the LGPL license.
https://gforge.inria.fr/projects/amigo/
[1]: Software registration at the Agence de Protection des Programmes (APP) for the VisuCom software and its execution environment, version 1.0

Ce document a été traduit de L^AT_EX par H^EV^EA