| 
|
Quote: Chord uses annotations to specify which threads can not execute in parallel; 42 annotations per 1.5 million lines of code
Topic:
code optimization by flow analysis
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
Due to the lack of flow sensitivity in … we rely on annotations specifying which threads cannot … and which fields/objects, although thread-shared, cannot be accessed … The annotation burden is very small, partly because … we provided just 42 annotations in our benchmark … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: code optimization by flow analysis (47 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)