Antoine Miné's Web Site

I am chargé de recherche (junior researcher) at the Centre National de la Recherche Scientifique (CNRS), a French research organization.

I work at the Computer Science Department of the École normale supérieure (ÉNS, Paris), in the Abstract Interpretation and Semantics group, headed by Patrick Cousot. The group is common with the Abstraction project-team at INRIA Paris-Rocquencourt.

I am a former student of the ÉNS and hold a Ph.D in Computer Science from the École Polytechnique.

Contact:

News

• 12/2011: SAS 2012 is announced!
• 12/2011: This web-page has been completely redone!

Research

My main research interest is the improvement of the quality and reliability of software and computer systems through automated formal methods.

In particular, I design static analysis methods and tools able to automatically infer at compile time properties of software, such as the absence of certain kinds of errors. The methods are semantics-based and provide rigorous mathematical guarantees of software behaviors. Yet, they are approximate in a provably sound way to achieve tractable running times on real-life applications. The methods are designed and proved by applying Abstract Interpretation, a theory of sound semantic approximations.

More precisely, I have worked on the following subjects:

• numerical abstract domains (e.g., , the Apron library);
• analysis of floating-point computations (e.g., );
• modeling and analysis of memory with a low-level (C-like) semantics (e.g., );
• analysis of embedded critical software (e.g., , the Astrée static analyzer);
• analysis of multi-task programs (e.g., , the AstréeA static analyzer).

Current projects

Here are the research projects I am currently involved in:

[See all projects]

Conference organization

I am involved in the organization of the following upcoming conferences. Please submit a paper and attend the conference!

[See all conferences]

Software

Actively developed software

Industrialized software

Past and unmaintained software

Latest publications

Some of my latest publications:

[See all publications]

Invited talks

[See all talks]

Teaching

I teach a part of the Abstract Interpretation course, in the second year of the Master Parisien de Recherche en Informatique (MPRI) Master (course M2: 2-6).

Slides: Part 1 (27 January 2012), Part 2 (3 February 2012).

[See past teaching]

Contact

Email
Phone	(+33) 1 44 32 21 17
Fax	(+33) 1 44 32 20 15
Address	Antoine Miné Computer science lab École normale supérieure 45, rue d'Ulm 75230 Paris Cedex 05 France