Reproduced ML/systems papers with artifacts
News: SOTA leaderboards,
portable benchmarking pipelines,
meta packages (code, data, models) and
R&D automation "actions"
from reproduced papers
List of reproduced papers
Now available at the CK platform - the open reproducibility platform! You can also find reproduced papers with portable workflows here.
Events:
- From 2020 please check our reproducibility initiatives and reproduced papers with portable workflows and reusable artifacts here.
- MLSys'20
- MLSys'19
- PPoPP'19
- ReQuEST-ASPLOS'18
- PPoPP'18
- CGO'18
- IA3 at SuperComputing'17
- CGO'17
- PACT'17
- PPoPP'17
- ADAPT'16
- PACT'16
- PPoPP'16
- CGO'16
- PPoPP'15
- CGO'15
- ADAPT'15
- GCC Summit'08 & GCC Summit'09 - our original attempt to create a public repository for code and data from published papers to let the community validate and compare experimental results. Since then we have been working on automation and standardization of this very complex process, and are very grateful to the community for their positive feedback and support!
Accepted artifacts for MLSys 2020
The list of accepted artifacts is available here.[ MLSys'20 reproducibility initiative ]
Accepted artifacts for MLSys 2019
We completed the first proof-of-concept evaluation of artifacts and partial validation of experimental results at the ML&system conference! Please, stay tuned for our report or catch us at MLSys'19 to discuss the outcome and next steps! We would like to thank GRID5000 for providing computational resources to validate several papers.[ MLSys'19 reproducibility initiative ] [ Index ]
| Paper | Artifact available | Artifact functional and reusable | Some results replicated | Automation |
|
1) AggregaThor: Byzantine Machine Learning Georgios Damaskinos, El Mahdi El Mhamdi, Rachid Guerraoui, Arsany Guirguis, Sebastien Rouault
|
 10.5281/zenodo.2548779 |
 |
✔GitHub |
 GitHub |
|
2) Optimizing DNN Computation with Relaxed Graph Substitutions Zhihao Jia, James Thomas, Todd Warszawski, Mingyu Gao, Matei Zaharia, Alex Aiken
|
10.5281/zenodo.2549853 |
|
✔ |
Script |
|
3) Learning kernels that adapt to GPUs Siyuan Ma, Mikhail Belkin
|
10.5281/zenodo.2574996 |
|
✔ |
Script |
|
4) Priority-based Parameter Propagation for Distributed DNN Training Anand Jayarajan, Jinliang Wei, Garth Gibson, Alexandra Fedorova, Gennady Pekhimenko
|
10.5281/zenodo.2549852 |
|
✔GitHub(open evaluation example) |
GitHub |
|
5) Beyond Data and Model Parallelism for Deep Neural Networks Zhihao Jia, Matei Zaharia, Alex Aiken
|
10.5281/zenodo.2549847 |
|
✔ |
Script |
Accepted artifacts for PPoPP 2019
PPoPP'19 has set a new record with artifacts evaluated for 20 out of the 29 accepted papers or ~70%, with a dramatic increase from ~30% for PPoPP’15![ PPoPP'19 reproducibility initiative ] [ Index ]
| Paper | Artifact available | Artifact functional | Artifact reusable | Results reproduced | Results replicated |
|
1) A Round-Efficient Distributed Betweenness Centrality Algorithm Loc Hoang, Matteo Pontecorvi, Roshan Dathathri, Gurbinder Gill, Bozhi You, Keshav Pingali, Vijaya Ramachandran
|
10.5281/zenodo.2399798 |
|
 |
||
|
2) A Pattern Based Algorithmic Autotuner for Graph Processing on GPUs Ke meng, Jiajia Li, Guangming Tan, Ninghui Sun
|
10.5281/zenodo.149090 |
|
|
||
|
3) Transitive Joins: A Sound and Efficient Online Deadlock-Avoidance Policy Caleb Voss, Tiago Cogumbreiro, Vivek Sarkar
|
 |
