Nicolas Palix

According to our database, Nicolas Palix authored at least 24 papers between 2006 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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 Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

Provable multicore schedulers with Ipanema: application to work conservation.

Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte, Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

Fork/Wait and Multicore Frequency Scaling: a Generational Clash.

Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller

Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

2018

MDC-Cast: A Total-Order Broadcast Protocol for Multi-Datacenter Environments.

Mohamad-Jaafar Nehme, Nicolas Palix, Kamal Beydoun, Vivien Quéma

Proceedings of the 37th IEEE Symposium on Reliable Distributed Systems, 2018

2017

Towards Proving Optimistic Multicore Schedulers.

Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2015

Improving pattern tracking with a language-aware tree differencing algorithm.

Nicolas Palix, Jean-Rémy Falleri, Julia Lawall

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

2014

Faults in Linux 2.6.

Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia Lawall

ACM Trans. Comput. Syst., 2014

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification.

Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix

Sci. Comput. Program., 2014

2013

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process.

Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller

Softw. Pract. Exp., 2013

2012

Integrated architecture exploration workflow: A NoC-based case study.

Diego Puschini, Julien Mottin, Nicolas Palix, Lian Apostol, Christian Fabre

Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, 2012

2011

Faults in linux: ten years later.

Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Improving the Security of Infrastructure Software using Coccinelle.

Julia Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller

ERCIM News, 2010

Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification.

Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Finding Error Handling Bugs in OpenSSL Using Coccinelle.

Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller

Proceedings of the Eighth European Dependable Computing Conference, 2010

Tracking code patterns over multiple software versions with Herodotos.

Nicolas Palix, Julia Lawall, Gilles Muller

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code.

Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Enforcing the use of API functions in linux code.

Julia L. Lawall, Gilles Muller, Nicolas Palix

Proceedings of the ACP4IS@AOSD 2009: Proceedings of the 8th workshop on Aspects, 2009

2008

Langages dédiés au développement de services de communications. (Domain-Specific Languages for Developing Communication Services).

Nicolas Palix

PhD thesis, 2008

High-level Programming Support for Robust Pervasive Computing Applications.

Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall

Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008

A SIP-Based Programming Framework for Advanced Telephony Applications.

Wilfried Jouve, Nicolas Palix, Charles Consel, Patrice Kadionik

Proceedings of the Principles, 2008

Pantaxou: a domain-specific language for developing safe coordination services.

Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall

Proceedings of the Generative Programming and Component Engineering, 2008

2007

Ontology-Directed Generation of Frameworks for Pervasive Service Development.

Charles Consel, Wilfried Jouve, Julien Lancia, Nicolas Palix

Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications, 2007

A stepwise approach to developing languages for SIP telephony service creation.

Nicolas Palix, Charles Consel, Laurent Réveillère, Julia Lawall

Proceedings of the Principles, 2007

2006

Language Technology for Internet-Telephony Service Creation.

Laurent Burgy, Charles Consel, Fabien Latry, Julia Lawall, Nicolas Palix, Laurent Réveillère

Proceedings of IEEE International Conference on Communications, 2006