default search action
ASPLOS 2016: Atlanta, GA, USA
- Tom Conte
, Yuanyuan Zhou:
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2016, Atlanta, GA, USA, April 2-6, 2016. ACM 2016, ISBN 978-1-4503-4091-5
Keynote Address I
- Kathryn S. McKinley:
Programming Uncertain <T>jhings. 1-2
Session 1A: Multicore
- Sergi Abadal
WiSync: An Architecture for Fast Synchronization through On-Chip Wireless Communication. 3-17 - Xiaodong Wang, José F. Martínez
ReBudget: Trading Off Efficiency vs. Fairness in Market-Based Multicore Resource Allocation via Runtime Budget Reassignment. 19-32 - Haishan Zhu, Mattan Erez
Dirigent: Enforcing QoS for Latency-Critical Tasks on Shared Multicore Systems. 33-47
Session 1B: I/O
- Yossi Kuperman, Eyal Moscovici, Joel Nider
Paravirtual Remote I/O. 49-65 - Antoine Kaufmann, Simon Peter, Naveen Kr. Sharma, Thomas E. Anderson, Arvind Krishnamurthy:
High Performance Packet Processing with FlexNIC. 67-81 - James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, Xi Wang:
Specifying and Checking File System Crash-Consistency Models. 83-98
Session 2A: Memory Management
- Aravinda Prasad, K. Gopinath:
Prudent Memory Reclamation in Procrastination-Based Synchronization. 99-112 - Anurag Mukkara, Nathan Beckmann, Daniel Sánchez:
Whirlpool: Improving Dynamic Cache Management with Static Data Classification. 113-127 - Myeongjae Jeon, Yuxiong He, Hwanju Kim, Sameh Elnikety, Scott Rixner, Alan L. Cox:
TPC: Target-Driven Parallelism Combining Prediction and Correction to Reduce Tail Latency in Interactive Services. 129-141
Session 2B: Reliability and Debugging I
- Fraser Brown, Andres Nötzli
How to Build Static Checking Systems Using Orders of Magnitude Less Code. 143-157 - Tong Zhang, Dongyoon Lee
TxRace: Efficient Data Race Detection Using Commodity Hardware Transactional Memory. 159-173 - Sidney Amani, Alex Hixon, Zilin Chen
CoGENT: Verifying High-Assurance File System Implementations. 175-188
Session 3A: Heterogeneous Architectures and Accelerators I
- Nils Asmussen, Marcus Völp
M3: A Hardware/Operating-System Co-Design to Tame Heterogeneous Manycores. 189-203 - Daniyal Liaqat, Silviu Jingoi, Eyal de Lara, Ashvin Goel, Wilson To, Kevin Lee, Italo De Moraes Garcia, Manuel Saldaña:
Sidewinder: An Energy Efficient and Developer Friendly Heterogeneous Architecture for Continuous Mobile Sensing. 205-215 - Jonathan Balkind, Michael McKeown, Yaosheng Fu, Tri Minh Nguyen, Yanqi Zhou, Alexey Lavrov, Mohammad Shahrad
OpenPiton: An Open Source Manycore Research Framework. 217-232 - Daniel Lustig, Geet Sethi, Margaret Martonosi, Abhishek Bhattacharjee
COATCheck: Verifying Memory Ordering at the Hardware-OS Interface. 233-247
Session 3B: Security I
- Alex Markuze, Adam Morrison, Dan Tsafrir:
True IOMMU Protection from DMA Attacks: When Copy is Faster than Zero Copy. 249-262 - Amro Awad, Pratyusa K. Manadhata, Stuart Haber, Yan Solihin, William G. Horne:
Silent Shredder: Zero-Cost Shredding for Secure Non-Volatile Main Memory Controllers. 263-276 - Youngjin Kwon, Alan M. Dunn, Michael Z. Lee, Owen S. Hofmann, Yuanzhong Xu, Emmett Witchel
Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services. 277-290
Wild and Crazy Ideas
- Dan Tsafrir:
Synopsis of the ASPLOS '16 Wild and Crazy Ideas (WACI) Invited-Speakers Session. 291-294
Keynote Address II
- R. Stanley Williams:
Brain Inspired Computing. 295
Session 4A: Code Generation and Synthesis
- Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati:
Scaling up Superoptimization. 297-310 - Niranjan Hasabnis, R. Sekar:
Lifting Assembly to Intermediate Representation: A Novel Approach Leveraging Compilers. 311-324 - Saurav Muralidharan, Amit Roy, Mary W. Hall
Architecture-Adaptive Code Variant Tuning. 325-338
Session 6B: OS Optimizations
- Xiaofeng Lin, Yu Chen, Xiaodong Li, Junjie Mao, Jiaquan He, Wei Xu, Yuanchun Shi:
Scalable Kernel TCP Design and Implementation for Short-Lived Connections. 339-352 - Izzat El Hajj, Alexander Merritt, Gerd Zellweger
SpaceJMP: Programming with Multiple Virtual Address Spaces. 353-368 - Felix Xiaozhu Lin
memif: Towards Programming Heterogeneous Memory Asynchronously. 369-383
Session 5A: Emerging Memory Technologies
- Wook-Hee Kim, Jinwoong Kim, Woongki Baek, Beomseok Nam, Youjip Won:
NVWAL: Exploiting NVRAM in Write-Ahead Logging. 385-398 - Aasheesh Kolli, Steven Pelley, Ali G. Saidi, Peter M. Chen, Thomas F. Wenisch:
High-Performance Transactions for Persistent Memories. 399-411 - Qing Guo, Karin Strauss, Luis Ceze, Henrique S. Malvar:
High-Density Image Storage Using Approximate Memory Cells. 413-426 - Joseph Izraelevitz, Terence Kelly, Aasheesh Kolli:
Failure-Atomic Persistent Memory Updates via JUSTDO Logging. 427-442
Session 5B: Cloud Computing
- Jaeung Han, Seungheun Jeon, Young-ri Choi, Jaehyuk Huh:
Interference Management for Distributed Parallel Applications in Consolidated Clusters. 443-456 - Martin Maas, Krste Asanovic, Tim Harris, John Kubiatowicz:
Taurus: A Holistic Language Runtime System for Coordinating Distributed Managed-Language Applications. 457-471 - Christina Delimitrou, Christos Kozyrakis:
HCloud: Resource-Efficient Provisioning in Shared Cloud Systems. 473-488 - Xiao Yu, Pallavi Joshi, Jianwu Xu, Guoliang Jin, Hui Zhang, Guofei Jiang:
CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs. 489-502
Session 6A: Reliability and Debugging II
- Yonghwi Kwon, Dohyeong Kim, William N. Sumner
LDX: Causality Inference by Lightweight Dual Execution. 503-515 - Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, Shan Lu, Haryadi S. Gunawi:
TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems. 517-530 - Junjie Mao, Yu Chen, Qixue Xiao, Yuanchun Shi:
RID: Finding Reference Count Bugs with Inconsistent Path Pair Checking. 531-544
Session 4B: Energy and Thermal Management
- Huazhe Zhang, Henry Hoffmann:
Maximizing Performance Under a Power Cap: A Comparison of Hardware, Software, and Hybrid Techniques. 545-559 - Songchun Fan, Seyed Majid Zahedi, Benjamin C. Lee:
The Computational Sprinting Game. 561-575 - Alexei Colin, Graham Harvey, Brandon Lucia, Alanson P. Sample
An Energy-interference-free Hardware-Software Debugger for Intermittent Energy-harvesting Systems. 577-589
Debate
- Emmett Witchel
Programmer Productivity in a World of Mushy Interfaces: Challenges of the Post-ISA Reality. 591
Session 7A: Non-traditional Computer Systems
- Kevin Angstadt
RAPID Programming of Pattern-Recognition Processors. 593-605 - Xin Sui, Andrew Lenharth, Donald S. Fussell, Keshav Pingali:
Proactive Control of Approximate Programs. 607-621 - Jongse Park, Emmanuel Amaro, Divya Mahajan
AxGames: Towards Crowdsourcing Quality Target Determination in Approximate Computing. 623-636 - James Bornholt, Randolph Lopez, Douglas M. Carmean, Luis Ceze, Georg Seelig, Karin Strauss:
A DNA-Based Archival Storage System. 637-649
Session 7B: Heterogeneous Architectures and Accelerators II
- Raghu Prabhakar, David Koeplinger, Kevin J. Brown, HyoukJoong Lee, Christopher De Sa, Christos Kozyrakis, Kunle Olukotun:
Generating Configurable Hardware from Parallel Patterns. 651-665 - Li-Wen Chang
DySel: Lightweight Dynamic Selection for Kernel-based Data-parallel Programming Model. 667-680 - Quan Chen, Hailong Yang, Jason Mars, Lingjia Tang:
Baymax: QoS Awareness and Increased Utilization for Non-Preemptive Accelerators in Warehouse Scale Computers. 681-696 - Tony Nowatzki, Karthikeyan Sankaralingam:
Analyzing Behavior Specialized Acceleration. 697-711
Session 8A: Security II
- Man-Ki Yoon, Negin Salajegheh, Yin Chen, Mihai Christodorescu:
PIFT: Predictive Information-Flow Tracking. 713-725 - Ashish Venkat
HIPStR: Heterogeneous-ISA Program State Relocation. 727-741 - Zelalem Birhanu Aweke, Salessawi Ferede Yitbarek, Rui Qiao, Reetuparna Das
ANVIL: Software-Based Protection Against Next-Generation Rowhammer Attacks. 743-755
Session 8B: Transactional Memory
- Diego Didona, Nuno Diegues, Anne-Marie Kermarrec
ProteusTM: Abstraction Meets Performance in Transactional Memory. 757-771 - Noam Shalev, Eran Harpaz, Hagar Porat, Idit Keidar, Yaron Weinsberg:
CSR: Core Surprise Removal in Commodity Operating Systems. 773-787 - Tanmay Gangwani, Adam Morrison, Josep Torrellas:
CASPAR: Breaking Serialization in Lock-Free Multicore Synchronization. 789-804
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-04 21:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: