Rajiv Gupta, Todd C. Mowry
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS, 2011.

@proceedings{ASPLOS-2011,
	address       = "Newport Beach, California, USA",
	editor        = "Rajiv Gupta and Todd C. Mowry",
	isbn          = "978-1-4503-0266-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems}",
	year          = 2011,
}

Contents (33 items)

12 ×#named
5 ×#memory management
4 ×#hardware
4 ×#performance
3 ×#concurrent
2 ×#clustering
2 ×#debugging
2 ×#fault
2 ×#manycore
2 ×#persistent

ASPLOS-2011-Larus

The cloud will change everything (JRL), pp. 1–2.

ASPLOS-2011-YuanZPZS

Improving software diagnosability via log enhancement (DY, JZ, SP, YZ, SS), pp. 3–14.

ASPLOS-2011-VeeraraghavanLWOCFN #named

DoublePlay: parallelizing sequential logging and replay (KV, DL, BW, JO, PMC, JF, SN), pp. 15–26.

ASPLOS-2011-CasperOHBKO #hardware #memory management #transaction

Hardware acceleration of transactional memory on commodity systems (JC, TO, SH, NGB, CK, KO), pp. 27–38.

ASPLOS-2011-DalessandroCWLMSS #case study #effectiveness #hardware #hybrid #memory management #transaction

Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory (LD, FC, SW, YL, MM, MLS, MFS), pp. 39–52.

ASPLOS-2011-SinghMNMM #exception #memory management #performance

Efficient processor support for DRFx, a memory model with exceptions (AS, DM, SN, TDM, MM), pp. 53–66.

ASPLOS-2011-DeviettiNBCG #consistency #named

RCDC: a relaxed consistency deterministic computer (JD, JN, TB, LC, DG), pp. 67–78.

ASPLOS-2011-BurnimNS #parallel #semantics #source code #specification #thread

Specifying and checking semantic atomicity for multithreaded programs (JB, GCN, KS), pp. 79–90.

ASPLOS-2011-VolosTS #lightweight #memory management #named #persistent

Mnemosyne: lightweight persistent memory (HV, AJT, MMS), pp. 91–104.

ASPLOS-2011-CoburnCAGGJS #named #performance #persistent

NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories (JC, AMC, AA, LMG, RKG, RJ, SS), pp. 105–118.

ASPLOS-2011-SchupbachBRP #approach #declarative

A declarative language approach to device configuration (AS, AB, TR, SP), pp. 119–132.

ASPLOS-2011-RyzhykKMRVH #hardware #reliability #reuse #verification

Improved device driver reliability through hardware verification reuse (LR, JK, BM, AR, MV, GH), pp. 133–144.

ASPLOS-2011-HashmiNTL

A case for neuromorphic ISAs (AH, AN, JJT, MHL), pp. 145–158.

ASPLOS-2011-RansfordSF #named

Mementos: system support for long-running computation on RFID-scale devices (BR, JS, KF), pp. 159–170.

ASPLOS-2011-KoukoumidisLSLB

Pocket cloudlets (EK, DL, KS, JL, DB), pp. 171–184.

ASPLOS-2011-SharmaBIS #clustering #named

Blink: managing server clusters on intermittent power (NS, SKB, DEI, PJS), pp. 185–198.

ASPLOS-2011-HoffmannSCMAR #power management

Dynamic knobs for responsive power-aware computing (HH, SS, MC, SM, AA, MCR), pp. 199–212.

ASPLOS-2011-LiuPMZ #clustering #named

Flikker: saving DRAM refresh-power through critical data partitioning (SL, KP, TM, BGZ), pp. 213–224.

ASPLOS-2011-DengMRWB #in memory #memory management #named #power management

MemScale: active low-power modes for main memory (QD, DM, LER, TFW, RB), pp. 225–238.

ASPLOS-2011-GaoZCZQ #concurrent #debugging #named #towards #type system

2ndStrike: toward manifesting hidden concurrency typestate bugs (QG, WZ, ZC, MZ, FQ), pp. 239–250.

ASPLOS-2011-ZhangLOSJLR #concurrent #debugging #detection #fault #named

ConSeq: detecting concurrency bugs through sequential errors (WZ, JL, RO, JS, GJ, SL, TWR), pp. 251–264.

ASPLOS-2011-ChipounovKC #analysis #framework #multi #named #platform

S2E: a platform for in-vivo multi-path analysis of software systems (VC, VK, GC), pp. 265–278.

ASPLOS-2011-HofmannDKRW #kernel #operating system

Ensuring operating system kernel integrity with OSck (OSH, AMD, SK, IR, EW), pp. 279–290.

ASPLOS-2011-PorterBHOH #library #top-down

Rethinking the library OS from the top down (DEP, SBW, JH, RO, GCH), pp. 291–304.

ASPLOS-2011-PalixTSCLM #fault #linux #years after

Faults in linux: ten years later (NP, GT, SS, CC, JLL, GM), pp. 305–318.

ASPLOS-2011-EsmaeilzadehCXBM #hardware #performance #roadmap #scalability

Looking back on the language and hardware revolutions: measured power, performance, and scaling (HE, TC, XY, SMB, KSM), pp. 319–332.

ASPLOS-2011-NguyenP #algorithm #concurrent

Synthesizing concurrent schedulers for irregular algorithms (DN, KP), pp. 333–344.

ASPLOS-2011-HoangFJ #compilation

Exploring circuit timing-aware language and compilation (GH, RBF, RJ), pp. 345–356.

ASPLOS-2011-FarhadKBS #approximate #architecture #distributed #manycore #source code

Orchestration by approximation: mapping stream programs onto multicore architectures (SMF, YK, BB, BS), pp. 357–368.

ASPLOS-2011-ZhangJGTS #gpu #on the fly

On-the-fly elimination of dynamic irregularities for GPU computing (EZZ, YJ, ZG, KT, XS), pp. 369–380.

ASPLOS-2011-HormatiSWMM #named #programming

Sponge: portable stream programming on graphics engines (AH, MS, MW, TNM, SAM), pp. 381–392.

ASPLOS-2011-KamruzzamanST #manycore #migration #thread #using

Inter-core prefetching for multicore processors using migrating helper threads (MK, SS, DMT), pp. 393–404.

ASPLOS-2011-HayashizakiWISN #performance

Improving the performance of trace-based systems by false loop filtering (HH, PW, HI, MJS, TN), pp. 405–418.