Nicolas Palix

ORCID

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 5

Top Venues

SANER

SRDS

USENIX Annual Technical Conference

CoRR

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte, Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller
Provable multicore schedulers with Ipanema: application to work conservation. EuroSys (2020)
Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance. USENIX Annual Technical Conference (2020)
Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller
Fork/Wait and Multicore Frequency Scaling: a Generational Clash. PLOS@SOSP (2019)
Mohamad-Jaafar Nehme, Nicolas Palix, Kamal Beydoun, Vivien Quéma
MDC-Cast: A Total-Order Broadcast Protocol for Multi-Datacenter Environments. SRDS (2018)
Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller
Towards Proving Optimistic Multicore Schedulers. HotOS (2017)
Nicolas Palix, Jean-Rémy Falleri, Julia Lawall
Improving pattern tracking with a language-aware tree differencing algorithm. SANER (2015)
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia Lawall
Faults in Linux 2.6. ACM Trans. Comput. Syst. 32 (2) (2014)
Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. Sci. Comput. Program. 91 (2014)
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia L. Lawall
Faults in Linux 2.6. CoRR (2014)
Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Softw. Pract. Exp. 43 (1) (2013)
Diego Puschini, Julien Mottin, Nicolas Palix, Lian Apostol, Christian Fabre
Integrated architecture exploration workflow: A NoC-based case study. RSP (2012)
Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller
Faults in linux: ten years later. ASPLOS (2011)
Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Nicolas Palix, Julia Lawall, Gilles Muller
Tracking code patterns over multiple software versions with Herodotos. AOSD (2010)
Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller
Finding Error Handling Bugs in OpenSSL Using Coccinelle. EDCC (2010)
Julia Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller
Improving the Security of Infrastructure Software using Coccinelle. ERCIM News 2010 (83) (2010)
Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. DSN (2009)
Julia L. Lawall, Gilles Muller, Nicolas Palix
Enforcing the use of API functions in linux code. ACP4IS@AOSD (2009)
Wilfried Jouve, Nicolas Palix, Charles Consel, Patrice Kadionik
A SIP-Based Programming Framework for Advanced Telephony Applications. IPTComm (2008)
Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall
Pantaxou: a domain-specific language for developing safe coordination services. GPCE (2008)
Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall
High-level Programming Support for Robust Pervasive Computing Applications. PerCom (2008)
Charles Consel, Wilfried Jouve, Julien Lancia, Nicolas Palix
Ontology-Directed Generation of Frameworks for Pervasive Service Development. PerCom Workshops (2007)
Nicolas Palix, Charles Consel, Laurent Réveillère, Julia Lawall
A stepwise approach to developing languages for SIP telephony service creation. IPTComm (2007)
Laurent Burgy, Charles Consel, Fabien Latry, Julia Lawall, Nicolas Palix, Laurent Réveillère
Language Technology for Internet-Telephony Service Creation. ICC (2006)

Nicolas Palix.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nicolas Palix