Changeset 3608


Ignore:
Timestamp:
Mar 6, 2017, 1:51:47 PM (3 years ago)
Author:
mulligan
Message:

added outline of paper, after discussion with jaap

File:
1 edited

Legend:

Unmodified
Added
Removed

  • Papers/jar-cerco-2017/cerco.tex

    r3607 r3608  
    6262
    6363\smartqed
     64
     65% PROPOSED PAPER STRUCTURE
     66
     67% Introduction
     68%   Problem being solved, background, etc.
     69%   Current state of the art (and problem with it)
     70%   The `CerCo approach' (tm)
     71%   Brief Matita overview
     72%   Map of paper
     73
     74% CerCo compiler architecture
     75%   Description of languages
     76%   Target hardware description
     77
     78% Compiler proof
     79%   Structure of proof, and high-level discussion
     80%   Technical devices: structured traces, labelling, etc.
     81%   Assembler proof
     82%   Technical issues in front end (Brian?)
     83%   Main theorem statement
     84
     85% FramaC plugin
     86%   Purpose
     87%   Description of architecture
     88%   Case study/worked example (crypto example?)
     89
     90% Formal development
     91%   Source code repo link
     92%   Statistics (number of lines, etc.)
     93%   Description of remaining axioms --- try and explain them away/make them sound reasonable
     94
     95% Conclusions
     96%   Summary
     97%   Related work
     98%   Future work
     99
     100% Bibliography
    64101
    65102\title{CerCo: Certified Complexity\thanks{The project CerCo acknowledges the
Note: See TracChangeset for help on using the changeset viewer.