Nicolas Palix

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