Changeset 200b2b5


Ignore:
Timestamp:
Mar 9, 2018, 3:44:33 PM (6 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
49eb6a2
Parents:
860f19f
Message:

Add uC++, CCured & Ironclad C++ to related work

Location:
doc
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    r860f19f r200b2b5  
    10201020    year        = 1985,
    10211021    pages       = {14-22}
     1022}
     1023
     1024@inproceedings{Necula02,
     1025    author = {Necula, George C. and McPeak, Scott and Weimer, Westley},
     1026    title = {{CCured}: Type-safe Retrofitting of Legacy Code},
     1027    booktitle = {Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
     1028    series = {POPL '02},
     1029    year = {2002},
     1030    isbn = {1-58113-450-9},
     1031    location = {Portland, Oregon},
     1032    pages = {128--139},
     1033    numpages = {12},
     1034    url = {http://doi.acm.org/10.1145/503272.503286},
     1035    doi = {10.1145/503272.503286},
     1036    acmid = {503286},
     1037    publisher = {ACM},
     1038    address = {New York, NY, USA},
    10221039}
    10231040
     
    36533670  year={2012},
    36543671  organization={IEEE}
     3672}
     3673
     3674@inproceedings{DeLozier13,
     3675    author = {DeLozier, Christian and Eisenberg, Richard and Nagarakatte, Santosh and Osera, Peter-Michael and Martin, Milo M.K. and Zdancewic, Steve},
     3676    title = {{I}ronclad {C++}: A Library-augmented Type-safe Subset of {C++}},
     3677    booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \& Applications},
     3678    series = {OOPSLA '13},
     3679    year = {2013},
     3680    isbn = {978-1-4503-2374-1},
     3681    location = {Indianapolis, Indiana, USA},
     3682    pages = {287--304},
     3683    numpages = {18},
     3684    url = {http://doi.acm.org/10.1145/2509136.2509550},
     3685    doi = {10.1145/2509136.2509550},
     3686    acmid = {2509550},
     3687    publisher = {ACM},
     3688    address = {New York, NY, USA},
     3689    keywords = {c++, local pointers, memory safety, type-safety},
    36553690}
    36563691
  • doc/papers/general/Paper.tex

    r860f19f r200b2b5  
    27372737Objective-C and Cyclone are two other extensions to C with different design goals than \CFA, as discussed above.
    27382738Other languages extend C with more focused features.
    2739 CUDA~\cite{Nickolls08}, ispc~\cite{Pharr12}, and Sierra~\cite{Leissa14} add data-parallel primitives to C or \CC;
    2740 such features have not yet been added to \CFA, but are easily incorporated within its design.
    2741 Finally, some C extensions (or suggested extensions) attempt to provide a more memory-safe C~\cite{Boehm88,Rafkind09};
    2742 type-checked polymorphism in \CFA covers several of C's memory-safety issues, but more aggressive approaches such as annotating all pointer types with their nullability are contradictory to \CFA's backwards compatibility goals.
     2739$\mu$\CC~\cite{uC++book}, CUDA~\cite{Nickolls08}, ispc~\cite{Pharr12}, and Sierra~\cite{Leissa14} add concurrent or data-parallel primitives to C or \CC;
     2740data-parallel features have not yet been added to \CFA, but are easily incorporated within its design, while concurrency primitives similar to those in $\mu$\CC have already been added~\cite{Delisle18}.
     2741Finally, CCured~\cite{Necula02} and Ironclad \CC~\cite{DeLozier13} attempt to provide a more memory-safe C by annotating pointer types with garbage collection information; type-checked polymorphism in \CFA covers several of C's memory-safety issues, but more aggressive approaches such as annotating all pointer types with their nullability or requiring runtime garbage collection are contradictory to \CFA's backwards compatibility goals.
    27432742
    27442743
Note: See TracChangeset for help on using the changeset viewer.