Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16
Latest Publications

TOTAL DOCUMENTS

55

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By ACM Press

9781450340922

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A high-performance parallel algorithm for nonnegative matrix factorization

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

10.1145/2851141.2851152 ◽

2016 ◽

Author(s):

Ramakrishnan Kannan ◽

Grey Ballard ◽

Haesun Park

Keyword(s):

Parallel Algorithm ◽

Matrix Factorization ◽

High Performance ◽

Nonnegative Matrix Factorization ◽

Nonnegative Matrix

Download Full-text

SPIRIT

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

10.1145/2851141.2851177 ◽

2016 ◽

Author(s):

Nikhil Hegde ◽

Jianqiao Liu ◽

Milind Kulkarni

Download Full-text

OPR

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

10.1145/2851141.2851179 ◽

2016 ◽

Author(s):

Xuehai Qian ◽

Koushik Sen ◽

Paul Hargrove ◽

Costin Iancu

Download Full-text

Tidex

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

10.1145/2851141.2851171 ◽

2016 ◽

Author(s):

Pedro Ramalhete ◽

Andreia Correia

Download Full-text

Verification of MPI Java programs using software model checking

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

10.1145/2851141.2851192 ◽

2016 ◽

Author(s):

Waqas Ur Rehman ◽

Muhammad Sohaib Ayub ◽

Junaid Haroon Siddiqui

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model ◽

Download Full-text

Keep calm and react with foresight

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

10.1145/2851141.2851148 ◽

2016 ◽

Author(s):

Tiziano De Matteis ◽

Gabriele Mencagli

Download Full-text

Causal consistency

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

10.1145/2851141.2851170 ◽

2016 ◽

Author(s):

Matthieu Perrin ◽

Achour Mostefaoui ◽

Claude Jard

Keyword(s):

Causal Consistency

Download Full-text

Multi-core on-the-fly SCC decomposition

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

10.1145/2851141.2851161 ◽

2016 ◽

Author(s):

Vincent Bloemen ◽

Alfons Laarman ◽

Jaco van de Pol

Download Full-text

Generic messages

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

10.1145/2851141.2851184 ◽

2016 ◽

Author(s):

Luca Salucci ◽

Daniele Bonetta ◽

Stefan Marr ◽

Walter Binder

Download Full-text

On ordering transaction commit

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

10.1145/2851141.2851191 ◽

2016 ◽

Author(s):

Mohamed M. Saad ◽

Roberto Palmieri ◽

Binoy Ravindran

Keyword(s):

Transaction Commit

Download Full-text