Tom Conte 0001, Yuanyuan Zhou
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS, 2016.

@proceedings{ASPLOS-2016,
	editor        = "Tom Conte 0001 and Yuanyuan Zhou",
	isbn          = "978-1-4503-4091-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems}",
	year          = 2016,
}

Contents (57 items)

ASPLOS-2016-McKinley #nondeterminism #programming

Programming Uncertain jhings (KSM), pp. 1–2.

ASPLOS-2016-AbadalCAT #architecture #communication #named #performance

WiSync: An Architecture for Fast Synchronization through On-Chip Wireless Communication (SA, ACA, EA, JT), pp. 3–17.

ASPLOS-2016-WangM #manycore #named #performance #resource management #runtime

ReBudget: Trading Off Efficiency vs. Fairness in Market-Based Multicore Resource Allocation via Runtime Budget Reassignment (XW, JFM), pp. 19–32.

ASPLOS-2016-ZhuE #manycore #named

Dirigent: Enforcing QoS for Latency-Critical Tasks on Shared Multicore Systems (HZ, ME), pp. 33–47.

ASPLOS-2016-KupermanMNLGT

Paravirtual Remote I/O (YK, EM, JN, RL, AG, DT), pp. 49–65.

ASPLOS-2016-KaufmannPSAK #performance

High Performance Packet Processing with FlexNIC (AK, SP, NKS, TEA, AK), pp. 67–81.

ASPLOS-2016-BornholtKLKTW #file system #modelling #specification

Specifying and Checking File System Crash-Consistency Models (JB, AK, JL, AK, ET, XW0), pp. 83–98.

ASPLOS-2016-PrasadG #memory management

Prudent Memory Reclamation in Procrastination-Based Synchronization (AP, KG), pp. 99–112.

ASPLOS-2016-MukkaraBS #classification #named

Whirlpool: Improving Dynamic Cache Management with Static Data Classification (AM, NB, DS0), pp. 113–127.

ASPLOS-2016-JeonHKERC #interactive #latency #named #parallel #predict

TPC: Target-Driven Parallelism Combining Prediction and Correction to Reduce Tail Latency in Interactive Services (MJ, YH, HK, SE, SR, ALC), pp. 129–141.

ASPLOS-2016-BrownNE #how #order #static analysis #using

How to Build Static Checking Systems Using Orders of Magnitude Less Code (FB, AN, DRE), pp. 143–157.

ASPLOS-2016-ZhangLJ #concurrent #detection #hardware #memory management #named #performance #transaction #using

TxRace: Efficient Data Race Detection Using Commodity Hardware Transactional Memory (TZ, DL, CJ), pp. 159–173.

ASPLOS-2016-AmaniHCRCOBNLST #file system #implementation #named #verification

CoGENT: Verifying High-Assurance File System Implementations (SA, AH, ZC, CR, PC, LO, JB, YN, JL, TS, JT, GK, TCM, GK, GH), pp. 175–188.

ASPLOS-2016-AsmussenVNHF #co-evolution #design #hardware #named

M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores (NA, MV, BN, HH, GPF), pp. 189–203.

ASPLOS-2016-LiaqatJLGTLGS #architecture #developer #energy #mobile #named #performance

Sidewinder: An Energy Efficient and Developer Friendly Heterogeneous Architecture for Continuous Mobile Sensing (DL, SJ, EdL, AG, WT, KL, IDMG, MS), pp. 205–215.

ASPLOS-2016-BalkindMFNZLSFP #framework #manycore #named #open source #research

OpenPiton: An Open Source Manycore Research Framework (JB, MM, YF, TMN0, YZ, AL, MS, AF, SP, XL, MM, DW), pp. 217–232.

ASPLOS-2016-LustigSMB #interface #memory management #named #verification

COATCheck: Verifying Memory Ordering at the Hardware-OS Interface (DL, GS, MM, AB), pp. 233–247.

ASPLOS-2016-MarkuzeMT #performance

True IOMMU Protection from DMA Attacks: When Copy is Faster than Zero Copy (AM, AM0, DT), pp. 249–262.

ASPLOS-2016-AwadMHSH #in memory #low cost #memory management

Silent Shredder: Zero-Cost Shredding for Secure Non-Volatile Main Memory Controllers (AA, PKM, SH, YS, WH), pp. 263–276.

ASPLOS-2016-KwonDLHXW #metadata #named #pervasive

Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services (YK, AMD, MZL, OSH, YX, EW), pp. 277–290.

ASPLOS-2016-Tsafrir

Synopsis of the ASPLOS '16 Wild and Crazy Ideas (WACI) Invited-Speakers Session (DT), pp. 291–294.

ASPLOS-2016-Williams

Brain Inspired Computing (RSW), p. 295.

ASPLOS-2016-PhothilimthanaT #scalability

Scaling up Superoptimization (PMP, AT0, RB, DD), pp. 297–310.

ASPLOS-2016-HasabnisS #approach #assembly #compilation #novel #representation

Lifting Assembly to Intermediate Representation: A Novel Approach Leveraging Compilers (NH, RS), pp. 311–324.

ASPLOS-2016-MuralidharanRHG #adaptation #architecture

Architecture-Adaptive Code Variant Tuning (SM, AR, MWH, MG, PR), pp. 325–338.

ASPLOS-2016-LinCLMHXS #design #implementation #kernel #scalability

Scalable Kernel TCP Design and Implementation for Short-Lived Connections (XL, YC0, XL, JM, JH, WX, YS), pp. 339–352.

ASPLOS-2016-HajjMZMAFHRS #multi #named #programming

SpaceJMP: Programming with Multiple Virtual Address Spaces (IEH, AM, GZ, DSM, RA, PF, WmWH, TR, KS), pp. 353–368.

