Nicolas Palix
- Conception de couches systèmes performantes, robustes, sécurisées, flexibles, et moins énergivores (KRAKOS)
Publications
Publications
|
|
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States |
|
|
Provable Multicore Schedulers with Ipanema: Application to Work ConservationEurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩ |
|
|
Fork/Wait and Multicore Frequency Scaling: a Generational Clash10th Workshop on Programming Languages and Operating Systems, Oct 2019, Huntsville, Canada. pp.53-59, ⟨10.1145/3365137.3365400⟩ |
|
|
Understanding scheduler performance : a feature-based approachCompas 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France |
MDC-Cast: A Total-Order Broadcast Protocol for Multi-Datacenter Environments2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), Oct 2018, Salvador, Brazil. pp.241-250 |
|
|
|
Towards Proving Optimistic Multicore SchedulersHotOS 2017 - 16th Workshop on Hot Topics in Operating Systems, ACM SIGOPS, May 2017, Whistler, British Columbia, Canada. pp.6, ⟨10.1145/3102980.3102984⟩ |
|
|
Ipanema : un langage dédié pour le développement d'ordonnanceurs multi-coeur sûrsCompas 2017: Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2017, Sophia Antipolis, France |
|
|
Improving pattern tracking with a language-aware tree differencing algorithmSANER 2015 - 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2015, Montreal, Canada. pp.43-52, ⟨10.1109/SANER.2015.7081814⟩ |
Integrated architecture exploration workflow: A NoC-based case studyInternational Symposium on Rapid System Prototyping, Oct 2012, Tampere, Finland. pp.135-141, ⟨10.1109/RSP.2012.6380702⟩ |
|
Faults in Linux: Ten Years LaterASPLOS 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⟩ |
|
Finding Error Handling Bugs in OpenSSL Using CoccinelleEuropean Dependable Computing Conference, Apr 2010, Valencia, Spain. pp.191-196, ⟨10.1109/EDCC.2010.31⟩ |
|
{How Often do Experts Make Mistakes?}9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Mar 2010, Rennes et Saint Malo, France. pp.9-16 |
|
|
|
Tracking Code Patterns over Multiple Software Versions with HerodotosAOSD'10 - ACM International Conference on Aspect-Oriented Software Development, Mar 2010, Rennes and Saint Malo, France. pp.169-180, ⟨10.1145/1739230.1739250⟩ |
WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux CodeDSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Lisbon, Portugal. pp.43-52, ⟨10.1109/DSN.2009.5270354⟩ |
|
|
|
A SIP-based Programming Framework for Advanced Telephony Applications2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications, Jul 2008, Heidelberg, Germany |
|
|
High-level Programming Support for Robust Pervasive Computing Applications6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China |
|
|
Pantaxou: a Domain-Specific Language for Developing Safe Coordination ServicesSeventh International Conference on Generative Programming and Component Engineering, Oct 2008, Nashville, United States. pp.149-160 |
|
|
A Stepwise Approach to Developing Languages for SIP Telephony Service CreationIPTComm '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 |
|
|
Ontology-Directed Generation of Frameworks For Pervasive Service DevelopmentProceedings of The 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare 07), Mar 2007, United States. pp.501 - 508 |
Ontology-Directed Generation of Frameworks For Pervasive Service DevelopmentProceedings of the 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare'07), Mar 2007, White Plains, NY, United States. pp.501--506 |
|
|
|
A High-Level, Open-Ended Architecture For SIP-based ServicesProceedings of the tenth International Conference on Intelligence in service delivery Networks (ICIN 2006), May 2006, Bordeaux, France. pp.364-365 |
|
|
Language Technology for Internet-Telephony Service CreationIEEE International Conference on Communications, Jun 2006, Istanbul, Turkey. pp.1795-1800, ⟨10.1109/ICC.2006.254980⟩ |
Dispositif de routage pour un système de téléphonie sur IPEuropean Union, Patent n° : EP1887774. 2008 |
|
Dispositif d'interconnexion d'un système d'informations d'entreprise(s) à un serveurFrance, Patent n° : 06291276.1. 2006 |
|
|
Faults in Linux: Ten Years Later[Research Report] RR-7357, INRIA. 2010, pp.21 |
|
|
Herodotos: A Tool to Expose Bugs' Lives[Research Report] RR-6984, INRIA. 2009, pp.16 |
|
|
A Domain-Specific IDL and its Compiler for Pervasive Computing Applications[Research Report] RR-6213, INRIA. 2007 |
Ontology-Directed Generation of Frameworks For Pervasive Service Development[Research Report] 2006 |
|
|
|
Telephony Software Engineering: A Domain-Specific Language Approach[Research Report] RR-5548, INRIA. 2005, pp.29 |
|
|
Langages dédiés au développement de services de communicationsRéseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français. ⟨NNT : ⟩ |