Nicolas Palix

35
Documents
Affiliation actuelle
  • Conception de couches systèmes performantes, robustes, sécurisées, flexibles, et moins énergivores (KRAKOS)
Identifiants chercheurs

Publications

17
13
11
6
6
6
6
5
5
5
5
5
4
4
4
4
4
3
3
3
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
10
10
8
8
5
2
1

Publications

Image document

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 et al.
2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States
Communication dans un congrès hal-02901169 v1
Image document

Provable Multicore Schedulers with Ipanema: Application to Work Conservation

Baptiste Lepers , Redha Gouicem , Damien Carver , Jean-Pierre Lozi , Nicolas Palix et al.
Eurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
Communication dans un congrès hal-02554342 v1
Image document

Understanding scheduler performance : a feature-based approach

Redha Gouicem , Julien Sopena , Julia Lawall , Gilles Muller , Baptiste Lepers et al.
Compas 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Communication dans un congrès hal-02558763 v1
Image document

Fork/Wait and Multicore Frequency Scaling: a Generational Clash

Damien Carver , Redha Gouicem , Jean-Pierre Lozi , Julien Sopena , Baptiste Lepers et al.
10th Workshop on Programming Languages and Operating Systems, Oct 2019, Huntsville, Canada. pp.53-59, ⟨10.1145/3365137.3365400⟩
Communication dans un congrès hal-02349987 v2

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

Mohamad-Jaafar Nehme , Nicolas Palix , Kamal Beydoun , Vivien Quéma
2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), Oct 2018, Salvador, Brazil. pp.241-250
Communication dans un congrès hal-02017993 v1
Image document

Ipanema : un langage dédié pour le développement d'ordonnanceurs multi-coeur sûrs

Redha Gouicem , Julien Sopena , Julia Lawall , Gilles Muller , Baptiste Lepers et al.
Compas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia Antipolis, France
Communication dans un congrès hal-02111160 v1
Image document

Towards Proving Optimistic Multicore Schedulers

Baptiste Lepers , Willy Zwaenepoel , Jean-Pierre Lozi , Nicolas Palix , Redha Gouicem et al.
HotOS 2017 - 16th Workshop on Hot Topics in Operating Systems, ACM SIGOPS, May 2017, Whistler, British Columbia, Canada. pp.6, ⟨10.1145/3102980.3102984⟩
Communication dans un congrès hal-01556597 v1
Image document

Improving pattern tracking with a language-aware tree differencing algorithm

Nicolas Palix , Jean-Rémy Falleri , Julia Lawall
SANER 2015 - 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2015, Montreal, Canada. pp.43-52, ⟨10.1109/SANER.2015.7081814⟩
Communication dans un congrès hal-01213907 v1

Integrated architecture exploration workflow: A NoC-based case study

Diego Puschini , Julien Mottin , Nicolas Palix , Lian Apostol , Christian Fabre
International Symposium on Rapid System Prototyping, Oct 2012, Tampere, Finland. pp.135-141, ⟨10.1109/RSP.2012.6380702⟩
Communication dans un congrès hal-00940379 v1

Faults in Linux: Ten Years Later

Nicolas Palix , Gaël Thomas , Suman Saha , Christophe Calvès , Julia L. Lawall et al.
ASPLOS 2011 - 16th International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2011, Newport Beach, California, United States. pp.305-318, ⟨10.1145/1950365.1950401⟩
Communication dans un congrès hal-00940355 v1

Finding Error Handling Bugs in OpenSSL Using Coccinelle

Julia Lawall , Ben Laurie , René Rydhof Hansen , Nicolas Palix , Gilles Muller
European Dependable Computing Conference, Apr 2010, Valencia, Spain. pp.191-196, ⟨10.1109/EDCC.2010.31⟩
Communication dans un congrès hal-00940375 v1

{How Often do Experts Make Mistakes?}

Nicolas Palix , Julia L. Lawall , Gaël Thomas , Gilles Muller
9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Mar 2010, Rennes et Saint Malo, France. pp.9-16
Communication dans un congrès hal-01293789 v1
Image document

Tracking Code Patterns over Multiple Software Versions with Herodotos

Nicolas Palix , Julia Lawall , Gilles Muller
AOSD'10 - ACM International Conference on Aspect-Oriented Software Development, Mar 2010, Rennes and Saint Malo, France. pp.169-180, ⟨10.1145/1739230.1739250⟩
Communication dans un congrès hal-00941123 v1

WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code

Julia Lawall , Julien Brunel , Nicolas Palix , René Rydhof Hansen , Henrik Stuart et al.
DSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Lisbon, Portugal. pp.43-52, ⟨10.1109/DSN.2009.5270354⟩
Communication dans un congrès hal-00941142 v1
Image document

High-level Programming Support for Robust Pervasive Computing Applications

Wilfried Jouve , Julien Lancia , Nicolas Palix , Charles Consel , Julia Lawall
6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China
Communication dans un congrès inria-00333602 v1
Image document

Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services

Julien Mercadal , Nicolas Palix , Charles Consel , Julia Lawall
Seventh International Conference on Generative Programming and Component Engineering, Oct 2008, Nashville, United States. pp.149-160
Communication dans un congrès inria-00333637 v1
Image document

A SIP-based Programming Framework for Advanced Telephony Applications

Wilfried Jouve , Nicolas Palix , Charles Consel , Patrice Kadionik
2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications, Jul 2008, Heidelberg, Germany
Communication dans un congrès inria-00333609 v1
Image document

Ontology-Directed Generation of Frameworks For Pervasive Service Development

Charles Consel , Wilfried Jouve , Julien Lancia , Nicolas Palix
Proceedings of The 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare 07), Mar 2007, United States. pp.501 - 508
Communication dans un congrès hal-00306009 v1

Ontology-Directed Generation of Frameworks For Pervasive Service Development

Charles Consel , Wilfried Jouve , Julien Lancia , Nicolas Palix
Proceedings of the 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare'07), Mar 2007, White Plains, NY, United States. pp.501--506
Communication dans un congrès inria-00343533 v1
Image document

A Stepwise Approach to Developing Languages for SIP Telephony Service Creation

Nicolas Palix , Laurent Réveillère , Charles Consel , Julia Lawall
IPTComm '07: Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications, Jul 2007, New York City, United States. pp.79-88
Communication dans un congrès inria-00196520 v1
Image document

Language Technology for Internet-Telephony Service Creation

Laurent Burgy , Charles Consel , Fabien Latry , Julia Lawall , Nicolas Palix et al.
IEEE International Conference on Communications, Jun 2006, Istanbul, Turkey. pp.1795-1800, ⟨10.1109/ICC.2006.254980⟩
Communication dans un congrès inria-00196518 v1
Image document

A High-Level, Open-Ended Architecture For SIP-based Services

Laurent Burgy , Charles Consel , Fabien Latry , Nicolas Palix , Laurent Réveillère
Proceedings of the tenth International Conference on Intelligence in service delivery Networks (ICIN 2006), May 2006, Bordeaux, France. pp.364-365
Communication dans un congrès inria-00196516 v1
Image document

Langages dédiés au développement de services de communications

Nicolas Palix
Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français. ⟨NNT : ⟩
Thèse tel-00340864 v1