BibSLEIGH — Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems

Özcan Özturk, Kemal Ebcioglu, Sandhya Dwarkadas
Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS, 2015.

SYS

@proceedings{ASPLOS-2015,
	acmid         = "2694344",
	address       = "Istanbul, Turkey",
	editor        = "Özcan Özturk and Kemal Ebcioglu and Sandhya Dwarkadas",
	isbn          = "978-1-4503-2835-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems}",
	year          = 2015,
}

Contents (50 items)

ASPLOS-2015-Lee #architecture #cyber-physical: Architectural Support for Cyber-Physical Systems (EAL), p. 1.
ASPLOS-2015-ZhangYMS #memory management #named #reliability: Mojim: A Reliable and Highly-Available Non-Volatile Memory System (YZ, JY, AM, SS), pp. 3–18.
ASPLOS-2015-WangJZY #memory management #named #reliability: SD-PCM: Constructing Reliable Super Dense Phase Change Memory under Write Disturbance (RW, LJ, YZ, JY), pp. 19–31.
ASPLOS-2015-YoungNQ #encryption #named: DEUCE: Write-Efficient Encryption for Non-Volatile Memories (VY, PJN, MKQ), pp. 33–44.
ASPLOS-2015-MorrisonA #bound #symmetry: Temporally Bounding TSO for Fence-Free Asymmetric Synchronization (AM, YA), pp. 45–58.
ASPLOS-2015-MatveevS #hardware #hybrid #memory management #scalability #transaction: Reduced Hardware NOrec: A Safe and Scalable Hybrid Transactional Memory (AM, NS), pp. 59–71.
ASPLOS-2015-OrrCYBHW #using: Synchronization Using Remote-Scope Promotion (MSO, SC, AY, BMB, MDH, DAW), pp. 73–86.
ASPLOS-2015-LiuHMHTS #memory management #named: GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation (CL, AH, MM, MWH, MT, ES), pp. 87–101.
ASPLOS-2015-FletcherRKDD #ram #recursion #verification: Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM (CWF, LR, AK, MvD, SD), pp. 103–116.
ASPLOS-2015-ChisnallRWWVMRD #architecture #automaton #c: Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine (DC, CR, RNMW, JW, MV, SWM, MR, BD, PGN), pp. 117–130.
ASPLOS-2015-MaSSLYHXYCWZB #architecture #on-demand #programmable: Supporting Differentiated Services in Computers via Programmable Architecture for Resourcing-on-Demand (PARD) (JM, XS, NS, YL, ZY, BH, TX, ZY, YC, HW, LZ, YB), pp. 131–143.
ASPLOS-2015-OmoteSK: Improving Agility and Elasticity in Bare-metal Clouds (YO, TS, KK), pp. 145–159.
ASPLOS-2015-HaqueEHEBM #incremental #interactive #latency #named #parallel: Few-to-Many: Incremental Parallelism for Reducing Tail Latency in Interactive Services (MEH, YHE, YH, SE, RB, KSM), pp. 161–175.
ASPLOS-2015-ColpZGSLRSW #memory management #smarttech: Protecting Data on Smartphones and Tablets from Memory Attacks (PC, JZ, JG, SS, EdL, HR, SS, AW), pp. 177–189.
ASPLOS-2015-DautenhahnKDCA #architecture #kernel #operating system: Nested Kernel: An Operating System Architecture for Intra-Kernel Privilege Separation (ND, TK, WD, JC, VSA), pp. 191–206.
ASPLOS-2015-TanQCAP #named #network #using: DIABLO: A Warehouse-Scale Computer Network Simulator using FPGAs (ZT, ZQ, XC, KA, DAP), pp. 207–221.
ASPLOS-2015-HauswaldLZLRKDM #named: Sirius: An Open End-to-End Voice and Vision Personal Assistant and Its Implications for Future Warehouse Scale Computers (JH, MAL, YZ, CL, AR, AK, RGD, TNM, VP, LT, JM), pp. 223–238.
ASPLOS-2015-XuLWZ #automation #power management #runtime: Automated OS-level Device Runtime Power Management (CX, FXL, YW, LZ), pp. 239–252.
ASPLOS-2015-GoiriNB #for free #named: CoolAir: Temperature- and Variation-Aware Management for Free-Cooled Datacenters (IG, TDN, RB), pp. 253–265.
ASPLOS-2015-MishraZLH #approach #constraints #energy #modelling #performance #probability #visual notation: A Probabilistic Graphical Model-based Approach for Minimizing Energy Under Performance Constraints (NM, HZ, JDL, HH), pp. 267–281.
ASPLOS-2015-PangDL #less is more: More is Less, Less is More: Molecular-Scale Photonic NoC Power Topologies (JP, CD, ARL), pp. 283–296.
ASPLOS-2015-SridharanDBFSSG #fault #memory management: Memory Errors in Modern Systems: The Good, The Bad, and The Ugly (VS, ND, SB, KBF, JS, JS, SG), pp. 297–310.
ASPLOS-2015-YetimMM #communication #execution #fault #named #parallel: CommGuard: Mitigating Communication Errors in Error-Prone Parallel Execution (YY, SM, MM), pp. 311–323.
ASPLOS-2015-KimKSZX #comparison #execution #fine-grained #on the fly: Dual Execution for On the Fly Fine Grained Execution Comparison (DK, YK, WNS, XZ, DX), pp. 325–338.
ASPLOS-2015-HosekC #execution #framework #performance: VARAN the Unbelievable: An Efficient N-version Execution Framework (PH, CC), pp. 339–353.
ASPLOS-2015-MalkaABT #named #performance: rIOMMU: Efficient IOMMU for I/O Devices that Employ Ring Buffers (MM, NA, MBY, DT), pp. 355–368.
ASPLOS-2015-LiuCLZZTFZC #machine learning #named: PuDianNao: A Polyvalent Machine Learning Accelerator (DFL, TC, SL, JZ, SZ, OT, XF, XZ, YC), pp. 369–381.
ASPLOS-2015-GoiriBNN #approximate #framework #named #pipes and filters: ApproxHadoop: Bringing Approximations to MapReduce Frameworks (IG, RB, SN, TDN), pp. 383–397.
ASPLOS-2015-RingenburgSACG #approximate #debugging #monitoring #quality #source code: Monitoring and Debugging the Quality of Results in Approximate Programs (MFR, AS, IA, LC, DG), pp. 399–411.
ASPLOS-2015-Banavar: Watson and the Era of Cognitive Computing (GB), p. 413.
ASPLOS-2015-StewartGMRVA #domain-specific language #named #programming: Ziria: A DSL for Wireless Systems Programming (GS, MG, GM, BR, DV, CLA), pp. 415–428.
ASPLOS-2015-MullapudiVB #automation #image #named #optimisation #pipes and filters: PolyMage: Automatic Optimization for Image Processing Pipelines (RTM, VV, UB), pp. 429–443.
ASPLOS-2015-HeckeyPJHKBFCM #communication #compilation #parallel #quantum: Compiler Management of Communication and Parallelism for Quantum Computation (JH, SP, AJ, AH, DK, KRB, DF, FTC, MM), pp. 445–456.
ASPLOS-2015-HassaanNP #dependence #graph: Kinetic Dependence Graphs (MAH, DDN, KP), pp. 457–471.
ASPLOS-2015-Sidiroglou-Douskos #automation #branch #integer #using: Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (SSD, EL, NR, PP, FL, DK, MCR), pp. 473–486.
ASPLOS-2015-DhawanHRVCSKPD #architecture #metadata: Architectural Support for Software-Defined Metadata Processing (UD, CH, RR, NV, SC, JMS, TFKJ, BCP, AD), pp. 487–502.
ASPLOS-2015-ZhangWSM #data flow #design #hardware #information management #security: A Hardware Design Language for Timing-Sensitive Information-Flow Security (DZ, YW, GES, ACM), pp. 503–516.
ASPLOS-2015-HicksSKS #debugging #lightweight #named #runtime #specification: SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs (MH, CS, STK, JMS), pp. 517–529.
ASPLOS-2015-DuanHT #memory management #optimisation #performance #symmetry: Asymmetric Memory Fences: Optimizing Both Performance and Implementability (YD, NH, JT), pp. 531–543.
ASPLOS-2015-SungA #named #performance: DeNovoSync: Efficient Support for Arbitrary Synchronization without Writer-Initiated Invalidations (HS, SVA), pp. 545–559.
ASPLOS-2015-SenguptaBZBK #bound #dynamic analysis #hybrid: Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
ASPLOS-2015-AlglaveBDGKPSW #behaviour #concurrent #gpu #programming: GPU Concurrency: Weak Behaviours and Programming Assumptions (JA, MB, AFD, GG, JK, DP, TS, JW), pp. 577–591.
ASPLOS-2015-ParkPM #collaboration #gpu #multi #named: Chimera: Collaborative Preemption for Multitasking on a Shared GPU (JJKP, YP, SAM), pp. 593–606.
ASPLOS-2015-AgarwalNSOK #memory management: Page Placement Strategies for GPUs within Heterogeneous Memory Systems (NA, DWN, MS, MO, SWK), pp. 607–618.
ASPLOS-2015-ZhaoS #automaton #on the fly #parallel: On-the-Fly Principled Speculation for FSM Parallelization (ZZ, XS), pp. 619–630.
ASPLOS-2015-DavidGT #concurrent #data type #scalability: Asynchronized Concurrency: The Secret to Scaling Concurrent Search Data Structures (TD, RG, VT), pp. 631–644.
ASPLOS-2015-Bhatotia0ABR #incremental #library #named #parallel #thread: iThreads: A Threading Library for Parallel Incremental Computation (PB, PF, UAA, BBB, RR), pp. 645–659.
ASPLOS-2015-Gidra0SSN #big data #garbage collection #named: NumaGiC: a Garbage Collector for Big Data on Big NUMA Machines (LG, GT, JS, MS, NN), pp. 661–673.
ASPLOS-2015-NguyenWBFHX #big data #bound #compilation #named #runtime: FACADE: A Compiler and Runtime for (Almost) Object-Bounded Big Data Applications (KN, KW, YB, LF, JH, G(X), pp. 675–690.
ASPLOS-2015-AgrawalDPSF #architecture: Architectural Support for Dynamic Linking (VA, AD, TP, YS, MF), pp. 691–702.

Özcan Özturk, Kemal Ebcioglu, Sandhya DwarkadasProceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating SystemsASPLOS, 2015.

Contents (50 items)

Özcan Özturk, Kemal Ebcioglu, Sandhya Dwarkadas
Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS, 2015.