Proceedings of the 20th International Conference on Architectural Support for Programming Languages and Operating Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SYS
DBLP
Scholar
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.