Rajeev Balasubramonian, Al Davis, Sarita V. Adve
Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS, 2014.

@proceedings{ASPLOS-2014,
	acmid         = "2541940",
	address       = "Salt Lake City, Utah, USA",
	editor        = "Rajeev Balasubramonian and Al Davis and Sarita V. Adve",
	isbn          = "978-1-4503-2305-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems}",
	year          = 2014,
}

Contents (52 items)

21 ×#named
6 ×#architecture
6 ×#memory management
5 ×#multi
4 ×#design
4 ×#hardware
4 ×#performance
3 ×#execution
3 ×#operating system
3 ×#parallel

ASPLOS-2014-Calder #challenge #operating system

Inside windows azure: the challenges and opportunities of a cloud operating system (BC), pp. 1–2.

ASPLOS-2014-NovakovicDBFG

Scale-out NUMA (SN, AD, EB, BF, BG), pp. 3–18.

ASPLOS-2014-AgrawalPPTTL #hardware #named #parallel

Rhythm: harnessing data parallel hardware for server workloads (SRA, VP, JP, JT, DT, ARL), pp. 19–34.

ASPLOS-2014-SamadiJLM #approximate #named #parallel

Paraprox: pattern-based approximation for data parallel applications (MS, DAJ, JL, SAM), pp. 35–50.

ASPLOS-2014-BornholtMM #first-order #named #nondeterminism

Uncertain: a first-order type for uncertain data (JB, TM, KSM), pp. 51–66.

ASPLOS-2014-SantosRSW #mobile #runtime #using

Using ARM trustzone to build a trusted language runtime for mobile applications (NS, HR, SS, AW), pp. 67–80.

ASPLOS-2014-CriswellDA #operating system

Virtual ghost: protecting applications from hostile operating systems (JC, ND, VSA), pp. 81–96.

ASPLOS-2014-0001KOTRKSHC #named #policy #security

Sapper: a language for hardware-level security policy enforcement (XL, VK, JKO, MT, VRR, RK, TS, BH, FTC), pp. 97–112.

ASPLOS-2014-BanabicCG #distributed

Finding trojan message vulnerabilities in distributed systems (RB, GC, RG), pp. 113–126.

ASPLOS-2014-DelimitrouK #clustering #named

Quasar: resource-efficient and QoS-aware cluster management (CD, CK), pp. 127–144.

ASPLOS-2014-ZahediL #multi #named

REF: resource elasticity fairness with sharing incentives for multiprocessors (SMZ, BCL), pp. 145–160.

ASPLOS-2014-MuthukaruppanPM #multi #power management

Price theory based power management for heterogeneous multi-cores (TSM, AP, TM), pp. 161–176.

ASPLOS-2014-WangGSKLK #framework

Underprovisioning backup power infrastructure for datacenters (DW, SG, AS, AK, JL, BK), pp. 177–192.

ASPLOS-2014-YuHZX #execution #performance

Comprehending performance from real-world execution traces: a device-driver case (XY, SH, DZ, TX), pp. 193–206.

ASPLOS-2014-ArulrajJL #hardware #memory management

Leveraging the short-term memory of hardware to diagnose production-run software failures (JA, GJ, SL), pp. 207–222.

ASPLOS-2014-HonarmandT #multi #named

RelaxReplay: record and replay for relaxed-consistency multiprocessors (NH, JT), pp. 223–238.

ASPLOS-2014-BucurKC #execution #prototype #symbolic computation

Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.

ASPLOS-2014-WuLPKR #architecture #database #design #named

Q100: the architecture and design of a database processing unit (LW, AL, TKP, MAK, KAR), pp. 255–268.

ASPLOS-2014-ChenDSWWCT #named #ubiquitous

DianNao: a small-footprint high-throughput accelerator for ubiquitous machine-learning (TC, ZD, NS, JW, CW, YC, OT), pp. 269–284.

ASPLOS-2014-LinWZ #mobile #named #operating system

K2: a mobile operating system for heterogeneous coherence domains (FXL, ZW, LZ), pp. 285–300.

ASPLOS-2014-MenychtasSS #performance #scheduling

Disengaged scheduling for fair, protected access to fast computational accelerators (KM, KS, MLS), pp. 301–316.

ASPLOS-2014-Gehlhaar #architecture #future of #scalability

Neuromorphic processing: a new frontier in scaling computer architecture (JG), pp. 317–318.

ASPLOS-2014-SaniBQZ #bound

I/o paravirtualization at the device file boundary (AAS, KB, SQ, LZ), pp. 319–332.

ASPLOS-2014-DallN #design #implementation #linux #named

KVM/ARM: the design and implementation of the linux ARM hypervisor (CD, JN), pp. 333–348.

ASPLOS-2014-AmitTS #memory management #named

VSwapper: a memory swapper for virtualized environments (NA, DT, AS), pp. 349–366.

