Skip to Main content Skip to Navigation

tel-00340864v1  Theses
Nicolas Palix. Langages dédiés au développement de services de communications
Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français
inria-00333609v1  Conference papers
Wilfried JouveNicolas PalixCharles ConselPatrice Kadionik. A SIP-based Programming Framework for Advanced Telephony Applications
2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications, Jul 2008, Heidelberg, Germany
inria-00333602v1  Conference papers
Wilfried JouveJulien LanciaNicolas PalixCharles ConselJulia Lawall. High-level Programming Support for Robust Pervasive Computing Applications
6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China
inria-00343533v1  Conference papers
Charles ConselWilfried JouveJulien LanciaNicolas Palix. Ontology-Directed Generation of Frameworks For Pervasive Service Development
Proceedings of the 4th IEEE Workshop on Middleware Support for Pervasive Computing (PerWare'07), Mar 2007, White Plains, NY, United States. pp.501--506
inria-00196518v1  Conference papers
Laurent BurgyCharles ConselFabien LatryJulia LawallNicolas Palix et al.  Language Technology for Internet-Telephony Service Creation
IEEE International Conference on Communications, Jun 2006, Istanbul, Turkey. pp.1795-1800, ⟨10.1109/ICC.2006.254980⟩
inria-00196520v1  Conference papers
Nicolas PalixLaurent RéveillèreCharles ConselJulia Lawall. A Stepwise Approach to Developing Languages for SIP Telephony Service Creation
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
hal-00350206v1  Book sections
Laurent BurgyCharles ConselFabien LatryNicolas PalixLaurent Réveillère. Telephony over ip: Experience and challenges
ERCIM NEws, European Research Consortium for Informatics and Mathematics, pp.53-54, 2005
inria-00196516v1  Conference papers
Laurent BurgyCharles ConselFabien LatryNicolas PalixLaurent Réveillère. A High-Level, Open-Ended Architecture For SIP-based Services
Proceedings of the tenth International Conference on Intelligence in service delivery Networks (ICIN 2006), May 2006, Bordeaux, France. pp.364-365
inria-00333637v1  Conference papers
Julien MercadalNicolas PalixCharles ConselJulia Lawall. Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services
Seventh International Conference on Generative Programming and Component Engineering, Oct 2008, Nashville, United States. pp.149-160
hal-02901169v1  Conference papers
Redha GouicemDamien CarverJean-Pierre LoziJulien SopenaBaptiste Lepers et al.  Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance
2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States
hal-01213907v1  Conference papers
Nicolas PalixJean-Rémy FalleriJulia Lawall. Improving pattern tracking with a language-aware tree differencing algorithm
SANER 2015 - 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2015, Montreal, Canada. pp.43-52, ⟨10.1109/SANER.2015.7081814⟩
hal-01022704v1  Journal articles
Nicolas PalixGaël ThomasSuman SahaChristophe CalvèsGilles Muller et al.  Faults in Linux 2.6
ACM Transactions on Computer Systems, Association for Computing Machinery, 2014, 32 (2), pp.1--40. ⟨10.1145/2619090⟩
hal-02558763v1  Conference papers
Redha GouicemJulien SopenaJulia LawallGilles MullerBaptiste Lepers et al.  Understanding scheduler performance : a feature-based approach
Compas 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
hal-02554342v1  Conference papers
Baptiste LepersRedha GouicemDamien CarverJean-Pierre LoziNicolas Palix et al.  Provable Multicore Schedulers with Ipanema: Application to Work Conservation
Eurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
hal-01096185v1  Journal articles
Mads Chr. OlesenRené Rydhof HansenJulia LawallNicolas Palix. Coccinelle: Tool support for automated CERT C Secure Coding Standard certification
Science of Computer Programming, Elsevier, 2014, Special Issue on Selected Contributions from the Open Source Software Certification (OpenCert) Workshops, 91 (B), pp.141-160
hal-02349987v2  Conference papers
Damien CarverRedha GouicemJean-Pierre LoziJulien SopenaBaptiste Lepers et al.  Fork/Wait and Multicore Frequency Scaling: a Generational Clash
10th Workshop on Programming Languages and Operating Systems, Oct 2019, Huntsville, Canada. pp.53-59, ⟨10.1145/3365137.3365400⟩
inria-00406306v1  Reports
Nicolas PalixJulia LawallGilles Muller. Herodotos: A Tool to Expose Bugs' Lives
[Research Report] RR-6984, INRIA. 2009, pp.16
hal-00941123v1  Conference papers
Nicolas PalixJulia LawallGilles Muller. Tracking Code Patterns over Multiple Software Versions with Herodotos
AOSD'10 - ACM International Conference on Aspect-Oriented Software Development, Mar 2010, Rennes and Saint Malo, France. pp.169-180, ⟨10.1145/1739230.1739250⟩
hal-00940375v1  Conference papers
Julia LawallBen LaurieRené HansenNicolas PalixGilles Muller. Finding Error Handling Bugs in OpenSSL Using Coccinelle
European Dependable Computing Conference, Apr 2010, Valencia, Spain. pp.191-196, ⟨10.1109/EDCC.2010.31⟩
hal-00940355v1  Conference papers
Nicolas PalixGaël ThomasSuman SahaChristophe CalvèsJulia L. Lawall et al.  Faults in Linux: Ten Years Later
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⟩
inria-00509256v2  Reports
Nicolas PalixSuman SahaGaël ThomasChristophe CalvèsJulia Lawall et al.  Faults in Linux: Ten Years Later
[Research Report] RR-7357, INRIA. 2010, pp.21
hal-01293789v1  Conference papers
Nicolas PalixJulia L. LawallGaël ThomasGilles Muller. {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
hal-00941142v1  Conference papers
Julia LawallJulien BrunelNicolas PalixRené HansenHenrik Stuart et al.  WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code
DSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Lisbon, Portugal. pp.43-52, ⟨10.1109/DSN.2009.5270354⟩