ASPLOS-2016-LinL #memory management #named #programming #towards

memif: Towards Programming Heterogeneous Memory Asynchronously (FXL, XL0), pp. 369–383.

ASPLOS-2016-KimKBNW #named

NVWAL: Exploiting NVRAM in Write-Ahead Logging (WHK, JK, WB, BN, YW), pp. 385–398.

ASPLOS-2016-KolliPSCW #persistent #transaction

High-Performance Transactions for Persistent Memories (AK, SP, AGS, PMC, TFW), pp. 399–411.

ASPLOS-2016-GuoSCM #approximate #image #memory management #using

High-Density Image Storage Using Approximate Memory Cells (QG, KS, LC, HSM), pp. 413–426.

ASPLOS-2016-IzraelevitzKK #memory management #persistent

Failure-Atomic Persistent Memory Updates via JUSTDO Logging (JI, TK, AK), pp. 427–442.

ASPLOS-2016-HanJCH #clustering #distributed #parallel

Interference Management for Distributed Parallel Applications in Consolidated Clusters (JH, SJ, YrC, JH), pp. 443–456.

ASPLOS-2016-MaasA0K #coordination #distributed #named #runtime

Taurus: A Holistic Language Runtime System for Coordinating Distributed Managed-Language Applications (MM, KA, TH0, JK), pp. 457–471.

ASPLOS-2016-DelimitrouK #named

HCloud: Resource-Efficient Provisioning in Shared Cloud Systems (CD, CK), pp. 473–488.

ASPLOS-2016-YuJXJZJ #monitoring #named #workflow

CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs (XY, PJ, JX, GJ, HZ0, GJ), pp. 489–502.

ASPLOS-2016-KwonKSKSZX #execution #lightweight #named

LDX: Causality Inference by Lightweight Dual Execution (YK, DK, WNS, KK, BS, XZ0, DX), pp. 503–515.

ASPLOS-2016-Leesatapornwongsa #concurrent #debugging #distributed #named #nondeterminism #taxonomy

TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems (TL, JFL, SL, HSG), pp. 517–530.

ASPLOS-2016-MaoCXS #consistency #debugging #named

RID: Finding Reference Count Bugs with Inconsistent Path Pair Checking (JM, YC0, QX, YS), pp. 531–544.

ASPLOS-2016-ZhangH #comparison #hardware #hybrid #performance

Maximizing Performance Under a Power Cap: A Comparison of Hardware, Software, and Hybrid Techniques (HZ, HH), pp. 545–559.

ASPLOS-2016-FanZL #game studies

The Computational Sprinting Game (SF, SMZ, BCL), pp. 561–575.

ASPLOS-2016-ColinHLS #debugging #energy

An Energy-interference-free Hardware-Software Debugger for Intermittent Energy-harvesting Systems (AC, GH, BL, APS), pp. 577–589.

ASPLOS-2016-Witchel #challenge #interface

Programmer Productivity in a World of Mushy Interfaces: Challenges of the Post-ISA Reality (EW), p. 591.

ASPLOS-2016-AngstadtWS #agile #programming

RAPID Programming of Pattern-Recognition Processors (KA, WW, KS), pp. 593–605.

ASPLOS-2016-SuiLFP #approximate #source code

Proactive Control of Approximate Programs (XS, AL, DSF, KP), pp. 607–621.

ASPLOS-2016-ParkAMTE #approximate #crowdsourcing #named #quality #towards

AxGames: Towards Crowdsourcing Quality Target Determination in Approximate Computing (JP, EA, DM, BT, HE), pp. 623–636.

ASPLOS-2016-BornholtLCCSS

A DNA-Based Archival Storage System (JB, RL, DMC, LC, GS, KS), pp. 637–649.

ASPLOS-2016-PrabhakarKBLSKO #configuration management #generative #hardware #parallel

Generating Configurable Hardware from Parallel Patterns (RP, DK, KJB, HL, CDS, CK, KO), pp. 651–665.

ASPLOS-2016-ChangKH #kernel #lightweight #named #programming

DySel: Lightweight Dynamic Selection for Kernel-based Data-parallel Programming Model (LWC, HSK, WmWH), pp. 667–680.

ASPLOS-2016-ChenYMT #named

Baymax: QoS Awareness and Increased Utilization for Non-Preemptive Accelerators in Warehouse Scale Computers (QC0, HY, JM, LT), pp. 681–696.

ASPLOS-2016-NowatzkiS #behaviour

Analyzing Behavior Specialized Acceleration (TN, KS), pp. 697–711.

ASPLOS-2016-YoonSCC #data flow #named #predict

PIFT: Predictive Information-Flow Tracking (MKY, NS, YC, MC), pp. 713–725.

ASPLOS-2016-VenkatSST #named

HIPStR: Heterogeneous-ISA Program State Relocation (AV, SS, HS, DMT), pp. 727–741.

ASPLOS-2016-AwekeYQDHOA #named

ANVIL: Software-Based Protection Against Next-Generation Rowhammer Attacks (ZBA, SFY, RQ, RD, MH, YO, TMA), pp. 743–755.

ASPLOS-2016-DidonaDKGNR #abstraction #memory management #named #performance #transaction

ProteusTM: Abstraction Meets Performance in Transactional Memory (DD, ND, AMK, RG, RN, PR0), pp. 757–771.

ASPLOS-2016-ShalevHPKW #named #operating system

CSR: Core Surprise Removal in Commodity Operating Systems (NS, EH, HP, IK, YW), pp. 773–787.

ASPLOS-2016-GangwaniMT #manycore #named

CASPAR: Breaking Serialization in Lock-Free Multicore Synchronization (TG, AM0, JT), pp. 789–804.