Papers
From Lame
(Created page with "== Regular papers == '''The Design and Implementation of Clocked Variables in X10''' [http://lame.dei.uc.pt/index.php?title=File:Lame12_submission_1.pdf] by Daniel Atkins, A...") |
|||
Line 1: | Line 1: | ||
== Regular papers == | == Regular papers == | ||
− | '''The Design and Implementation of Clocked Variables in X10''' [http://lame.dei.uc.pt/ | + | '''The Design and Implementation of Clocked Variables in X10''' [http://lame.dei.uc.pt/images/1/16/Lame12_submission_1.pdf] |
by Daniel Atkins, Alex Potanin, and Lindsay Groves | by Daniel Atkins, Alex Potanin, and Lindsay Groves | ||
− | '''Conditional Concurrency Combinators''' [http://lame.dei.uc.pt/ | + | '''Conditional Concurrency Combinators''' [http://lame.dei.uc.pt/images/a/a7/Lame12_submission_2.pdf] |
by Paweł T. Wojciechowski | by Paweł T. Wojciechowski | ||
Line 12: | Line 12: | ||
== Position Papers == | == Position Papers == | ||
− | '''The Joelle Programming Language: Evolving Java Programs Along Two Axes of Parallel Eval''' [http://lame.dei.uc.pt/ | + | '''The Joelle Programming Language: Evolving Java Programs Along Two Axes of Parallel Eval''' [http://lame.dei.uc.pt/images/1/11/Lame12_submission_3.pdf] |
by Johan Östlund, Stephan Brandauer, Tobias Wrigsta | by Johan Östlund, Stephan Brandauer, Tobias Wrigsta | ||
− | '''Locality Reasoning of Multithreaded Programs through Type Inference''' [http://lame.dei.uc.pt/ | + | '''Locality Reasoning of Multithreaded Programs through Type Inference''' [http://lame.dei.uc.pt/images/7/7e/Lame12_submission_4.pdf] |
by Haitao Steve Zhu and Yu David Liu | by Haitao Steve Zhu and Yu David Liu | ||
− | '''Dynamic Dataflow''' [http://lame.dei.uc.pt/ | + | '''Dynamic Dataflow''' [http://lame.dei.uc.pt/images/4/46/Lame12_submission_5.pdf] |
by Dominic Duggan, Jianhua Yao | by Dominic Duggan, Jianhua Yao |