Table of Contents

• Inside windows azure: the challenges and opportunities of a cloud operating systemBrad Calder. 1-2 [doi]
• Scale-out NUMAStanko Novakovic, Alexandros Daglis, Edouard Bugnion, Babak Falsafi, Boris Grot. 3-18 [doi]
• Rhythm: harnessing data parallel hardware for server workloadsSandeep R. Agrawal, Valentin Pistol, Jun Pang, John Tran, David Tarjan, Alvin R. Lebeck. 19-34 [doi]
• Paraprox: pattern-based approximation for data parallel applicationsMehrzad Samadi, Davoud Anoushe Jamshidi, Janghaeng Lee, Scott A. Mahlke. 35-50 [doi]
• Uncertain: a first-order type for uncertain dataJames Bornholt, Todd Mytkowicz, Kathryn S. McKinley. 51-66 [doi]
• Using ARM trustzone to build a trusted language runtime for mobile applicationsNuno Santos, Himanshu Raj, Stefan Saroiu, Alec Wolman. 67-80 [doi]
• Virtual ghost: protecting applications from hostile operating systemsJohn Criswell, Nathan Dautenhahn, Vikram S. Adve. 81-96 [doi]
• Sapper: a language for hardware-level security policy enforcementXun Li 0001, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong. 97-112 [doi]
• Finding trojan message vulnerabilities in distributed systemsRadu Banabic, George Candea, Rachid Guerraoui. 113-126 [doi]
• Quasar: resource-efficient and QoS-aware cluster managementChristina Delimitrou, Christos Kozyrakis. 127-144 [doi]
• REF: resource elasticity fairness with sharing incentives for multiprocessorsSeyed Majid Zahedi, Benjamin C. Lee. 145-160 [doi]
• Price theory based power management for heterogeneous multi-coresThannirmalai Somu Muthukaruppan, Anuj Pathania, Tulika Mitra. 161-176 [doi]
• Underprovisioning backup power infrastructure for datacentersDi Wang, Sriram Govindan, Anand Sivasubramaniam, Aman Kansal, Jie Liu, Badriddine Khessib. 177-192 [doi]
• Comprehending performance from real-world execution traces: a device-driver caseXiao Yu, Shi Han, Dongmei Zhang, Tao Xie. 193-206 [doi]
• Leveraging the short-term memory of hardware to diagnose production-run software failuresJoy Arulraj, Guoliang Jin, Shan Lu. 207-222 [doi]
• RelaxReplay: record and replay for relaxed-consistency multiprocessorsNima Honarmand, Josep Torrellas. 223-238 [doi]
• Prototyping symbolic execution engines for interpreted languagesStefan Bucur, Johannes Kinder, George Candea. 239-254 [doi]
• Q100: the architecture and design of a database processing unitLisa Wu, Andrea Lottarini, Timothy K. Paine, Martha A. Kim, Kenneth A. Ross. 255-268 [doi]
• DianNao: a small-footprint high-throughput accelerator for ubiquitous machine-learningTianshi Chen, Zidong Du, Ninghui Sun, Jia Wang, Chengyong Wu, Yunji Chen, Olivier Temam. 269-284 [doi]
• K2: a mobile operating system for heterogeneous coherence domainsFelix Xiaozhu Lin, Zhen Wang, Lin Zhong. 285-300 [doi]
• Disengaged scheduling for fair, protected access to fast computational acceleratorsKonstantinos Menychtas, Kai Shen, Michael L. Scott. 301-316 [doi]
• Neuromorphic processing: a new frontier in scaling computer architectureJeff Gehlhaar. 317-318 [doi]
• I/o paravirtualization at the device file boundaryArdalan Amiri Sani, Kevin Boos, Shaopu Qin, Lin Zhong. 319-332 [doi]
• KVM/ARM: the design and implementation of the linux ARM hypervisorChristoffer Dall, Jason Nieh. 333-348 [doi]
• VSwapper: a memory swapper for virtualized environmentsNadav Amit, Dan Tsafrir, Assaf Schuster. 349-366 [doi]
• Cider: native execution of iOS apps on androidJeremy Andrus, Alexander Van't Hof, Naser AlDuaij, Christoffer Dall, Nicolas Viennot, Jason Nieh. 367-382 [doi]
• SI-TM: reducing transactional memory abort rates through snapshot isolationHeiner Litz, David R. Cheriton, Amin Firoozshahian, Omid Azizi, John P. Stevenson. 383-398 [doi]
• Transactionalizing legacy code: an experience report using GCC and MemcachedWenjia Ruan, Trilok Vyas, Yujie Liu, Michael F. Spear. 399-412 [doi]
• Fence-free work stealing on bounded TSO processorsAdam Morrison, Yehuda Afek. 413-426 [doi]
• Heterogeneous-race-free memory modelsDerek R. Hower, Blake A. Hechtman, Bradford M. Beckmann, Benedict R. Gaster, Mark D. Hill, Steven K. Reinhardt, David A. Wood. 427-440 [doi]
• Triple-A: a Non-SSD based autonomic all-flash array for high performance storage systemsMyoungsoo Jung, Wonil Choi, John Shalf, Mahmut T. Kandemir. 441-454 [doi]
• NVM duet: unified working memory and persistent store architectureRen-Shuo Liu, De-Yu Shen, Chia-Lin Yang, Shun-Chih Yu, Cheng-Yuan Michael Wang. 455-470 [doi]
• SDF: software-defined flash for web-scale internet storage systemsJian Ouyang, Shiding Lin, Jiang Song, Zhenyu Hou, Yong Wang, Yuanzheng Wang. 471-484 [doi]
• Integrated 3D-stacked server designs for increasing physical density of key-value storesAnthony Gutierrez, Michael Cieslak, Bharan Giridhar, Ronald G. Dreslinski, Luis Ceze, Trevor N. Mudge. 485-498 [doi]
• Deterministic galois: on-demand, portable and parameterlessDonald Nguyen, Andrew Lenharth, Keshav Pingali. 499-512 [doi]
• Energy-efficient work-stealing language runtimesHaris Ribic, David Yu. 513-528 [doi]
• Data-parallel finite-state machinesTodd Mytkowicz, Madanlal Musuvathi, Wolfram Schulte. 529-542 [doi]
• Challenging the "embarrassingly sequential": parallelizing finite state machine-based computations through principled speculationZhijia Zhao, Bo Wu, Xipeng Shen. 543-558 [doi]
• The sharing architecture: sub-core configurability for IaaS cloudsYanqi Zhou, David Wentzlaff. 559-574 [doi]
• ASC: automatically scalable computationAmos Waterland, Elaine Angelino, Ryan P. Adams, Jonathan Appavoo, Margo I. Seltzer. 575-590 [doi]
• The benefit of SMT in the multi-core era: flexibility towards degrees of thread-level parallelismStijn Eyerman, Lieven Eeckhout. 591-606 [doi]
• Finding the limit: examining the potential and complexity of compilation scheduling for JIT-based runtime systemsYufei Ding, Mingzhou Zhou, Zhijia Zhao, Sarah Eisenstat, Xipeng Shen. 607-622 [doi]
• Speculative hardware/software co-designed floating-point multiply-add fusionMarc Lupon, Enric Gibert, Grigorios Magklis, Sridhar Samudrala, Raúl Martínez, Kyriakos Stavrou, David R. Ditzel. 623-638 [doi]
• Post-compiler software optimization for reducing energyEric Schulte, Jonathan Dorn, Stephen Harding, Stephanie Forrest, Westley Weimer. 639-652 [doi]
• Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decadeDavid A. Wood. 653-654 [doi]
• Guardrail: a high fidelity approach to protecting hardware devices from buggy driversOlatunji Ruwase, Michael A. Kozuch, Phillip B. Gibbons, Todd C. Mowry. 655-670 [doi]
• Low-level detection of language-level data races with LARDBenjamin P. Wood, Luis Ceze, Dan Grossman. 671-686 [doi]
• EnCore: exploiting system environment and correlation information for misconfiguration detectionJiaqi Zhang, Lakshminarayanan Renganarayana, Xiaolan Zhang, Niyu Ge, Vasanth Bala, Tianyin Xu, Yuanyuan Zhou. 687-700 [doi]
• High-performance fractal coherenceGwendolyn Voskuilen, T. N. Vijaykumar. 701-714 [doi]
• Locality-oblivious cache organization leveraging single-cycle multi-hop NoCsWoo-Cheol Kwon, Tushar Krishna, Li-Shiuan Peh. 715-728 [doi]
• Ubik: efficient cache sharing with strict qos for latency-critical workloadsHarshad Kasture, Daniel Sanchez. 729-742 [doi]
• Architectural support for address translation on GPUs: designing memory management units for CPU/GPUs with unified address spacesBharath Pichai, Lisa Hsu, Abhishek Bhattacharjee. 743-758 [doi]