Ignore:
Timestamp:
Sep 27, 2012, 5:34:35 PM (7 years ago)
Author:
mulligan
Message:

16 pages at last due to all sorts of fiddling. Any more additions will cause an overflow to 17 pages. Require Jaap's ArXiv? reference now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/cpp-asm-2012/cpp-2012-asm.bib

    r2095 r2362  
    3434@article
    3535{ klein:sel4:2010,
    36   author = {Gerwin Klein and June Andronick and Kevin Elphinstone and Gernot Heiser and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell, Harvey Tuch and Simon Winwood},
     36  author = {Gerwin Klein and June Andronick and Kevin Elphinstone and Gernot Heiser and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell and Harvey Tuch and Simon Winwood},
    3737  title = {{seL4}: Formal verification of an operating system kernel},
    3838  journal = {Communications of the {ACM}},
     
    8080  author = {Robert Atkey},
    8181  title = {{CoqJVM}: An executable specification of the {Java Virtual Machine} using dependent types},
    82   booktitle = {Types for Proofs and Programs},
     82  booktitle = {Types},
    8383  pages = {18--32},
    8484  year = {2007}
     
    9898  author = {Jaap Boender and Claudio {Sacerdoti Coen}},
    9999  title = {On the correctness of a branch displacement algorithm},
    100   booktitle = {Certified Proofs and Programs {(CPP)}},
     100  booktitle = {{CPP}},
    101101  year =  {2012},
    102102  note = {Submitted}
     
    116116  author = {Jaroslav \v{S}ev\v{c}\'ik and Viktor Vafeiadis and  Francesco {Zappa Nardelli} and Suresh Jagannathan and Peter Sewell},
    117117  title = {Relaxed-Memory Concurrency and Verified Compilation},
    118   booktitle = {Principles of Programming Languages {(POPL)}},
     118  booktitle = {{POPL}},
    119119  year = {2011}
    120120}
     
    124124  author = {Harvey Tuch and Gerwin Klein and Michael Norrish},
    125125  title = {Types, Bytes, and Separation Logic},
    126   booktitle = {Principles of Programming Languages {(POPL)}},
     126  booktitle = {{POPL}},
    127127  pages = {97--108},
    128128  year =  {2007}
     
    132132@inproceedings
    133133{ klein:sel4:2009,
    134   author = {Gerwin Klein and June Andronick and Kevin Elphinstone and Gernot Heiser and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell, Harvey Tuch and Simon Winwood},
     134  author = {Gerwin Klein and June Andronick and Kevin Elphinstone and Gernot Heiser and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell and Harvey Tuch and Simon Winwood},
    135135  title = {{seL4}: Formal verification of an operating system kernel},
    136   booktitle = {{ACM} Symposium on Operating Systems Principles {(SOSP)}},
     136  booktitle = {{SOSP}},
    137137  year = {2009}
    138138}
     
    160160  author = {Matthieu Sozeau},
    161161  title = {Subset Coercions in {Coq}},
    162   booktitle = {Types for proofs and programs},
     162  booktitle = {Types},
    163163  pages = {237--252},
    164164  year = {2006}
Note: See TracChangeset for help on using the changeset viewer.