Nicolas Palix
35
Documents
Current affiliations
- 1043311
Researcher identifiers
nicolas-palix- IdRef : 129616427
-
0000-0001-8873-281X
- Google Scholar : https://scholar.google.fr/citations?user=2VVVwQoAAAAJ
Web site
- https://lig-membres.imag.fr/palix/
Publications
- 17
- 13
- 9
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 10
- 13
- 10
- 1
- 2
Coccinelle: Tool support for automated CERT C Secure Coding Standard certificationScience of Computer Programming, 2014, Special Issue on Selected Contributions from the Open Source Software Certification (OpenCert) Workshops, 91 (B), pp.141-160. ⟨10.1016/j.scico.2012.10.011⟩
Journal articles
hal-01096185v1
|
|
|
|
Faults in Linux 2.6ACM Transactions on Computer Systems, 2014, 32 (2), pp.1--40. ⟨10.1145/2619090⟩
Journal articles
hal-01022704v1
|
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding processSoftware: Practice and Experience, 2013, 43 (1), pp.67-92. ⟨10.1002/spe.2102⟩
Journal articles
hal-00940320v1
|
|
Coccinelle: Tool support for automated CERT C Secure Coding Standard certificationScience of Computer Programming, 2012, pp.28. ⟨10.1016/j.scico.2012.10.011⟩
Journal articles
hal-00940336v1
|
|
Improving the Security of Infrastructure Software using Coccinelle.ERCIM News, 2010, 83, pp.54
Journal articles
hal-00940366v1
|
|
|
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
Conference papers
hal-02901169v1
|
|
|
Provable Multicore Schedulers with Ipanema: Application to Work ConservationEurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
Conference papers
hal-02554342v1
|
|
|
Understanding scheduler performance : a feature-based approachCompas 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Conference papers
hal-02558763v1
|
|
|
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⟩
Conference papers
hal-02349987v2
|
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
Conference papers
hal-02017993v1
|
|
|
|
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⟩
Conference papers
hal-01556597v1
|
|
|
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
Conference papers
hal-02111160v1
|
|
|
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⟩
Conference papers
hal-01213907v1
|
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⟩
Conference papers
hal-00940379v1
|
|
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⟩
Conference papers
hal-00940355v1
|
|
{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
Conference papers
hal-01293789v1
|
|
|
|
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⟩
Conference papers
hal-00941123v1
|
Finding Error Handling Bugs in OpenSSL Using CoccinelleEuropean Dependable Computing Conference, Apr 2010, Valencia, Spain. pp.191-196, ⟨10.1109/EDCC.2010.31⟩
Conference papers
hal-00940375v1
|
|
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⟩
Conference papers
hal-00941142v1
|
|
|
|
High-level Programming Support for Robust Pervasive Computing Applications6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China
Conference papers
inria-00333602v1
|
|
|
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
Conference papers
inria-00333637v1
|
|
|
A SIP-based Programming Framework for Advanced Telephony Applications2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications, Jul 2008, Heidelberg, Germany
Conference papers
inria-00333609v1
|
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
Conference papers
inria-00343533v1
|
|
|
|
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
Conference papers
inria-00196520v1
|
|
|
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
Conference papers
hal-00306009v1
|
|
|
Language Technology for Internet-Telephony Service CreationIEEE International Conference on Communications, Jun 2006, Istanbul, Turkey. pp.1795-1800, ⟨10.1109/ICC.2006.254980⟩
Conference papers
inria-00196518v1
|
|
|
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
Conference papers
inria-00196516v1
|
Dispositif de routage pour un système de téléphonie sur IPEuropean Union, Patent n° : EP1887774. 2008
Patents
inria-00350014v1
|
|
Dispositif d'interconnexion d'un système d'informations d'entreprise(s) à un serveurFrance, Patent n° : 06291276.1. 2006
Patents
inria-00414682v1
|
|
|
Faults in Linux: Ten Years Later[Research Report] RR-7357, INRIA. 2010, pp.21
Reports
inria-00509256v2
|
|
|
Herodotos: A Tool to Expose Bugs' Lives[Research Report] RR-6984, INRIA. 2009, pp.16
Reports
inria-00406306v1
|
|
|
A Domain-Specific IDL and its Compiler for Pervasive Computing Applications[Research Report] RR-6213, INRIA. 2007
Reports
inria-00153375v3
|
Ontology-Directed Generation of Frameworks For Pervasive Service Development[Research Report] 2006
Reports
inria-00111032v1
|
|
|
|
Telephony Software Engineering: A Domain-Specific Language Approach[Research Report] RR-5548, INRIA. 2005, pp.29
Reports
inria-00070459v1
|
|
|
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 : ⟩
Theses
tel-00340864v1
|