proceedingLitStream CollectionThe Tower of Babel did not failAdamczyk, Paul; Hafiz, Munawar2010 doi: N/Apmid: N/A
proceedingLitStream CollectionSymbolic heap abstraction with demand-driven axiomatization of memory invariantsDillig, Isil; Dillig, Thomas; Aiken, Alex2010 doi: N/Apmid: N/A
proceedingLitStream CollectionMetaFJig: a meta-circular composition language for Java-like classesServetto, Marco; Zucca, Elena2010 doi: N/Apmid: N/A
proceedingLitStream CollectionAutomatic atomic region identification in shared memory SPMD programsUpadhyaya, Gautam; Midkiff, Samuel P.; Pai, Vijay S.2010 doi: N/Apmid: N/A
proceedingLitStream CollectionManaging ambiguity in programming by finding unambiguous examplesArnold, Kenneth C.; Lieberman, Henry2010 doi: N/Apmid: N/A
proceedingLitStream CollectionLime: a Java-compatible and synthesizable language for heterogeneous architecturesAuerbach, Joshua; Bacon, David F.; Cheng, Perry; Rabbah, Rodric2010 doi: N/Apmid: N/A
proceedingLitStream CollectionTask types for pervasive atomicityKulkarni, Aditya; Liu, Yu David; Smith, Scott F.2010 doi: N/Apmid: N/A
proceedingLitStream CollectionRubber ducks, nightmares, and unsaturated predicates: proto-scientific schemata are good for agileQuillien, Jenny; West, Dave2010 doi: N/Apmid: N/A
proceedingLitStream CollectionBack to the futures: incremental parallelization of existing sequential runtime systemsSwaine, James; Tew, Kevin; Dinda, Peter; Findler, Robert Bruce; Flatt, Matthew2010 doi: N/Apmid: N/A
proceedingLitStream CollectionCross-language, type-safe, and transparent object sharing for co-located managed runtimesWegiel, Michal; Krintz, Chandra2010 doi: N/Apmid: N/A