|
|||
|
4) Encapsulated Open Nesting for STM: Fine-Grained Higher-Level Conflict Detection Martin Bättig, Thomas Gross
|
|
|
|||
|
5) Reliable Group Communication using Corrected Trees Martin Küttler, Maksym Planeta, Jan Bierbaum, Carsten Weinhold, Hermann Härtig, Amnon Barak, Torsten Hoefler
|
10.5281/zenodo.1493446 |
|
|
||
|
6) Proactive Work Stealing for Futures Kyle Singer, Yifan Xu, I-Ting Angelina Lee
|
10.5281/zenodo.2227457 |
|
|
||
|
7) Semantics-Aware Scheduling Policies for Synchronization Determinism Qi Zhao, Zhengyi Qiu, Guoliang Jin
|
10.1145/3300171 |
|
|
||
|
8) Adaptive Sparse Matrix-Matrix Multiplication on the GPU Martin Winter, Daniel Mlakar, Rhaleb Zayer, Hans-Peter Seidel, Markus Steinberger
|
10.1145/3300172 |
|
|
||
|
9) Incremental Flattening for Nested Data Parallelism Troels Henriksen, Frederik Thorøe, Martin Elsman, Cosmin E. Oancea
|
10.1145/3300173 |
|
|
||
|
10) Beyond Human-Level Accuracy: Computational Challenges in Deep Learning Joel Hestness, Newsha Ardalani, Gregory Diamos
|
10.5281/zenodo.2259280 |
|
|
||
|
11) QTLS: High-Performance TLS Asynchronous Offload Framework with Intel QuickAssist Technology Xiaokang Hu, Changzheng Wei, Jian Li, Brian Will, Ping Yu, Lu Gong, Haibing Guan
|
10.5281/zenodo.2008661 |
|
|
||
|
12) Checking Linearizability Using Hitting Families Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic
|
10.5281/zenodo.1890165 |
|
|
||
|
13) Efficient Race Detection with Futures Robert Utterback, Kunal Agrawal, Jeremy Fineman, I-Ting Angelina Lee
|
10.5281/zenodo.2510564 |
|
|
||
|
14) Provably and Practically Efficient Granularity Control Umut A. Acar, Vitaly Aksenov, Arthur Chargueraud, Mike Rainey
|
|
|
|||
|
15) Leveraging Hardware TM in Haskell Ryan Yates, Michael Scott
|
10.5281/zenodo.1998472 |
|
|
||
|
16) Stretching the capacity of Hardware Transactional Memory in IBM POWER architectures Ricardo Filipe, Shady Issa, Paolo Romano, João Barreto
|
10.6084/m9.figshare.7378496.v2 |
|
|
||
|
17) SEP-Graph: Finding Shortest Execution Paths for Graph Processing under a Hybrid Framework on GPU Hao Wang, Liang Geng, Rubao Lee, Kaixi Hou, Yanfeng Zhang, Xiaodong Zhang
|
10.5281/zenodo.2008653 10.5281/zenodo.2008655 |
|
|
||
|
18) A Coordinated Tiling and Batching Framework for Efficient GEMM on GPUs Xiuhong Li, Yun Liang, Shengen Yan, Liancheng Jia, Yinghan Li
|
10.1145/3300174 |
|
|
||
|
19) Lightweight Hardware Transactional Memory Profiling Qingsen Wang, Pengfei Su, Milind Chabbi, Xu Liu
|
10.1145/3300175 |
|
|
||
|
20) Adaptive Sparse Tiling for Sparse Matrix Multiplication Changwan Hong, Aravind Sukumaran-Rajam, Israt Nisa, Kunal Singh, P. Sadayappan
|
|
|
Accepted artifacts for ReQuEST-ASPLOS'18
[ ReQuEST-ASPLOS'18 reproducibility initiative ] [ Index ]
| Paper | Artifact available | Artifact functional | Artifact reusable | Results reproduced | Results replicated |
|
Highly Efficient 8-bit Low Precision Inference of Convolutional Neural Networks with IntelCaffe Jiong Gong, Haihao Shen, Guoming Zhang, Xiaoli Liu, Shane Li, Ge Jin, Niharika Maheshwari, Evarist Fomenko, Eden Segal [ Paper DOI ] [ Artifact DOI ] [ Original artifact ] [ CK workflow ] [ CK results ] |
|
|
|
||
|
Optimizing Deep Learning Workloads on ARM GPU with TVM Lianmin Zheng, Tianqi Chen [ Paper DOI ] [ Artifact DOI ] [ Original artifact ] [ CK workflow ] [ CK results ] |
|
|
|
||
|
Real-Time Image Recognition Using Collaborative IoT Devices Ramyad Hadidi, Jiashen Cao, Matthew Woodward, Michael S. Ryoo, Hyesoon Kim [ Paper DOI ] [ Artifact DOI ] [ Original artifact ] [ CK workflow ] [ CK results ] |
|
|
|
||
|
Leveraging the VTA-TVM Hardware-Software Stack for FPGA Acceleration of 8-bit ResNet-18 Inference Thierry Moreau [ Paper DOI ] [ Artifact DOI ] [ Original artifact ] [ CK workflow ] [ CK results ] |
|
|
|||
|
Multi-objective autotuning of MobileNets across the full software/hardware stack Anton Lokhmotov, Nikolay Chunosov, Flavio Vella, Grigori Fursin [ Paper DOI ] [ Artifact DOI ] [ CK workflow ] [ CK results ] |
|
|
|
Accepted artifacts for PPoPP 2018
[ PPoPP'18 reproducibility initiative ] [ Index ]This year we successfully validated the new ACM Artifact Review and Badging policy which we co-authored last year. However, we also noticed that "reusability/customization" criteria in the new guidelines are quite vague and caused ambiguity in evaluation of several complex artifacts. We would like to discuss this issue further with the community and develop more precise guidelines for next artifact evaluation. In the mean time, since our philosophy of artifact evaluation is that it is a cooperative process between authors and reviewers to overcome technical issues together, we helped all authors improve artifacts and pass evaluation.
| Paper | Artifact available | Artifact functional | Artifact reusable | Results replicated |
|
Optimizing N-Dimensional, Winograd-Based Convolution for Manycore CPUs Zhen Jia, Aleksandar Zlateski, Frédo Durand and Kai Li |
Artifact (10.6084/m9.figshare.5873868) |
|
|
|
|
PAM: Parallel Augmented Maps Yihan Sun, Daniel Ferizovic and Guy Blelloch |
Artifact (10.5281/zenodo.1168703) |
|
|
|
|
An Effective Fusion and Tile Size Model for Optimizing Image Processing Pipelines Abhinav Jangda and Uday Bondhugula |
Artifact (10.5281/zenodo.1168539) |
|
|
|
|
Cache-Tries: Concurrent Lock-Free Hash Tries with Constant-Time Operations Aleksandar Prokopec |
Artifact (10.5281/zenodo.1168402) |
|
|
|
|
swSpTRSV: a Fast Sparse Triangular Solve with Sparse Level Tile Layout on Sunway Architectures Xinliang Wang, Weifeng Liu, Wei Xue and Li Wu |
Artifact (10.5281/zenodo.1168762) |
|
|
|
|
VerifiedFT: A Verified, High-Performance Dynamic Race Detector James Wilcox, Cormac Flanagan and Stephen Freund |
Artifact (10.5281/zenodo.1171046) |
|
|
|
|
Juggler: A Dependency-Aware Task Based Execution Framework for GPUs Mehmet Belviranli, Seyong Lee, Jeff Vetter and Laxmi Bhuyan |
Artifact (10.5281/zenodo.1168558) |
|
|
|
|
Bridging the Gap between Deep Learning and Sparse Matrix Format Selection Yue Zhao, Jiajia Li, Chunhua Liao and Xipeng Shen |
Artifact (10.6084/m9.figshare.5873868) |
|
|
|
|
Harnessing Epoch-based Reclamation for Efficient Range Queries Maya Arbel and Trevor Brown |
Artifact (10.5281/zenodo.1168726) |
|
|
|
|
Register Optimizations for Stencils on GPUs Prashant Rawat, Aravind Sukumaran-Rajam, Atanas Rountev, Fabrice Rastello, Louis-Noel Pouchet and P. Sadayappan |
Artifact (10.5281/zenodo.1168498) |
|
|
|
|
Making Pull-Based Graph Processing Performant Samuel Grossman, Heiner Litz and Christos Kozyrakis |
Artifact (10.5281/zenodo.1169388) |
|
|
|
|
Interval-Based Memory Reclamation Haosen Wen, Joseph Izraelevitz, Wentao Cai, H. Alan Beadle and Michael L. Scott |
Artifact (10.5281/zenodo.1168572) |
|
|
|
|
Efficient Parallel Race Detection for Two-Dimensional Dags Yifan Xu, Kunal Agrawal and I-Ting Angelina Lee |
Artifact (10.5281/zenodo.1169390) |
|
|
|
|
Featherlight On-the-fly False-sharing Detection Milind Chabbi, Shasha Wen and Xu Liu |
Artifacts: 1, 2, 3, 4, 5 (10.5281/zenodo.1168535) (10.5281/zenodo.1168520) (10.5281/zenodo.1168529) (10.5281/zenodo.1168533) (10.5281/zenodo.1168526) |
|
|
|
|
Communication-Avoiding Minimum Cuts and Connected Components Pavel Kalvoda, Lukas Gianinazzi, Alessandro De Palma, Maciej Besta and Torsten Hoefler |
Artifact (10.5281/zenodo.1169439) |
Accepted artifacts for CGO 2018
[ CGO'18 reproducibility initiative ] [ Index ]This year we successfully validated the new ACM Artifact Review and Badging policy which we co-authored last year.
| Paper | Artifact available | Artifact functional | Artifact reusable | Results replicated |
|
Poker: Permutation-based SIMD Execution of Intensive Tree Search by Path Encoding F. Zhang, J. Xue |
|
|
|
|
|
Optimal DNN Primitive Selection with Partitioned Boolean Quadratic Programming A. Anderson, D. Gregg |
|
|
|
|
|
May-Happen-in-Parallel Analysis with Static Vector Clocks Q. Zhou, L. Li, L. Wang, J. Xue, X. Feng |
|
|
|
|
|
SIMD Intrinsics on Managed Language Runtimes Alen Stojanov, Ivaylo Toskov, Tiark Rompf, and Markus Püschel |
|
|
|
|
|
DeLICM: Scalar Memory Dependence Removal at Zero Memory Cost M. Kruse, T. Grosser |
|
|
|
|
|
CVR: Efficient SpMV Vectorization on X86 Processors B. Xie, J. Zhan, X. Liu, Z. Jia, W. Gao, L. Zhang |
|
|
|
|
|
Lightweight Detection of Cache Conflicts P. Roy, S. Song, S. Krishnamoorthy, X. Liu |
|
|
|
|
|
Synthesizing Instruction Selection S. Buchwald, A. Fried, S. Hack |
|
|
|
|
|
Qubit Allocation M. Siraichi, V. Santos, S. Collange, F. Pereira |
|
|
|
|
|
High Performance Stencil Code Generation with LIFT B. Hagedorn, L. Stoltzfus, M. Steuwer, S. Gorlatch, C. Dubach |
|
|
|
|
|
Conflict-free Vectorization of Associative Irregular Applications with Recent SIMD Architectural Advances P. Jiang, G. Agrawal |
|
|
|
|
|
nAdroid: Statically Detecting Ordering Violations in Android Applications X. Fu, D. Lee, C. Jung |
|
|
|
|
|
CUDAAdvisor: LLVM-based Runtime Profiling for Modern GPUs D. Shen, S. Song, A. Li, X. Liu |
|
|
|
|
|
Enabling Enclave Code Secrecy via Self-Modification E. Bauman, H. Wang, M. Zhang, Z. Lin |
|
|
|
A Compiler for Cyber-Physical Digital Microfluidic Biochips Christopher Curtis, Daniel Grissom, Philip Brisk We also encourage sharing of artifacts via ACM DL even if they were not submitted for evaluation due to lack of time, etc. However, we now collaborate with ACM to develop common formats and API for such artifacts. |
|
Accepted artifacts for IA3 at SuperComputing 2017
[ Event website ] [ Index ]
-
Optimizing Word2Vec Performance on Multicore Systems (dividiti award for portable and reusable experimental workflow implemented using Collective Knowledge Framework)
Vasudevan Rengasamy, Tao-Yang Fu, Wang-Chien Lee and Kamesh Madduri
[ GitHub ]
Accepted artifacts for CGO 2017
[ Event website ] [ Index ]
This year we successfully tried an "open reviewing model" with a few artifacts, when we asked the community to publicly evaluate several artifacts already available at GitHub, GitLab and other project hosting services. This allowed us to find external reviewers who had access to very rare HPC servers or proprietary benchmarks and tools. We also allowed authors of the accepted artifacts to add up to 2 pages of Artifact Appendix to their camera-ready paper and let readers better understand what was evaluated and how.
-
Software Prefetching for Indirect Memory Accesses (dividiti award for distinguished artifact implemented using Collective Knowledge Framework)
Sam Ainsworth and Timothy M. Jones
Example of a reusable and customizable artifact with automatic cross-platform software installation and web-based experimental dashboard powered by CK framework: [GitHub , Paper with AE appendix and CK workflow , PDF snapshot of the interactive CK dashboard , CK concepts ]
Example of a public evaluation: [GitHub discussion]
-
FinePar: Irregularity-Aware Fine-Grained Workload Partitioning on Integrated Architectures
Feng Zhang, Bo Wu, Jidong Zhai, Bingsheng He, Wenguang Chen and Feng Zhang -
TwinKernels: An Execution Model to Improve GPU Hardware Scheduling at Compile Time
Xiang Gong, Zhongliang Chen, Amir Ziabari, Rafael Ubal and David Kaeli -
Optimistic Loop Optimization
Johannes Doerfert, Tobias Grosser and Sebastian Hack
Example of a public evaluation (with proprietary benchmark): [GitHub discussions] -
Pointer Disambiguation via Strict Inequalities
Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord and Fernando Pereira -
Taming Warp Divergence
Jayvant Anantpur and R Govindarajan -
Lift: A Functional Data-Parallel IR for High-Performance GPU Code Generation
Michel Steuwer, Toomas Remmelg and Christophe Dubach
Example of a public evaluation (with a bug fix): GitLab discussions
Example of a paper with AE Appendix and a stamp: PDF
CK workflow for this artifact: GitHub
CK concepts: blog -
Legato: End-to-End Bounded Region Serializability Using Commodity Hardware Transactional Memory
Aritra Sengupta, Man Cao, Michael D. Bond and Milind Kulkarni -
Clairvoyance: Look-Ahead Compile-time Scheduling
Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras and Alexandra Jimborean -
Synthesizing Benchmarks for Predictive Modeling
Chris Cummins, Pavlos Petoumenos, Zheng Wang and Hugh Leather -
Cross-ISA Machine Emulation for Multicores
Emilio Cota, Paolo Bonzini, Alex Bennée and Luca Carloni -
A Space- and Energy-Efficient Code Compression/Decompression Technique for Coarse-Grained Reconfigurable Architectures
Bernhard Egger, Hochan Lee, Duseok Kang, Mansureh S. Moghaddam, Youngchul Cho, Yeonbok Lee, Sukjin Kim, Soonhoi Ha and Kiyoung Choi -
Automatic Generation of Fast BLAS3-GEMM: A Portable Compiler Approach
Xing Su, Jingling Xue and Xiangke Liao
Accepted artifacts for PACT 2017
[ Event website ]
-
SuperGraph-SLP Auto-Vectorization
Vasileios Porpodas
-
End-to-end Deep Learning of Optimization Heuristics
Chris Cummins, Pavlos Petoumenos, Zheng Wang, and Hugh Leather
-
RCU-HTM: Combining RCU with HTM to Implement Highly Efficient Concurrent Binary Search Trees
Dimitrios Siakavaras, Konstantinos Nikas, Georgios Goumas, and Nectarios Koziris
-
Graphie: Large-Scale Asynchronous Graph Traversals on Just a GPU
Wei Han, Daniel Mawhirter, Bo Wu, and Matthew Buland
-
MultiGraph: Efficient Graph Processing on GPUs
Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, P. Sadayappan
Accepted artifacts for PPoPP 2017
[ Event website ]
This year we successfully tried an "open reviewing model" with a few artifacts, when we asked the community to publicly evaluate several artifacts already available at GitHub, GitLab and other project hosting services. This allowed us to find external reviewers who had access to very rare HPC servers or proprietary benchmarks and tools. We also allowed authors of the accepted artifacts to add up to 2 pages of Artifact Appendix to their camera-ready paper and let readers better understand what was evaluated and how.
-
Understanding the GPU Microarchitecture to Achieve Bare-Metal Performance Tuning (NVIDIA distinguished artifact award)
Xiuxia Zhang, Guangming Tan, Shuangbai Xue, Jiajia Li and Mingyu Chen -
Checking Concurrent Data Structures Under the C/C++11 Memory Model
Peizhao Ou and Brian Demsky -
Combining SIMD and Many/Multi-core Parallelism for Finite State Machines with Enumerative Speculation
Peng Jiang and Gagan Agrawal -
Groute: An Asynchronous Multi-GPU Programming Model for Irregular Computations
Tal Ben-Nun, Michael Sutton, Sreepathi Pai and Keshav Pingali -
Self-Checkpoint: An In-Memory Checkpoint Method Using Less Space and its Practice on Fault-Tolerant HPL
Xiongchao Tang, Jidong Zhai, Bowen Yu, Wenguang Chen and Weimin Zheng
Example of a public evaluation via HPC and supercomputer mailing lists (with an acess to rare servers): [GitHub discussions] -
Provably Efficient Low Contention Non-Blocking Data Structures for Parallel Computation
Umut Acar, Naama Ben-David and Mike Rainey -
Synchronized-by-Default Concurrency for Shared Memory Systems
Martin Bättig and Thomas Gross -
Layout Lock: A Scalable Locking Paradigm for Concurrent Data Layout Modifications
Nacshon Cohen, Arie Tal and Erez Petrank -
Processor-Oblivious Record and Replay
Robert Utterback, Kunal Agrawal, I-Ting Angelina Lee and Milind Kulkarni -
Eunomia: A Scalable, Contention-Conscious HTM-Friendly B+Tree
Xin Wang, Weihua Zhang, Zhaoguo Wang, Ziyun Wei, Haibo Chen and Wenyun Zhao -
Pagoda: Fine-Grained GPU Resource Virtualization for Narrow Tasks
Tsung Tai Yeh, Amit Sabne, Putt Sakdhnagool, Rudolf Eigenmann and Timothy Rogers -
Sequential Consistency in Languages That Minimize Mutable Shared Heap
Ryan Newton, Ryan Scott, Michael Vollmer and Madan Musuvathi -
Tapir: Embedding Fork-Join Parallelism into LLVM’s Intermediate Representation
Tao B. Schardl, William S. Moses and Charles E. Leiserson -
Function Call Re-Vectorization
Rubens Emilio Alves Moreira, Sylvain Collange and Fernando Magno Quintão Pereira
Accepted artifacts for ADAPT 2016
Note that all artifacts have been openly validated and discussed by the community via Reddit and shared in the unified and reusable CK format!
[ Event website ]
[ Index ]
-
GEMMbench: a framework for reproducible and collaborative benchmarking of matrix multiplication
Anton Lokhmotov
[ Open reviewing at Reddit , ArXiv , Shared experiment workflow as reusable CK artifact ] -
Integrating a large-scale testing campaign in the CK framework
(highest ranked artifact)
Andrei Lascu, Alastair F. Donaldson
[ Open reviewing at Reddit , ArXiv , Shared experiment workflow as reusable CK artifact ]
Accepted artifacts for PACT 2016
[ Event website ] [ Index ]
-
Fusion of Parallel Array Operations
(highest ranked artifact)
Mads R. B. Kristensen, James Avery, Simon Andreas Frimann Lund and Troels Blum -
Auto-tuning Spark Big Data Workloads on POWER8: Prediction-Based Dynamic SMT Threading
Zhen Jia, Chao Xue and Jianfeng Zhan -
Integrating algorithmic parameters into benchmarking and design space exploration in dense 3D scene understanding
Bruno Bodin, Luigi Nardi, M Zeeshan Zia, Harry Wagstaff, Govind Sreekar Shenoy, Murali Emani, John Mawer, Christos Kotselidis, Andy Nisbet, Mikel Lujan, Björn Franke, Paul Kelly and Michael O'Boyle
[ Can be reproduced via Collective Knowledge Framework with online interactive graphs ] -
Sparso: Context-driven Optimizations of Sparse Linear Algebra
Hongbo Rong, Jongsoo Park, Lingxiang Xiang, Todd Anderson and Mikhail Smelyanskiy -
Online Scalability Characterization of Data-Parallel Programs on Many Cores
Younghyun Cho, Surim Oh and Bernhard Egger
Accepted artifacts for PPoPP 2016
[ Event website ]
-
Optimistic Concurrency with OPTIK
Rachid Guerraoui and Vasileios Trigonakis -
Drinking from Both Glasses: Combining Pessimistic and Optimistic Tracking of Cross-Thread Dependences
Man Cao, Minjia Zhang, Aritra Sengupta and Michael Bond -
Keep Calm and React with Foresight: Strategies for Low-Latency and Energy-Efficient Elastic Data Stream Processing
Tiziano De Matteis and Gabriele Mencagli -
Be My Guest - MCS Lock Now Welcomes Guests
Tianzheng Wang, Milind M. Chabbi and Hideaki Kimura -
A Wait-free Queue as Fast as Fetch-and-Add
(highest ranked artifact - award by dividiti)
Chaoran Yang and John Mellor-Crummey -
Multi-Core On-The-Fly SCC Decomposition
Vincent Bloemen, Alfons Laarman and Jaco van de Pol -
Production-guided Concurrency Debugging
Nuno Machado, Luis Rodrigues and Brandon Lucia -
Declarative coordination of graph-based parallel programs
Flavio Cruz, Ricardo Rocha and Seth Goldstein -
The Virtues of Conflict: Analysing Modern Concurrency
Ganesh Narayanaswamy, Saurabh Joshi and Daniel Kroening -
DomLock: A New Multi-Granularity Locking Technique for Hierarchies
Saurabh Kalikar and Rupesh Nasre -
AUTOGEN : Automatic Discovery of Cache-Oblivious Parallel Recursive Algorithms for Solving Dynamic Programs
Charles Bachmeier, Rezaul Chowdhury, Pramod Ganapathi, Charles Leiserson, Armando Solar-Lezama, Yuan Tang and Jesmin Jahan Tithi -
Gunrock: A High-Performance Graph Processing Library on the GPU
Yangzihao Wang, Andrew Davidson, Yuechao Pan, Yuduo Wu, Andy Riffel and John Owens
Accepted artifacts for CGO 2016
[ Event website ]
-
Sparse Flow-Sensitive Pointer Analysis for Multithreaded C Programs
Yulei Sui, Peng Di and Jingling Xue -
Trace-based Affine Reconstruction of Codes
Gabriel Rodriguez, Jose M. Andion, Mahmut Kandemir and Juan Tourino -
Exploiting Mixed SIMD Parallelism by Reducing Data Reorganization Overhead
Hao Zhou and Jingling Xue -
Validating Optimizations of Concurrent C/C++ Programs
Soham Chakraborty and Viktor Vafeiadis -
Atomicity Violation Checker for Task Parallel Programs
Adarsh Yoga and Santosh Nagarakatte -
A Basic Linear Algebra Compiler for Structured Matrices
(highest ranked artifact - award by the cTuning foundation)
Daniele G. Spampinato and Markus Puschel -
BlackBox: Lightweight Security Monitoring for COTS Binaries
Byron Hawkins, Brian Demsky and Michael Taylor -
Exploiting Recent SIMD Architectural Advances for Irregular Applications
Linchuan Chen, Peng Jiang and Gagan Agrawal -
Range Analysis of Pointers
Vitor Paisante and Fernando Pereira -
Flexible On-Stack Replacement in LLVM
Daniele Cono D'Elia and Camil Demetrescu -
Inference of Peak Density of Indirect Branches to Detect ROP Attacks
Mateus Felipe Tymburiba Ferreira, Rubens Emilio Alves Moreira and Fernando Magno Quintao Pereira
Accepted artifacts for PPoPP 2015
[ Сonference website ]
-
NUMA-aware Graph-structured Analytics
Kaiyuan Zhang, Rong Chen and Haibo Chen -
Predicate RCU: An RCU for Scalable Concurrent Updates
Maya Arbel and Adam Morrison -
Scalable and Efficient Implementation of 3D Unstructured Meshes Computation: A Case Study on Matrix Assembly
Loïc Thébault, Eric Petit and Quang Dinh -
VirtCL: A Framework for OpenCL Device Abstraction and Management
Yi-Ping You, Hen-Jung Wu, Yeh-Ning Tsai and Yen-Ting Chao -
Dynamic deadlock verification for general barrier synchronisation
Tiago Cogumbreiro, Raymond Hu, Francisco Martins and Nobuko Yoshida -
Low-Overhead Software Transactional Memory with Progress Guarantees and Strong Semantics
Minjia Zhang, Jipeng Huang, Man Cao and Michael Bond -
The SprayList: A Scalable Relaxed Priority Queue
(highest ranked artifact - award by Nvidia)
Justin Kopinsky, Dan Alistarh, Jerry Li and Nir Shavit -
Performance Implications of Dynamic Memory Allocators on Transactional Memory Systems
Alexandro Baldassin, Edson Borin and Guido Araujo -
More than You Ever Wanted to Know about Synchronization
Vincent Gramoli -
Cache-Oblivious Wavefront: Improving Parallelism of Recursive DP Algorithms without Losing Cache-efficiency
Yuan Tang, Ronghui You, Haibin Kan, Jesmin Tithi, Pramod Ganapathi and Rezaul Chowdhury
Accepted artifacts for CGO 2015
[ Сonference website ]
-
Locality-Centric Thread Scheduling for Bulk-synchronous Programming Models on CPU Architectures
Hee-Seok Kim, Izzat El Hajj, John Stratton, Steven Lumetta and Wen-Mei Hwu -
MemorySanitizer: fast detector of uninitialized memory use in C++
Evgeniy Stepanov and Konstantin Serebryany -
A Parallel Abstract Interpreter for JavaScript
Kyle Dewey, Vineeth Kashyap and Ben Hardekopf -
A Graph-Based Higher-Order Intermediate Representation
(highest ranked artifact - award by the cTuning foundation)
Roland Leißa, Marcel Köster and Sebastian Hack -
Optimizing the flash-RAM energy trade-off in deeply embedded systems
James Pallister, Kerstin Eder and Simon J. Hollis -
Scalable Conditional Induction Variable (CIV) Analysis
Cosmin E. Oancea and Lawrence Rauchwerger
 Powered by Collective Knowledge |
|
|
 |
 |
 |
 |