default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDASPLOS 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, Albert Cabellos-Aparicio, Eduard Alarcón, Josep Torrellas:
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, Razya Ladelsky, Abel Gordon, Dan Tsafrir:
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, Dawson R. Engler:
How to Build Static Checking Systems Using Orders of Magnitude Less Code. 143-157 - Tong Zhang, Dongyoon Lee, Changhee Jung:
TxRace: Efficient Data Race Detection Using Commodity Hardware Transactional Memory. 159-173 - Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser:
CoGENT: Verifying High-Assurance File System Implementations. 175-188
Session 3A: Heterogeneous Architectures and Accelerators I
- Nils Asmussen, Marcus Völp, Benedikt Nöthen, Hermann Härtig, Gerhard P. Fettweis:
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, Adi Fuchs, Samuel Payne, Xiaohua Liang, Matthew Matl, David Wentzlaff:
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, Michael Garland, Piyush Rai:
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, Dejan S. Milojicic, Reto Achermann, Paolo Faraboschi, Wen-mei W. Hwu, Timothy Roscoe, Karsten Schwan:
SpaceJMP: Programming with Multiple Virtual Address Spaces. 353-368 - Felix Xiaozhu Lin, Xu Liu:
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, Kyungtae Kim, Brendan Saltaformaggio, Xiangyu Zhang, Dongyan Xu:
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, Westley Weimer, Kevin Skadron:
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, Bradley Thwaites, Hadi Esmaeilzadeh:
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, Hee-Seok Kim, Wen-mei W. Hwu:
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, Sriskanda Shamasunder, Hovav Shacham, Dean M. Tullsen:
HIPStR: Heterogeneous-ISA Program State Relocation. 727-741 - Zelalem Birhanu Aweke, Salessawi Ferede Yitbarek, Rui Qiao, Reetuparna Das, Matthew Hicks, Yossi Oren, Todd M. Austin:
ANVIL: Software-Based Protection Against Next-Generation Rowhammer Attacks. 743-755
Session 8B: Transactional Memory
- Diego Didona, Nuno Diegues, Anne-Marie Kermarrec, Rachid Guerraoui, Ricardo Neves, Paolo Romano:
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 2024-11-15 19:20 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:
