Changes between Version 21 and Version 22 of WikiStart


Ignore:
Timestamp:
Jun 22, 2011, 5:29:02 PM (8 years ago)
Author:
mulligan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v21 v22  
    1212
    1313A list of potential workshops, conferences and journals suitable for !CerCo publications can be found [wiki:PublicationVenues here].
     14
     15=== Publications ===
     16
     17  * On the correctness of an assembler for the MCS-51 microprocessor. Dominic P. Mulligan and Claudio Sacerdoti Coen.  Submitted to CPP 2011.
     18  * An executable formalisation of the MCS-51 microprocessor in Matita. Dominic P. Mulligan and Claudio Sacerdoti Coen.  Submitted to FMCAD 2011.
     19  * Certifying cost annotations in compilers.  Roberto M. Amadio, Nicolas Ayache, Yann Régis-Gianas and Ronan Saillard.  Technical Report, Université Paris Diderot (Paris 7).
    1420
    1521=== Learn More ===
     
    3743=== Members ===
    3844[http://www.eng.unibo.it/PortaleEn/default.htm University of Bologna] (coordinator)
    39 
    4045 * Dr. [http://www.cs.unibo.it/~sacerdot Claudio Sacerdoti Coen] (Project Leader)
    4146 * Prof [http://www.cs.unibo.it/~asperti Andrea Asperti]