default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNicolas Palix
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[c18]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: 3:1-3:16- [c17]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 ATC 2020: 435-448
2010 – 2019
- 2019
- [c16]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: 53-59 - 2018
- [c15]Mohamad-Jaafar Nehme, Nicolas Palix, Kamal Beydoun, Vivien Quéma:
MDC-Cast: A Total-Order Broadcast Protocol for Multi-Datacenter Environments. SRDS 2018: 241-250 - 2017
- [c14]Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller:
Towards Proving Optimistic Multicore Schedulers. HotOS 2017: 18-23 - 2015
- [c13]Nicolas Palix, Jean-Rémy Falleri, Julia Lawall:
Improving pattern tracking with a language-aware tree differencing algorithm. SANER 2015: 43-52 - 2014
- [j4]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: 141-160 (2014) - [j3]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): 4:1-4:40 (2014) - [i2]Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia L. Lawall:
Faults in Linux 2.6. CoRR abs/1407.4346 (2014) - 2013
- [j2]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): 67-92 (2013) - 2012
- [c12]Diego Puschini, Julien Mottin, Nicolas Palix, Lian Apostol, Christian Fabre:
Integrated architecture exploration workflow: A NoC-based case study. RSP 2012: 135-141 - 2011
- [c11]Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller:
Faults in linux: ten years later. ASPLOS 2011: 305-318 - 2010
- [j1]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) - [c10]Nicolas Palix, Julia Lawall, Gilles Muller:
Tracking code patterns over multiple software versions with Herodotos. AOSD 2010: 169-180 - [c9]Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller:
Finding Error Handling Bugs in OpenSSL Using Coccinelle. EDCC 2010: 191-196 - [i1]Julia Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller:
Improving the Security of Infrastructure Software using Coccinelle. ERCIM News 2010(83): 54 (2010)
2000 – 2009
- 2009
- [c8]Julia L. Lawall, Gilles Muller, Nicolas Palix:
Enforcing the use of API functions in linux code. ACP4IS@AOSD 2009: 7-12 - [c7]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: 43-52 - 2008
- [b1]Nicolas Palix:
Langages dédiés au développement de services de communications. (Domain-Specific Languages for Developing Communication Services). University of Bordeaux, France, 2008 - [c6]Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall:
Pantaxou: a domain-specific language for developing safe coordination services. GPCE 2008: 149-160 - [c5]Wilfried Jouve, Nicolas Palix, Charles Consel, Patrice Kadionik:
A SIP-Based Programming Framework for Advanced Telephony Applications. IPTComm 2008: 1-20 - [c4]Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall:
High-level Programming Support for Robust Pervasive Computing Applications. PerCom 2008: 252-255 - 2007
- [c3]Nicolas Palix, Charles Consel, Laurent Réveillère, Julia Lawall:
A stepwise approach to developing languages for SIP telephony service creation. IPTComm 2007: 79-88 - [c2]Charles Consel, Wilfried Jouve, Julien Lancia, Nicolas Palix:
Ontology-Directed Generation of Frameworks for Pervasive Service Development. PerCom Workshops 2007: 501-508 - 2006
- [c1]Laurent Burgy, Charles Consel, Fabien Latry, Julia Lawall, Nicolas Palix, Laurent Réveillère:
Language Technology for Internet-Telephony Service Creation. ICC 2006: 1795-1800
Coauthor Index
aka: Julia L. Lawall
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
