Pub Date : 2015-09-09DOI: 10.1007/978-3-319-29778-1_1
S. C. Koduru, Rajiv Gupta, Iulian Neamtiu
{"title":"Size Oblivious Programming with InfiniMem","authors":"S. C. Koduru, Rajiv Gupta, Iulian Neamtiu","doi":"10.1007/978-3-319-29778-1_1","DOIUrl":"https://doi.org/10.1007/978-3-319-29778-1_1","url":null,"abstract":"","PeriodicalId":346969,"journal":{"name":"International Workshop on Languages and Compilers for Parallel Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134071549","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-09-09DOI: 10.1007/978-3-319-29778-1_4
A. Sbîrlea, J. Shirako, L. Pouchet, Vivek Sarkar
{"title":"Polyhedral Optimizations for a Data-Flow Graph Language","authors":"A. Sbîrlea, J. Shirako, L. Pouchet, Vivek Sarkar","doi":"10.1007/978-3-319-29778-1_4","DOIUrl":"https://doi.org/10.1007/978-3-319-29778-1_4","url":null,"abstract":"","PeriodicalId":346969,"journal":{"name":"International Workshop on Languages and Compilers for Parallel Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124779541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-09-09DOI: 10.1007/978-3-319-29778-1_3
Konstantinos Sagonas, Kjell Winblad
{"title":"Efficient Support for Range Queries and Range Updates Using Contention Adapting Search Trees","authors":"Konstantinos Sagonas, Kjell Winblad","doi":"10.1007/978-3-319-29778-1_3","DOIUrl":"https://doi.org/10.1007/978-3-319-29778-1_3","url":null,"abstract":"","PeriodicalId":346969,"journal":{"name":"International Workshop on Languages and Compilers for Parallel Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126510677","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-09-09DOI: 10.1007/978-3-319-29778-1_19
Adrien Cassagne, B. Gal, Camille Leroux, Olivier Aumage, Denis Barthou
{"title":"An Efficient, Portable and Generic Library for Successive Cancellation Decoding of Polar Codes","authors":"Adrien Cassagne, B. Gal, Camille Leroux, Olivier Aumage, Denis Barthou","doi":"10.1007/978-3-319-29778-1_19","DOIUrl":"https://doi.org/10.1007/978-3-319-29778-1_19","url":null,"abstract":"","PeriodicalId":346969,"journal":{"name":"International Workshop on Languages and Compilers for Parallel Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131569434","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-09-09DOI: 10.1007/978-3-319-29778-1_13
N. Mahajan, Eric Holk, A. Chauhan, A. Lumsdaine
{"title":"An Embedded DSL for High Performance Declarative Communication with Correctness Guarantees in C++","authors":"N. Mahajan, Eric Holk, A. Chauhan, A. Lumsdaine","doi":"10.1007/978-3-319-29778-1_13","DOIUrl":"https://doi.org/10.1007/978-3-319-29778-1_13","url":null,"abstract":"","PeriodicalId":346969,"journal":{"name":"International Workshop on Languages and Compilers for Parallel Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122092234","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-09-09DOI: 10.1007/978-3-319-29778-1_7
Ioannis Papadopoulos, Nathan L. Thomas, Adam Fidel, Dielli Hoxha, N. Amato, Lawrence Rauchwerger
{"title":"Asynchronous Nested Parallelism for Dynamic Applications in Distributed Memory","authors":"Ioannis Papadopoulos, Nathan L. Thomas, Adam Fidel, Dielli Hoxha, N. Amato, Lawrence Rauchwerger","doi":"10.1007/978-3-319-29778-1_7","DOIUrl":"https://doi.org/10.1007/978-3-319-29778-1_7","url":null,"abstract":"","PeriodicalId":346969,"journal":{"name":"International Workshop on Languages and Compilers for Parallel Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129898938","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-09-09DOI: 10.1007/978-3-319-29778-1_8
Dan Umeda, Takahiro Suzuki, Hiroki Mikami, K. Kimura, H. Kasahara
{"title":"Multigrain Parallelization for Model-Based Design Applications Using the OSCAR Compiler","authors":"Dan Umeda, Takahiro Suzuki, Hiroki Mikami, K. Kimura, H. Kasahara","doi":"10.1007/978-3-319-29778-1_8","DOIUrl":"https://doi.org/10.1007/978-3-319-29778-1_8","url":null,"abstract":"","PeriodicalId":346969,"journal":{"name":"International Workshop on Languages and Compilers for Parallel Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121064670","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-09-09DOI: 10.1007/978-3-319-29778-1_17
Wei-Fan Chiang, G. Gopalakrishnan, Zvonimir Rakamaric
{"title":"Practical Floating-Point Divergence Detection","authors":"Wei-Fan Chiang, G. Gopalakrishnan, Zvonimir Rakamaric","doi":"10.1007/978-3-319-29778-1_17","DOIUrl":"https://doi.org/10.1007/978-3-319-29778-1_17","url":null,"abstract":"","PeriodicalId":346969,"journal":{"name":"International Workshop on Languages and Compilers for Parallel Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126656478","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-09-09DOI: 10.1007/978-3-319-29778-1_18
Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang
{"title":"SMT Solving for the Theory of Ordering Constraints","authors":"Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang","doi":"10.1007/978-3-319-29778-1_18","DOIUrl":"https://doi.org/10.1007/978-3-319-29778-1_18","url":null,"abstract":"","PeriodicalId":346969,"journal":{"name":"International Workshop on Languages and Compilers for Parallel Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115643625","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2015-09-09DOI: 10.1007/978-3-319-29778-1_16
Aleksandar Prokopec, Martin Odersky
{"title":"Conc-Trees for Functional and Parallel Programming","authors":"Aleksandar Prokopec, Martin Odersky","doi":"10.1007/978-3-319-29778-1_16","DOIUrl":"https://doi.org/10.1007/978-3-319-29778-1_16","url":null,"abstract":"","PeriodicalId":346969,"journal":{"name":"International Workshop on Languages and Compilers for Parallel Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131676067","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}