Changes between Version 3 and Version 4 of WikiStart


Ignore:
Timestamp:
May 11, 2010, 10:46:33 PM (9 years ago)
Author:
admin
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v3 v4  
    11= Certified Complexity (CerCo) =
     2== EU FP7 Collaborative (FET Open) Project 243881 ==
    23
    3 [wiki:OldTrac trac]
     4=== Abstract ===
     5The project aims to the construction of a formally verified complexity preserving compiler from a large subset of C to some typical microcontroller assembly, of the kind traditionally used in embedded systems. The work comprise the definition of cost models for the input and target languages, and the machine-checked proof of preservation of complexity (concrete, not asymptotic) along compilation. The compiler will also return tight and certified cost annotations for the source program, providing a reliable infrastructure to draw temporal assertions on the executable code while reasoning on the source. The compiler will be open source, and all proofs will be public domain.
     6
     7=== Members ===
     8[http://www.eng.unibo.it/PortaleEn/default.htm University of Bologna] (coordinator)
     9
     10 * Dr. [http://www.cs.unibo.it/~sacerdot Claudio Sacerdoti Coen] (Project Leader)
     11 * Prof [http://www.cs.unibo.it/~asperti Andrea Asperti]
     12 * Dr. [http://www.msr-inria.inria.fr/~gares Enrico Tassi] (invited researcher, INRIA)
     13 * Mr. [http://www.macs.hw.ac.uk/~dpm8/ Dominic Mulligan] (invited researcher, Heriot-Watt University)
     14 * Mr. [http://www.cs.unibo.it/en/people/phd-students/ricciott.html Wilmer Ricciotti] (PhD student)
     15 * Mr. [http://www.cs.unibo.it/en/people/phd-students/puech.html Matthias Puech] (PhD student)
     16
     17[http://www.ed.ac.uk/home University of Edinburgh]
     18 * Dr. [http://homepages.inf.ed.ac.uk/rpollack/ Randy Pollack] (Site Leader)
     19 * Dr. [http://homepages.inf.ed.ac.uk/bcampbe2/ Brian Campbell] (Post-Doc)
     20
     21[http://www.univ-paris-diderot.fr/ Université Paris Diderot]
     22 * Prof. [http://www.pps.jussieu.fr/~amadio/ Roberto Amadio] (Site Leader)
     23 * Dr. [http://www.pps.jussieu.fr/~yrg/  Yann Régis-Gianas
     24 * Dr. Nicolas Ayache (Post-Doc)
     25 * Mr. Ronan Saillard
     26 * Mr. Kayvan Memarian