Issue
Dagstuhl Reports, Volume 6, Issue 3
-
Part of:
Volume:
Dagstuhl Reports, Volume 6
Journal: Dagstuhl Reports (DagRep)
Event
Dagstuhl Seminars 16101, 16111, 16112, 16131Publication Details
- published at: 2016-09-27
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports6
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 6, Issue 3, March 2016, Complete Issue
Abstract
Dagstuhl Reports, Volume 6, Issue 3, March 2016, Complete Issue
Cite as
Dagstuhl Reports, Volume 6, Issue 3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{DagRep.6.3,
title = {{Dagstuhl Reports, Volume 6, Issue 3, March 2016, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {3},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.3},
URN = {urn:nbn:de:0030-drops-67007},
doi = {10.4230/DagRep.6.3},
annote = {Keywords: Dagstuhl Reports, Volume 6, Issue 3, March 2016, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 6, Issue 3, 2016
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 6, Issue 3, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{DagRep.6.3.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 6, Issue 3, 2016}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {3},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.3.i},
URN = {urn:nbn:de:0030-drops-66990},
doi = {10.4230/DagRep.6.3.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 6, Issue 3, 2016}
}
Document
Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 16101)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 16101
"Data Structures and Advanced Models of Computation on Big Data". In today's computing environment vast amounts of data are processed, exchanged and analyzed. The manner in which information is stored profoundly influences the efficiency of these operations over the data. In spite of the maturity of the field many data structuring problems are still open, while new ones arise due to technological advances.
The seminar covered both recent advances in the "classical" data structuring topics as well as new models of computation adapted to modern architectures,
scientific studies that reveal the need for such models, applications where large data sets play a central role, modern computing platforms for very large data, and new data structures for large data in modern architectures.
The extended abstracts included in this report contain both recent state of the art advances and lay the foundation for new directions within data structures research.
Cite as
Alejandro Lopez-Ortiz, Ulrich Carsten Meyer, Markus E. Nebel, and Robert Sedgewick. Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 16101). In Dagstuhl Reports, Volume 6, Issue 3, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{lopezortiz_et_al:DagRep.6.3.1,
author = {Lopez-Ortiz, Alejandro and Meyer, Ulrich Carsten and Nebel, Markus E. and Sedgewick, Robert},
title = {{Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 16101)}},
pages = {1--23},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {3},
editor = {Lopez-Ortiz, Alejandro and Meyer, Ulrich Carsten and Nebel, Markus E. and Sedgewick, Robert},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.3.1},
URN = {urn:nbn:de:0030-drops-61457},
doi = {10.4230/DagRep.6.3.1},
annote = {Keywords: algorithms, big data, cloud services, data structures, external memory methods, information theory, large data sets, streaming, web-scale}
}
Document
Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111)
Abstract
This report documents the talks and discussions at the Dagstuhl seminar 16111 "Rethinking Experimental Methods in Computing". The seminar brought together researchers from several computer science communities, including algorithm engineering, programming languages, information retrieval, high-performance computing, operations research, performance analysis, embedded systems, distributed systems, and software engineering. The main goals of the seminar were building a network of experimentalists and fostering a culture of sound quantitative experiments in computing. During the seminar, groups of participants have worked on distilling useful resources based on the collective experience gained in different communities and on planning actions to promote sound experimental methods and reproducibility efforts.
Cite as
Daniel Delling, Camil Demetrescu, David S. Johnson, and Jan Vitek. Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111). In Dagstuhl Reports, Volume 6, Issue 3, pp. 24-43, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{delling_et_al:DagRep.6.3.24,
author = {Delling, Daniel and Demetrescu, Camil and Johnson, David S. and Vitek, Jan},
title = {{Rethinking Experimental Methods in Computing (Dagstuhl Seminar 16111)}},
pages = {24--43},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {3},
editor = {Delling, Daniel and Demetrescu, Camil and Johnson, David S. and Vitek, Jan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.3.24},
URN = {urn:nbn:de:0030-drops-61463},
doi = {10.4230/DagRep.6.3.24},
annote = {Keywords: Algorithms, Benchmarks, Data sets, Experiments, Repeatability, Reproducibility, Software Artifacts, Statistics}
}
Document
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112)
Abstract
Dagstuhl Seminar 16112 was devoted to research in algebraic effects and handlers, a chapter in the principles of programming languages which addresses computational effects (such as I/O, state, exceptions, nondeterminism, and many others). The speakers and the working groups covered a range of topics, including comparisons between various control mechanisms (handlers vs. delimited control), implementation of an effect system for OCaml, compilation techniques for algebraic effects and handlers, and implementations of effects in Haskell.
Cite as
Andrej Bauer, Martin Hofmann, Matija Pretnar, and Jeremy Yallop. From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). In Dagstuhl Reports, Volume 6, Issue 3, pp. 44-58, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{bauer_et_al:DagRep.6.3.44,
author = {Bauer, Andrej and Hofmann, Martin and Pretnar, Matija and Yallop, Jeremy},
title = {{From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112)}},
pages = {44--58},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {3},
editor = {Bauer, Andrej and Hofmann, Martin and Pretnar, Matija and Yallop, Jeremy},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.3.44},
URN = {urn:nbn:de:0030-drops-61489},
doi = {10.4230/DagRep.6.3.44},
annote = {Keywords: algebraic effects, computational effects, handlers, implementation techniques, programming languages}
}
Document
Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 16131 "Language Based Verification Tools for Functional Programs". This seminar is motivated by two converging trends in computing -- the increasing reliance on software has led to an increased interest in seeking formal, reliable means of ensuring that programs possess crucial correctness properties, and the
dramatic increase in adoption of higher-order functional languages due to the web, multicore and "big data" revolutions.
While the research community has studied the problem of language based verification for imperative and first-order programs for decades – yielding important ideas like Floyd-Hoare Logics, Abstract Interpretation, Model Checking, and Separation Logic and so on – it is only relatively recently, that proposals have emerged for language baseverification tools for functional and higher-order programs. These techniques include advanced type systems, contract systems, model checking and program analyses specially tailored to exploit the structure of functional languages. These proposals are from groups based in diverse research communities, attacking the problem from different angles, yielding techniques with complementary strengths.
This seminar brought diverse set of researchers together so that we could:
compare the strengths and limitations of different approaches, discuss ways to unify the complementary advantages of different techniques, both conceptually and in tools, share challenging open problems and application areas where verification may be most effective, identify novel ways of using verification techniques for other software engineering tasks such as code search or synthesis, and improve the pedagogy and hence adoption of such techniques.
Cite as
Marco Gaboardi, Suresh Jagannathan, Ranjit Jhala, and Stephanie Weirich. Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131). In Dagstuhl Reports, Volume 6, Issue 3, pp. 59-77, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{gaboardi_et_al:DagRep.6.3.59,
author = {Gaboardi, Marco and Jagannathan, Suresh and Jhala, Ranjit and Weirich, Stephanie},
title = {{Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)}},
pages = {59--77},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {6},
number = {3},
editor = {Gaboardi, Marco and Jagannathan, Suresh and Jhala, Ranjit and Weirich, Stephanie},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.3.59},
URN = {urn:nbn:de:0030-drops-61494},
doi = {10.4230/DagRep.6.3.59},
annote = {Keywords: Functional Programming, Type Systems, Contracts, Dependent Types, Model Checking, Program Analysis}
}