Sciweavers

ASPLOS
2015
ACM
9 years 8 months ago
Architectural Support for Dynamic Linking
All software in use today relies on libraries, including standard libraries (e.g., C, C++) and application-specific libraries (e.g., libxml, libpng). Most libraries are loaded in ...
Varun Agrawal, Abhiroop Dabral, Tapti Palit, Yongm...
ASPLOS
2015
ACM
9 years 8 months ago
GPU Concurrency: Weak Behaviours and Programming Assumptions
Concurrency is pervasive and perplexing, particularly on graphics processing units (GPUs). Current specifications of languages and hardware are inconclusive; thus programmers oft...
Jade Alglave, Mark Batty, Alastair F. Donaldson, G...
ASPLOS
2015
ACM
9 years 8 months ago
Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data Structures
We introduce “asynchronized concurrency (ASCY),” a paradigm consisting of four complementary programming patterns. ASCY calls for the design of concurrent search data structur...
Tudor David, Rachid Guerraoui, Vasileios Trigonaki...
ASPLOS
2015
ACM
9 years 8 months ago
ApproxHadoop: Bringing Approximations to MapReduce Frameworks
We propose and evaluate a framework for creating and running approximation-enabled MapReduce programs. Specifically, we propose approximation mechanisms that fit naturally into t...
Iñigo Goiri, Ricardo Bianchini, Santosh Nag...
ASPLOS
2015
ACM
9 years 8 months ago
SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs
Processor implementation errata remain a problem, and worse, a subset of these bugs are security-critical. We classified 7 years of errata from recent commercial processors to un...
Matthew Hicks, Cynthia Sturton, Samuel T. King, Jo...
Programming Languages
Top of PageReset Settings