Radhia Cousot
Radhia Cousot | |
---|---|
Born | |
Died | 1 May 2014 | (aged 67)
Citizenship | French |
Alma mater | Institut National Polytechnique de Lorraine |
Known for | Abstract interpretation |
Spouse | Patrick Cousot |
Awards | ACM SIGPLAN Programming Languages Achievement Award IEEE Computer Society Harlan D. Mills Award |
Scientific career | |
Fields | Computer science |
Thesis | Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles (1985) |
Doctoral advisor | Claude Pair |
Radhia Cousot (6 August 1947 – 1 May 2014)[1] was a French computer scientist known for inventing abstract interpretation.
Studies
Radhia Cousot was born on 6 August 1947, in
Career
Radhia Cousot was appointed Associate research scientist at the IMAG laboratory of the
Scientific achievements
Together with her husband Patrick, Radhia Cousot is the originator of abstract interpretation,[2][3] an influential technique in formal methods. Abstract interpretation is based on three main ideas.
- Any reasoning/proof/static analysis on a computer system refers to a semantics describing, at some level of abstraction, its possible executions.
- The reasoning/proof/static analysis should abstract away all semantic properties irrelevant to the reasoning.
- Because of undecidability, sound, fully automated, and always terminating reasonings on/proofs/static analysis of computer systems must perform mathematical inductions in the abstract and so, can only be approximate (even with finiteness and decidability hypothesis, because of combinatorial explosion beyond tiny systems).
In her thesis, Radhia Cousot advanced the semantics, proof, and static analysis methods for concurrent and parallel programs.[4]
Radhia Cousot is at the origin of the contacts with Airbus in January 1999 that led to the development of Astrée run-time error analyzer from 2001 onwards, a tool for sound static program analysis of embedded
Awards
With Patrick Cousot, she received the ACM SIGPLAN Programming Languages Achievement Award [7] in 2013 and the IEEE Computer Society Harlan D. Mills award [8] in 2014 for “the invention of ‘abstract interpretation’, development of tool support, and its practical application”.
Radhia Cousot best young researcher paper award
Since September 2014, the Radhia Cousot best young researcher paper award[9] is attributed annually by the program chair on behalf of the program committee of the Static Analysis Symposia (SAS).[10]
- 2014 (Munich, Germany): Aleksandar Chakarov (University of Colorado, Boulder, CO, USA), Expectation invariants for probabilistic program loops as fixed points (with Sriram Sankaranarayanan), M. Müller-Olm & H. Seidl (Eds.): SAS 2014, LNCS 8723, pp. 85–100, Springer
- 2015 (Saint Malo, France): Marianna Rapoport (University of Waterloo, Ontario, Canada), Precise Data Flow Analysis in the Presence of Correlated Method Calls, (with Ondrej Lhoták and Frank Tip), S. Blazy & T. Jensen (Eds.): SAS 2015, LNCS 9291, pp. 54–71, Springer
- 2016 (Edinburgh, Scotland): Stefan Schulze Frielinghaus (Technische Universität München, Germany), Enforcing Termination of Interprocedural Analysis, (with Helmut Seidl and Ralf Vogler), Xavier Rival (Ed.): SAS 2016, LNCS 9837, pp. 447–468, Springer
- 2017 (New York, NY, USA): Suvam Mukherjee (Indian Institute of Science, Bangalore, India) and Oded Padon (Tel Aviv University, Israel), Thread-Local Semantics and its Efficient Sequential Abstractions for Race-Free Programs, (with Sharon Shoham, Deepak D'Souza, and Noam Rinetzky), Francesco Ranzato (Ed.): SAS 2017, LNCS 10422, pp 253–276, Springer
Notes
- ^ In the 1980s, there existed in France two levels of PhDs, the higher one, the Doctorate ès Sciences/State Doctorate being necessary to access professorships. It has since been replaced by the habilitation.
References
- ^ "Institut des sciences de l'information et de leurs interactions - CNRS - Disparition de Radhia Cousot". www.cnrs.fr.
- S2CID 207614632– via dl.acm.org.
- S2CID 1547466– via dl.acm.org.
- ^ "R. Cousot, Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles". www.di.ens.fr.
- ^ "Home page of the Astrée Static Analyzer at ENS". ens.fr.
- ^ "Astrée Runtime Error Analyzer". www.absint.com.
- ^ "Programming Languages Achievement Award". www.sigplan.org.
- ^ "Harlan D. Mills Award • IEEE Computer Society". www.computer.org.
- ^ "Radhia Cousot best young researcher paper award". www.di.ens.fr.
- ^ "Static Analysis Symposia Central Site". staticanalysis.org.
External links
- Radhia Cousot home page at the École Normale Supérieure
- Short biography
- Radhia Cousot publications at the École Normale Supérieure
- Radhia Cousot award at the École Normale Supérieure
- Disparition de Radhia Cousot at the Institut des sciences de l’information et de leurs interactions of the CNRS
- Radhia Cousot at DBLP Bibliography Server
- Radhia Cousot at the Mathematics Genealogy Project