Sciweavers

ASPLOS
2015
ACM
8 years 3 months ago
Mojim: A Reliable and Highly-Available Non-Volatile Memory System
Next-generation non-volatile memories (NVMs) promise DRAM-like performance, persistence, and high density. They can attach directly to processors to form non-volatile main memory ...
Yiying Zhang, Jian Yang, Amirsaman Memaripour, Ste...
ASPLOS
2015
ACM
8 years 3 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
8 years 3 months ago
DIABLO: A Warehouse-Scale Computer Network Simulator using FPGAs
Motivated by rapid software and hardware innovation in warehouse-scale computing (WSC), we visit the problem of warehouse-scale network design evaluation. A WSC is composed of abo...
Zhangxi Tan, Zhenghao Qian, Xi Chen, Krste Asanovi...
ASPLOS
2015
ACM
8 years 3 months ago
Automated OS-level Device Runtime Power Management
Non-CPU devices on a modern system-on-a-chip (SoC), ranging from accelerators to I/O controllers, account for a significant portion of the chip area. It is therefore vital for sy...
Chao Xu 0012, Felix Xiaozhu Lin, Yuyang Wang, Lin ...
ASPLOS
2015
ACM
8 years 3 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...
ASPLOS
2015
ACM
8 years 3 months ago
Ziria: A DSL for Wireless Systems Programming
Software-defined radio (SDR) brings the flexibility of software to wireless protocol design, promising an ideal platform for innovation and rapid protocol deployment. However, i...
Gordon Stewart, Mahanth Gowda, Geoffrey Mainland, ...
ASPLOS
2015
ACM
8 years 3 months ago
On-the-Fly Principled Speculation for FSM Parallelization
Finite State Machine (FSM) is the backbone of an important class of applications in many domains. Its parallelization has been extremely difficult due to inherent strong dependen...
Zhijia Zhao, Xipeng Shen
ASPLOS
2015
ACM
8 years 3 months ago
Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability
Data races are common. They are difficult to detect, avoid, or eliminate, and programmers sometimes introduce them intentionally. However, shared-memory programs with data races ...
Aritra Sengupta, Swarnendu Biswas, Minjia Zhang, M...