ASPLOS-2014-AndrusHADVN #android #execution #named

Cider: native execution of iOS apps on android (JA, AVH, NA, CD, NV, JN), pp. 367–382.

ASPLOS-2014-LitzCFAS #memory management #named #transaction

SI-TM: reducing transactional memory abort rates through snapshot isolation (HL, DRC, AF, OA, JPS), pp. 383–398.

ASPLOS-2014-RuanVLS #case study #experience #legacy #transaction #using

Transactionalizing legacy code: an experience report using GCC and Memcached (WR, TV, YL, MFS), pp. 399–412.

ASPLOS-2014-MorrisonA #bound

Fence-free work stealing on bounded TSO processors (AM, YA), pp. 413–426.

ASPLOS-2014-HowerHBGHRW #memory management #modelling

Heterogeneous-race-free memory models (DRH, BAH, BMB, BRG, MDH, SKR, DAW), pp. 427–440.

ASPLOS-2014-JungCSK #array #named #performance

Triple-A: a Non-SSD based autonomic all-flash array for high performance storage systems (MJ, WC, JS, MTK), pp. 441–454.

ASPLOS-2014-LiuSYYW #architecture #memory management #persistent

NVM duet: unified working memory and persistent store architecture (RSL, DYS, CLY, SCY, CYMW), pp. 455–470.

ASPLOS-2014-OuyangLSHWW #internet #named

SDF: software-defined flash for web-scale internet storage systems (JO, SL, JS, ZH, YW, YW), pp. 471–484.

ASPLOS-2014-GutierrezCGDCM #3d #design #physics

Integrated 3D-stacked server designs for increasing physical density of key-value stores (AG, MC, BG, RGD, LC, TNM), pp. 485–498.

ASPLOS-2014-NguyenLP #on-demand

Deterministic galois: on-demand, portable and parameterless (DN, AL, KP), pp. 499–512.

ASPLOS-2014-RibicY #energy

Energy-efficient work-stealing language runtimes (HR, YDL), pp. 513–528.

ASPLOS-2014-MytkowiczMS #finite #state machine

Data-parallel finite-state machines (TM, MM, WS), pp. 529–542.

ASPLOS-2014-ZhaoWS #finite #state machine

Challenging the “embarrassingly sequential”: parallelizing finite state machine-based computations through principled speculation (ZZ, BW, XS), pp. 543–558.

ASPLOS-2014-ZhouW #architecture #as a service

The sharing architecture: sub-core configurability for IaaS clouds (YZ, DW), pp. 559–574.

ASPLOS-2014-WaterlandAAAS #automation #named #scalability

ASC: automatically scalable computation (AW, EA, RPA, JA, MIS), pp. 575–590.

ASPLOS-2014-EyermanE #concurrent #flexibility #manycore #parallel #smt #thread #towards

The benefit of SMT in the multi-core era: flexibility towards degrees of thread-level parallelism (SE, LE), pp. 591–606.

ASPLOS-2014-DingZZES #compilation #complexity #runtime #scheduling

Finding the limit: examining the potential and complexity of compilation scheduling for JIT-based runtime systems (YD, MZ, ZZ, SE, XS), pp. 607–622.

ASPLOS-2014-LuponGMSMSD #float #hardware #multi

Speculative hardware/software co-designed floating-point multiply-add fusion (ML, EG, GM, SS, RM, KS, DRD), pp. 623–638.

ASPLOS-2014-SchulteDHFW #energy #optimisation

Post-compiler software optimization for reducing energy (EMS, JD, SH, SF, WW), pp. 639–652.

ASPLOS-2014-Wood #architecture #named

Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decade (DAW), pp. 653–654.

ASPLOS-2014-RuwaseKGM #approach #hardware #named

Guardrail: a high fidelity approach to protecting hardware devices from buggy drivers (OR, MAK, PBG, TCM), pp. 655–670.

ASPLOS-2014-WoodCG #detection #low level

Low-level detection of language-level data races with LARD (BPW, LC, DG), pp. 671–686.

ASPLOS-2014-ZhangRZGBXZ #correlation #detection #named

EnCore: exploiting system environment and correlation information for misconfiguration detection (JZ, LR, XZ, NG, VB, TX, YZ), pp. 687–700.

ASPLOS-2014-VoskuilenV

High-performance fractal coherence (GV, TNV), pp. 701–714.

ASPLOS-2014-KwonKP #multi

Locality-oblivious cache organization leveraging single-cycle multi-hop NoCs (WCK, TK, LSP), pp. 715–728.

ASPLOS-2014-KastureS #named #performance #strict

Ubik: efficient cache sharing with strict qos for latency-critical workloads (HK, DS), pp. 729–742.

ASPLOS-2014-PichaiHB #architecture #cpu #design #memory management

Architectural support for address translation on GPUs: designing memory management units for CPU/GPUs with unified address spaces (BP, LH, AB), pp. 743–758.