An Operational Semantics for Parallel Execution of Re-entrant PLEX (2005)


Download Links

by Johan Erikson

Active Bibliography

6 Plugging anti and output dependence removal techniques into loop parallelization algorithm – Pierre-Yves Calland, Alain Darte, Yves Robert, Frédéric Vivien - 1997
From Cyclo-Static Process Networks to Code Generation for Multidimensional – Présenté Par, Mohammed Fellahi, Pr. Yannis, Manoussakis Président, Pr. Pierre, Pr. Alain, Lionel Lacassagne Examinateur - 2012
54 Fusion of Loops for Parallelism and Locality – Naraig Manjikian, Tarek S. Abdelrahman - 1995
63 SUIF Explorer: an interactive and interprocedural parallelizer – Shih-wei Liao, Amer Diwan, Robert Bosch, Anwar Ghuloum, Monica Lam - 1999
17 On The Quest For Perfect Load Balance In Loop-Based Parallel Computations – Rizos Sakellariou - 1998
7 On the removal of anti and output dependences – Pierre-Yves Calland, Alain Darte, Yves Robert, Frédéric Vivien - 1996
1 Extracting the processes structure of ERLANG applications – Jan Nyström, Bengt Jonsson
A Formal Semantics for PLEX – Johan Erikson And, Johan Erikson, Björn Lisper - 2004
3 Safe at Any Speed: Fast, Safe Parallelism in Servers – John Jannotti, Kiran Pamnany
2 The potential of trace-level parallelism in java programs – Borys J. Bradel, Tarek S. Abdelrahman - 2007
7 Automatic trace-based parallelization of Java programs – Borys J. Bradel, Tarek S. Abdelrahman - 2007
DCDP: A Novel Data-Centric and Design-Pattern Based Approach to Automatic Loop Transformation and Parallelization for A Shared-Object Environment in Clusters – Xuli Liu, Hong Jiang, Leen-kiat Soh, Xuli Liu, Hong Jiang, Leen-kiat Soh - 2005
1 Using Quasi Ordered Sets to Model Program Properties Denotationally – Markus Mohnen - 1997
Retrieving Critical Information By Code Analysis – A. Louise Perkins, Sumanth Yenduri, Jim Corbin, Avichal Mehra, S. S. Iyengar - 2004
2 Soundness of a Purely Syntactical Formalization of Weakest Preconditions – Rudolf Berghammer - 2000
2 Deriving Proof Rules from Continuation Semantics – Philippe Audebaud, Ecole Normale, Suprieure Lyon, Elena Zucca, Elena Zucca - 1997
6 Formal Semantics of Programming Languages -- An Overview – Peter D. Mosses - 2006
4 A constructive approach to language definition – Peter D. Mosses - 2005
55 Modular structural operational semantics – Peter D. Mosses - 2004