Speculative program parallelization with scalable and decentralized runtime verification

被引：5
|
作者：
Sukumaran-Rajam, Aravind [1 ]
Caamaño, Juan Manuel Martinez [1 ]
Wolff, Willy [1 ]
Jimborean, Alexandra [2 ]
Clauss, Philippe [1 ]
机构：
[1] INRIA, Team CAMUS, ICube Lab, CNRS, University of Strasbourg, France
[2] Department of Information Technology, Uppsala University, Sweden
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8734卷
关键词：
Verification;
D O I：
10.1007/978-3-319-11164-3_11
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：124 / 139
相关论文
共 50 条
  • [1] Speculative Program Parallelization with Scalable and Decentralized Runtime Verification
    Sukumaran-Rajam, Aravind
    Caamano, Juan Manuel Martinez
    Wolff, Willy
    Jimborean, Alexandra
    Clauss, Philippe
    RUNTIME VERIFICATION, RV 2014, 2014, 8734 : 124 - 139
  • [2] Runtime Automatic Speculative Parallelization
    Hertzberg, Ben
    Olukotun, Kunle
    2011 9TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2011, : 64 - 73
  • [3] Optimizing Software Runtime Systems for Speculative Parallelization
    Yiapanis, Paraskevas
    Rosas-Ham, Demian
    Brown, Gavin
    Lujan, Mikel
    ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2013, 9 (04)
  • [4] New Data Structures to Handle Speculative Parallelization at Runtime
    Alvaro Estebanez
    Diego R. Llanos
    Arturo Gonzalez-Escribano
    International Journal of Parallel Programming, 2016, 44 : 407 - 426
  • [5] New Data Structures to Handle Speculative Parallelization at Runtime
    Estebanez, Alvaro
    Llanos, Diego R.
    Gonzalez-Escribano, Arturo
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2016, 44 (03) : 407 - 426
  • [6] Decentralized Stream Runtime Verification
    Miguel Danielsson, Luis
    Sanchez, Cesar
    RUNTIME VERIFICATION, RV 2019, 2019, 11757 : 185 - 201
  • [7] Continuous Speculative Program Parallelization in Software
    Zhang, Chao
    Ding, Chen
    Gu, Xiaoming
    Kelsey, Kirk
    Bai, Tongxin
    Feng, Xiaobing
    ACM SIGPLAN NOTICES, 2010, 45 (05) : 335 - 336
  • [8] Continuous Speculative Program Parallelization in Software
    Zhang, Chao
    Ding, Chen
    Gu, Xiaoming
    Kelsey, Kirk
    Bai, Tongxin
    Feng, Xiaobing
    PPOPP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING, 2010, : 335 - 336
  • [9] GPU-TLS: An Efficient Runtime for Speculative Loop Parallelization on GPUs
    Zhang, Chenggang
    Han, Guodong
    Wang, Cho-Li
    PROCEEDINGS OF THE 2013 13TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID 2013), 2013, : 120 - 127
  • [10] Speculative Runtime Parallelization of Loop Nests: Towards Greater Scope and Efficiency
    Rajam, Aravind Sukumaran
    Campostrini, Luis Esteban
    Caamano, Juan Manuel Martinez
    Clauss, Philippe
    2015 IEEE 29TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, 2015, : 245 - 254
12345