Search Results

Documents authored by Cohen, Albert


Document
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)

Authors: Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen

Published in: Dagstuhl Reports, Volume 3, Issue 4 (2013)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13142 "Correct and Efficient Accelerator Programming". The aim of this Dagstuhl seminar was to bring together researchers from various sub-disciplines of computer science to brainstorm and discuss the theoretical foundations, design and implementation of techniques and tools for correct and efficient accelerator programming.

Cite as

Albert Cohen, Alastair F. Donaldson, Marieke Huisman, and Joost-Pieter Katoen. Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). In Dagstuhl Reports, Volume 3, Issue 4, pp. 17-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{cohen_et_al:DagRep.3.4.17,
  author =	{Cohen, Albert and Donaldson, Alastair F. and Huisman, Marieke and Katoen, Joost-Pieter},
  title =	{{Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)}},
  pages =	{17--33},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{4},
  editor =	{Cohen, Albert and Donaldson, Alastair F. and Huisman, Marieke and Katoen, Joost-Pieter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.4.17},
  URN =		{urn:nbn:de:0030-drops-40758},
  doi =		{10.4230/DagRep.3.4.17},
  annote =	{Keywords: Accelerator programming, GPUs, Concurrency, Formal verification, Compilers, Memory models, Architecture, Parallel programming models}
}
Document
07361 Abstracts Collection – Programming Models for Ubiquitous Parallelism

Authors: David Chi-Leung Wong, Albert Cohen, María J. Garzarán, Christian Lengauer, and Samuel P. Midkiff

Published in: Dagstuhl Seminar Proceedings, Volume 7361, Programming Models for Ubiquitous Parallelism (2008)


Abstract
From 02.09. to 07.09.2007, the Dagstuhl Seminar 07361 ``Programming Models for Ubiquitous Parallelism'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

David Chi-Leung Wong, Albert Cohen, María J. Garzarán, Christian Lengauer, and Samuel P. Midkiff. 07361 Abstracts Collection – Programming Models for Ubiquitous Parallelism. In Programming Models for Ubiquitous Parallelism. Dagstuhl Seminar Proceedings, Volume 7361, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{wong_et_al:DagSemProc.07361.1,
  author =	{Wong, David Chi-Leung and Cohen, Albert and Garzar\'{a}n, Mar{\'\i}a J. and Lengauer, Christian and Midkiff, Samuel P.},
  title =	{{07361 Abstracts Collection – Programming Models for Ubiquitous Parallelism}},
  booktitle =	{Programming Models for Ubiquitous Parallelism},
  pages =	{1--17},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7361},
  editor =	{Albert Cohen and Mar{\'\i}a J. Garzar\'{a}n and Christian Lengauer and Samuel P. Midkiff},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07361.1},
  URN =		{urn:nbn:de:0030-drops-13770},
  doi =		{10.4230/DagSemProc.07361.1},
  annote =	{Keywords: Parallel programming models, transactional memory, languages, compilers, optimizations, architecture, automatic parallelization}
}
Document
07361 Introduction – Programming Models for Ubiquitous Parallelism

Authors: David Chi-Leung Wong, Albert Cohen, María J. Garzarán, Christian Lengauer, and Samuel P. Midkiff

Published in: Dagstuhl Seminar Proceedings, Volume 7361, Programming Models for Ubiquitous Parallelism (2008)


Abstract
The goal of the seminar is to present a broad view of the research challenges and ongoing efforts to improve productivity, scalability, efficiency and reliability of general-purpose and embedded parallel programming.

Cite as

David Chi-Leung Wong, Albert Cohen, María J. Garzarán, Christian Lengauer, and Samuel P. Midkiff. 07361 Introduction – Programming Models for Ubiquitous Parallelism. In Programming Models for Ubiquitous Parallelism. Dagstuhl Seminar Proceedings, Volume 7361, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{wong_et_al:DagSemProc.07361.2,
  author =	{Wong, David Chi-Leung and Cohen, Albert and Garzar\'{a}n, Mar{\'\i}a J. and Lengauer, Christian and Midkiff, Samuel P.},
  title =	{{07361 Introduction – Programming Models for Ubiquitous Parallelism}},
  booktitle =	{Programming Models for Ubiquitous Parallelism},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{7361},
  editor =	{Albert Cohen and Mar{\'\i}a J. Garzar\'{a}n and Christian Lengauer and Samuel P. Midkiff},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07361.2},
  URN =		{urn:nbn:de:0030-drops-13736},
  doi =		{10.4230/DagSemProc.07361.2},
  annote =	{Keywords: Programming Models for Ubiquitous Parallelism}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail