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

Vivek Sarkar, Rastislav Bodík
Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS, 2013.

SYS

@proceedings{ASPLOS-2013,
	acmid         = "2451116",
	address       = "Houston, Texas, USA",
	editor        = "Vivek Sarkar and Rastislav Bodík",
	isbn          = "978-1-4503-1870-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems}",
	year          = 2013,
}

Contents (45 items)

ASPLOS-2013-JooybarFODA #architecture #gpu #named: GPUDet: a deterministic GPU architecture (HJ, WWLF, MO, JD, TMA), pp. 1–12.
ASPLOS-2013-SungKA #hardware #named #nondeterminism #performance: DeNovoND: efficient hardware support for disciplined non-determinism (HS, RK, SVA), pp. 13–26.
ASPLOS-2013-WesterDCFN #concurrent #detection: Parallelizing data race detection (BW, DD, PMC, JF, SN), pp. 27–38.
ASPLOS-2013-LuciaC #empirical #parallel #source code #thread: Cooperative empirical failure avoidance for multithreaded programs (BL, LC), pp. 39–50.
ASPLOS-2013-GoiriKLNB #data transformation #energy: Parasol and GreenSwitch: managing datacenters powered by renewable energy (IG, WAK, KL, TDN, RB), pp. 51–64.
ASPLOS-2013-ShenSDZC #energy #fine-grained #manycore: Power containers: an OS facility for fine-grained power and energy management on multicore servers (KS, AS, SD, XZ, ZC), pp. 65–76.
ASPLOS-2013-DelimitrouK #named #scheduling #semistructured data: Paragon: QoS-aware scheduling for heterogeneous datacenters (CD, CK), pp. 77–88.
ASPLOS-2013-TangMWDS #compilation #named: ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers (LT, JM, WW, TD, MLS), pp. 89–100.
ASPLOS-2013-ArulrajCJL #hardware #performance: Production-run software failure diagnosis via hardware performance counters (JA, PCC, GJ, SL), pp. 101–112.
ASPLOS-2013-ZhangKLLS #concurrent #debugging #execution #named #thread: ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.
ASPLOS-2013-ViennotNN #debugging #manycore #validation: Transparent mutable replay for multicore debugging and patch validation (NV, SN, JN), pp. 127–138.
ASPLOS-2013-SahooCGA #automation #fault #invariant #locality #using: Using likely invariants for automated software fault localization (SKS, JC, CG, VSA), pp. 139–152.
ASPLOS-2013-Paulos #evolution: The rise of the expert amateur: DIY culture and the evolution of computer science (EP), pp. 153–154.
ASPLOS-2013-RaghavanESPPWM #hardware #testing: Computational sprinting on a hardware/software testbed (AR, LE, LS, MCP, KPP, TFW, MMKM), pp. 155–166.
ASPLOS-2013-AhnDT #alias #named #using: DeAliaser: alias speculation using atomic region support (WA, YD, JT), pp. 167–180.
ASPLOS-2013-ParkBCLN #harmful #manycore #memory management: Regularities considered harmful: forcing randomness to memory accesses to reduce row buffer conflicts for multi-core, multi-bank systems (HP, SB, JC, DL, SHN), pp. 181–192.
ASPLOS-2013-HonarmandDTKPP #named #parallel: Cyrus: unintrusive application-level record-replay for replay parallelism (NH, ND, JT, STK, GP, CP), pp. 193–206.
ASPLOS-2013-OliveiraFDHS #why: Why you should care about quantile regression (ABdO, SF, AD, MH, PFS), pp. 207–218.
ASPLOS-2013-CurtsingerB #evaluation #named #performance #statistics: STABILIZER: statistically sound performance evaluation (CC, EDB), pp. 219–228.
ASPLOS-2013-Gidra0SS #case study #garbage collection #multi #scalability: A study of the scalability of stop-the-world garbage collectors on multicores (LG, GT, JS, MS), pp. 229–240.
ASPLOS-2013-McFarlinTZ #performance #question: Discerning the dominant out-of-order performance advantage: is it speculation or dynamism? (DSM, CT, CBZ), pp. 241–252.
ASPLOS-2013-CheckowayS #api #why: Iago attacks: why the system call API is a bad untrusted RPC interface (SC, HS), pp. 253–264.
ASPLOS-2013-HofmannKDLW #named #operating system: InkTag: secure applications on an untrusted operating system (OSH, SK, AMD, MZL, EW), pp. 265–278.
ASPLOS-2013-GiuffridaKT #automation #operating system: Safe and automatic live update for operating systems (CG, AK, AST), pp. 279–292.
ASPLOS-2013-MaiPXKM #invariant #security #verification: Verifying security invariants in ExpressOS (HM, EP, HX, STK, PM), pp. 293–304.
ASPLOS-2013-Schkufza0A #probability: Stochastic superoptimization (ES, RS, AA), pp. 305–316.
ASPLOS-2013-SchulteDWF #assembly #automation #embedded #source code: Automated repair of binary and assembly programs for cooperating embedded devices (EMS, JD, WW, SF), pp. 317–328.
ASPLOS-2013-CuiHWY #execution #symbolic computation #using #verification: Verifying systems rules using rule-directed symbolic execution (HC, GH, JW, JY), pp. 329–342.
ASPLOS-2013-XiangDLB #higher-order #locality #named: HOTL: a higher order theory of locality (XX, CD, HL, BB), pp. 343–356.
ASPLOS-2013-KangW #approach #hardware: To hardware prefetch or not to prefetch?: a virtualized environment study and core binding approach (HK, JLW), pp. 357–368.
ASPLOS-2013-KimKJLM #coordination #scheduling #virtual machine: Demand-based coordinated scheduling for SMP VMs (HK, SK, JJ, JL, SM), pp. 369–380.
ASPLOS-2013-DashtiFFGLLQR #approach #memory management: Traffic management: a holistic approach to memory placement on NUMA systems (MD, AF, JRF, FG, RL, BL, VQ, MR), pp. 381–394.
ASPLOS-2013-JogKNMKMID #array #concurrent #named #owl #performance #scheduling #thread: OWL: cooperative thread array aware scheduling techniques for improving GPGPU performance (AJ, OK, NCN, AKM, MTK, OM, RI, CRD), pp. 395–406.
ASPLOS-2013-PaiTG #concurrent #kernel: Improving GPGPU concurrency with elastic kernels (SP, MJT, RG), pp. 407–418.
ASPLOS-2013-OhKJLA #automation: Practical automatic loop specialization (TO, HK, NPJ, JWL, DIA), pp. 419–430.
ASPLOS-2013-PhothilimthanaARA #architecture #performance: Portable performance on heterogeneous architectures (PMP, JA, JRK, SPA), pp. 431–444.
ASPLOS-2013-MittalBBS #architecture #embedded #performance #platform: Efficient virtualization on embedded power architecture® platforms (AM, DB, SB, VS), pp. 445–458.
ASPLOS-2013-MadhavapeddyMRSSGSHC #kernel #library #named #operating system: Unikernels: library operating systems for the cloud (AM, RM, CR, DJS, BS, TG, SS, SH, JC), pp. 461–472.
ASPLOS-2013-KadavRS #fault tolerance #fine-grained #using: Fine-grained fault tolerance using device checkpoints (AK, MJR, MMS), pp. 473–484.
ASPLOS-2013-SilbersteinFKW #file system #named: GPUfs: integrating a file system with GPUs (MS, BF, IK, EW), pp. 485–498.
ASPLOS-2013-HuntBCG #distributed #named #nondeterminism: DDOS: taming nondeterminism in distributed systems (NH, TB, LC, SDG), pp. 499–508.
ASPLOS-2013-WangW #hardware #named #optimisation #performance: TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations (CW, YW), pp. 509–520.
ASPLOS-2013-JafriVV #dependence #named #performance: Wait-n-GoTM: improving HTM performance by serializing cyclic dependencies (SARJ, GV, TNV), pp. 521–534.
ASPLOS-2013-QianTSQ #consistency #detection #named #precise #scalability: Volition: scalable and precise sequential consistency violation detection (XQ, JT, BS, DQ), pp. 535–548.
ASPLOS-2013-GrossmanKBTDILSTYS #fine-grained #hardware: Hardware support for fine-grained event-driven computation in Anton 2 (JPG, JK, JAB, MT, ROD, DJI, RHL, UBS, BT, CY, DES), pp. 549–560.

Vivek Sarkar, Rastislav BodíkProceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating SystemsASPLOS, 2013.

Contents (45 items)

Vivek Sarkar, Rastislav Bodík
Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems
ASPLOS, 2013.