Conférence
Notice
Lieu de réalisation
Inria Sophia Antipolis Méditerranée
Langue :
Anglais
Crédits
CNRS - Centre National de la Recherche Scientifique (Publication), INRIA (Institut national de recherche en informatique et automatique) (Production), INRIA (Institut national de recherche en informatique et automatique) (Publication), UNS (Publication), Julia L. Lawall (Intervention)
Conditions d'utilisation
Droit commun de la propriété intellectuelle
DOI : 10.60527/vt1q-p507
Citer cette ressource :
Julia L. Lawall. Inria. (2017, 23 novembre). Coccinelle: synergy between programming language research and the Linux kernel. [Vidéo]. Canal-U. https://doi.org/10.60527/vt1q-p507. (Consultée le 19 mars 2024)

Coccinelle: synergy between programming language research and the Linux kernel

Réalisation : 23 novembre 2017 - Mise en ligne : 6 avril 2017
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
Descriptif

The Linux kernel underlies all kinds of systems across the computing landscape, from embedded systems to supercomputers. Today, the number of developers contributing to a given Linux kernel version is almost 2000. These range from developers who have many years of experience and work on core parts of the kernel to new developers who contribute a single device driver or bug fix. This volume of contributors and range of experience levels implies that devising means to unambiguously communicate information about kernel properties across the code base is critical.

In this talk, we will highlight one of the tools that we have developed in this direction, Coccinelle. Coccinelle provides a domain-specific, code-based language for describing bug finding rules and evolutions in C code. It has been used in the development of thousands of changes (commits) to the Linux kernel, since 2007. This talk will give an overview of Coccinelle, its impact on the Linux kernel, and the research projects that have been carried out in the Whisper team that it has enabled.

 

Intervention
Thème
Documentation

Références:

 

  • [1] P Armitage and Doll. The age distribution of cancer and a multi-stage theory of carcinogenesis. Br J Cancer, 8(1) :1–12, 1954.
  • [2] S H Moolgavkar, N E Day, and R G Stevens. Two-stage model for carcinogenesis : Epidemiology of breast cancer in females. Journal of the National Cancer Institute, 65 :559–569, 1980.
  • [3] M. C. Pike, M. D. Krailo, B. E. Henderson, J. T. Casagrande, and D. G. Hoel. ’hormonal’ risk factors, ’breast tissue age’ and the age-incidence of breast cancer. Nature, 303(5920) :767–770, 1983.
  • [4] E B Claus, N Risch, and W D Thompson. The calculation of breast cancer risk for women with a first degree family history of ovarian cancer. Breast cancer research and treatment, 28 :115–120, Nov 1993.
  • [5] M H Gail and J Benichou. Validation studies on a model for breast cancer risk. Journal of the National Cancer Institute, 86 :573–575, Apr 1994.
  • [6] G Plu-Bureau, M G Lê, R Sitruk-Ware, J C Thalabard, and P Mauvais-Jarvis. Progestogen use and decreased risk of breast cancer in a cohort study of premenopausal women with benign breast disease. British journal of cancer, 70 :270–277, 1994.
  • [7] Eiliv Lund and Vanessa Dumeaux. Systems epidemiology in cancer. Cancer epidemiology, biomarkers & prevention, 17 :2954–2957, 2008.
  • [8] Eiliv Lund, Vanessa Dumeaux, Tonje Braaten, Anette Hjartåker, Dagrun Engeset, Guri Skeie, and Merethe Kumle. Cohort profile : The norwegian women and cancer study–nowac–kvinner og kreft. International journal of epidemiology, 37 :36–41, 2008.
  • [9] Marco Gerlinger, Andrew J Rowan, Stuart Horswell, James Larkin, David Endesfelder, Eva Gronroos, Pierre Martinez, Nicholas Matthews, Aengus Stewart, Patrick Tarpey, Ignacio Varela, Benjamin Phillimore, Sharmin Begum, Neil Q McDonald, Adam Butler, David Jones, Keiran Raine, Calli Latimer, Claudio R Santos, Mahrokh Nohadani, Aron C Eklund, Bradley Spencer-Dene, Graham Clark, Lisa Pickering, Gordon Stamp, Martin Gore, Zoltan Szallasi, Julian Downward, P Andrew Futreal, and Charles Swanton. Intratumor heterogeneity and branched evolution revealed by multiregion sequencing. The New England journal of medicine, 366 :883–892, Mar 2012.
  • [10] Eiliv Lund, Nicolle Mode, Marit Waaseth, and Jean-Christophe Thalabard. Overdiagnosis of breast cancer in the norwegian breast cancer screening program estimated by the norwegian women and cancer cohort study. BMC cancer, 13 :614, 2013.
  • [11] Mary-Claire King. « the race » to clone brca1. Science, 343 :1462–1465, 2014.
  • [12] Vanessa Dumeaux, Josie Ursini-Siegel, Arnar Flatberg, Hans E Fjosne, Jan-Ole Frantzen, Marit Muri Holmen, Enno Rodegerdts, Ellen Schlichting, and Eiliv Lund. Peripheral blood cells inform on the presence of breast cancer : a population-based case-control study. International journal of cancer, 136 :656–667, 2015.
  • [13] Eiliv Lund, Lars Holden, Hege Bøvelstad, Sandra Plancade, Nicolle Mode, Clara-Cecilie Günther, Gregory Nuel, Jean-Christophe Thalabard, and Marit Holden. A new statistical method for curve group analysis of longitudinal gene expression data illustrated for breast cancer in the nowac postgenome cohort as a proof of principle. BMC medical research methodology, 16 :28, 2016.
  • [14] NE Breslow and NE Day. Statistical Methods in Cancer Research Volume II – The Design and Analysis of Cohort Studies, volume II of IARC Scientific Publications No 82. IARC, 1987.
  • [15] NE Breslow and NE Day. Statistical Methods in Cancer Research. Volume I :The analysis of case- control studies, volume I of IARC Scientific Publications No. 32. IARC, 1980.