Issue
Dagstuhl Reports, Volume 8, Issue 4
-
Part of:
Volume:
Dagstuhl Reports, Volume 8
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2018-11-06
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports8
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 8, Issue 4, April 2018, Complete Issue
Abstract
Dagstuhl Reports, Volume 8, Issue 4, April 2018, Complete Issue
Cite as
Dagstuhl Reports, Volume 8, Issue 4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
Copy BibTex To Clipboard
@Article{DagRep.8.4,
title = {{Dagstuhl Reports, Volume 8, Issue 4, April 2018, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.4},
URN = {urn:nbn:de:0030-drops-98640},
doi = {10.4230/DagRep.8.4},
annote = {Keywords: Dagstuhl Reports, Volume 8, Issue 4, April 2018, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 8, Issue 4, 2018
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 8, Issue 4, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
Copy BibTex To Clipboard
@Article{DagRep.8.4.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 8, Issue 4, 2018}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.4.i},
URN = {urn:nbn:de:0030-drops-98634},
doi = {10.4230/DagRep.8.4.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 8, Issue 4, 2018}
}
Document
Program Equivalence (Dagstuhl Seminar 18151)
Abstract
Program equivalence is the problem of proving that two programs are equal under some definition of equivalence, e.g., input-output equivalence. The field draws researchers from formal verification, semantics and logics.
This report documents the program and the outcomes of Dagstuhl Seminar 18151 "Program Equivalence". The seminar was organized by the four official organizers mentioned above, and Dr. Nikos Tzevelekos from Queen-Mary University in London.
Cite as
Shuvendu K. Lahiri, Andrzej Murawski, Ofer Strichman, and Mattias Ulbrich. Program Equivalence (Dagstuhl Seminar 18151). In Dagstuhl Reports, Volume 8, Issue 4, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
Copy BibTex To Clipboard
@Article{lahiri_et_al:DagRep.8.4.1,
author = {Lahiri, Shuvendu K. and Murawski, Andrzej and Strichman, Ofer and Ulbrich, Mattias},
title = {{Program Equivalence (Dagstuhl Seminar 18151)}},
pages = {1--19},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Lahiri, Shuvendu K. and Murawski, Andrzej and Strichman, Ofer and Ulbrich, Mattias},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.4.1},
URN = {urn:nbn:de:0030-drops-97586},
doi = {10.4230/DagRep.8.4.1},
annote = {Keywords: program equivalence, regression-verification, translation validation}
}
Document
Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152)
Abstract
This report documents the Dagstuhl seminar 18152 "Blockchains, Smart Contracts & Future Applications". While Bitcoin currently works well in practice, there are many open questions regarding the long-term perspective of blockchain technologies, for both public and private/permissioned blockchains. It is yet unclear how processes can be designed to work in predictive ways and how to embed security in the lifecycle of smart contract development and deployment. Furthermore, the distributed nature of the system needs to be considered when thinking about which groups or individuals can influence future developments. Similar to 'real-world' societies, blockchains are based on mutual recognition of conventions. Diverse academic disciplines as well as industry can and need to collaborate to advance research in blockchain and to fully understand how the technology might impact our future lives.
Cite as
Foteini Baldimtsi, Stefan Katzenbeisser, Volkmar Lotz, and Edgar Weippl. Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152). In Dagstuhl Reports, Volume 8, Issue 4, pp. 20-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
Copy BibTex To Clipboard
@Article{baldimtsi_et_al:DagRep.8.4.20,
author = {Baldimtsi, Foteini and Katzenbeisser, Stefan and Lotz, Volkmar and Weippl, Edgar},
title = {{Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152)}},
pages = {20--31},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Baldimtsi, Foteini and Katzenbeisser, Stefan and Lotz, Volkmar and Weippl, Edgar},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.4.20},
URN = {urn:nbn:de:0030-drops-97597},
doi = {10.4230/DagRep.8.4.20},
annote = {Keywords: blockchains, consensus algorithms, cryptographic currency, incentive engineering, smart contracts}
}
Document
Visualization of Biological Data - Crossroads (Dagstuhl Seminar 18161)
Abstract
Our ability to generate and collect biological data has accelerated significantly in the past two decades. In response, many novel computational and statistical analysis techniques have been developed to process and integrate biological data sets. However, in addition to computational and statistical approaches, visualization techniques are needed to enable the interpretation of data as well as the communication of results. The design and implementation of such techniques lies at the intersection of the biology, bioinformatics, and data visualization fields.
The purpose of Dagstuhl Seminar 18161 "Visualization of Biological Data - Crossroads" was to bring together researchers from all three fields, to identify opportunities and challenges, and to develop a path forward for biological data visualization research.
Cite as
Jan Aerts, Nils Gehlenborg, Georgeta Elisabeta Marai, and Kay Katja Nieselt. Visualization of Biological Data - Crossroads (Dagstuhl Seminar 18161). In Dagstuhl Reports, Volume 8, Issue 4, pp. 32-71, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
Copy BibTex To Clipboard
@Article{aerts_et_al:DagRep.8.4.32,
author = {Aerts, Jan and Gehlenborg, Nils and Marai, Georgeta Elisabeta and Nieselt, Kay Katja},
title = {{Visualization of Biological Data - Crossroads (Dagstuhl Seminar 18161)}},
pages = {32--71},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Aerts, Jan and Gehlenborg, Nils and Marai, Georgeta Elisabeta and Nieselt, Kay Katja},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.4.32},
URN = {urn:nbn:de:0030-drops-97600},
doi = {10.4230/DagRep.8.4.32},
annote = {Keywords: imaging, omics, sequence analysis, visual analytics, visualisation}
}
Document
Normative Multi-Agent Systems (Dagstuhl Seminar 18171)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent Systems".
Normative multi-agent systems combine models for multi-agent systems with normative concepts, like obligations, permissions, and prohibitions. As such, they promise to be a suitable model, for example for (regulated) multiagent societies, organizations, electronic institutions, autonomous agent cooperation (with humans-in-the-loop) and much more.
The aim of this seminar was to bring together researchers from various scientific disciplines, such as computer science, artificial intelligence, philosophy, law, cognitive science and social sciences to discuss the emerging topic concerning the responsibility of autonomous systems.
Autonomous software systems and multi-agent systems in open environments require methodologies, models and tools to analyse and develop flexible control and coordination mechanisms. Without them, it is not possible to steer the behaviour and interaction of such systems and to ensure important overall properties. Normative multi-agent systems is an established area focussing on how norms can be used to control and coordinate autonomous systems and multi-agents systems without restricting the autonomy of the involved systems. Such control and coordination systems allow autonomous systems to violate norms, but respond to norm violations by means of various sanctioning mechanisms. Therefore it is crucial to determine which agents or agent groups are accountable for norm violations. The focus of this seminar laid on how
the responsibility of autonomous systems can be defined, modelled, analysed and computed.
Cite as
Mehdi Dastani, Jürgen Dix, Harkp Verhagen, and Serena Villata. Normative Multi-Agent Systems (Dagstuhl Seminar 18171). In Dagstuhl Reports, Volume 8, Issue 4, pp. 72-103, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
Copy BibTex To Clipboard
@Article{dastani_et_al:DagRep.8.4.72,
author = {Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
title = {{Normative Multi-Agent Systems (Dagstuhl Seminar 18171)}},
pages = {72--103},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.4.72},
URN = {urn:nbn:de:0030-drops-97612},
doi = {10.4230/DagRep.8.4.72},
annote = {Keywords: autonomous systems, control and coordination, norm-based systems, responsibility}
}
Document
Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)
Abstract
Languages like C\#, C++, or JavaScript support complex control flow statements like exception handling, iterators (yield), and even asynchrony (async/await) through special extensions. For exceptions, the runtime needs to be extended with exception handling stack frames. For iterators and asynchrony, the situation is more involved, as the compiler needs to turn regular code into stack restoring state machines. Furthermore, these features need to interact as expected, e.g. finally blocks must not be forgotten in the state machines for iterators. And all of this work needs to be done again for the next control flow abstraction that comes along.
Or we can use algebraic effect handlers! This single mechanism generalizes all the control flow abstractions listed above and more, composes freely, has simple operational semantics, and can be efficiently compiled, since there is just one mechanism that needs to be supported well. Handlers allow programmers to keep the code in direct-style, which is easy to reason about, and empower library writers to implement various high-level abstractions without special extensions.
The idea of algebraic effects handlers has already been experimented with in the form of small research languages and libraries in several mainstream languages, including OCaml, Haskell, Clojure, and Scala. The next step, and the aim of this seminar, is to seriously consider adoption by mainstream languages including both functional languages such as OCaml or Haskell, as well as languages like JavaScript and the JVM and .NET ecosystems.
Cite as
Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, and Tom Schrijvers. Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172). In Dagstuhl Reports, Volume 8, Issue 4, pp. 104-125, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
Copy BibTex To Clipboard
@Article{chandrasekaran_et_al:DagRep.8.4.104,
author = {Chandrasekaran, Sivaramakrishnan Krishnamoorthy and Leijen, Daan and Pretnar, Matija and Schrijvers, Tom},
title = {{Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)}},
pages = {104--125},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Chandrasekaran, Sivaramakrishnan Krishnamoorthy and Leijen, Daan and Pretnar, Matija and Schrijvers, Tom},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.4.104},
URN = {urn:nbn:de:0030-drops-97623},
doi = {10.4230/DagRep.8.4.104},
annote = {Keywords: algebraic effect handlers, implementation techniques, programming abstractions, programming languages}
}
Document
Towards Accountable Systems (Dagstuhl Seminar 18181)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18181 "Towards Accountable Systems", which took place from April 29th to May 4th, 2018, at Schloss Dagstuhl - Leibniz Center for Informatics. Researchers and practitioners from academia and industry were brought together covering broad fields from computer and information science, public policy and law.
Many risks and opportunities were discussed that relate to the alignment of systems technologies with developing legal and regulatory requirements and evolving user expectations.
This report summarises outcomes of the seminar by highlighting key future research directions and challenges that lie on the path to developing systems that better align with accountability concerns.
Cite as
David Eyers, Christopher Millard, Margo Seltzer, and Jatinder Singh. Towards Accountable Systems (Dagstuhl Seminar 18181). In Dagstuhl Reports, Volume 8, Issue 4, pp. 126-163, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
Copy BibTex To Clipboard
@Article{eyers_et_al:DagRep.8.4.126,
author = {Eyers, David and Millard, Christopher and Seltzer, Margo and Singh, Jatinder},
title = {{Towards Accountable Systems (Dagstuhl Seminar 18181)}},
pages = {126--163},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Eyers, David and Millard, Christopher and Seltzer, Margo and Singh, Jatinder},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.4.126},
URN = {urn:nbn:de:0030-drops-97633},
doi = {10.4230/DagRep.8.4.126},
annote = {Keywords: accountability, compliance, audit, systems, engineering, cloud computing, internet of things, law, regulation, GDPR, security, privacy, data provenanc}
}
Document
Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research (Dagstuhl Seminar 18182)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18182 "Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research".
Cite as
Pekka Abrahamsson, Jan Bosch, Sjaak Brinkkemper, and Alexander Mädche. Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research (Dagstuhl Seminar 18182). In Dagstuhl Reports, Volume 8, Issue 4, pp. 164-198, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
Copy BibTex To Clipboard
@Article{abrahamsson_et_al:DagRep.8.4.164,
author = {Abrahamsson, Pekka and Bosch, Jan and Brinkkemper, Sjaak and M\"{a}dche, Alexander},
title = {{Software Business, Platforms, and Ecosystems: Fundamentals of Software Production Research (Dagstuhl Seminar 18182)}},
pages = {164--198},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2018},
volume = {8},
number = {4},
editor = {Abrahamsson, Pekka and Bosch, Jan and Brinkkemper, Sjaak and M\"{a}dche, Alexander},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.4.164},
URN = {urn:nbn:de:0030-drops-97642},
doi = {10.4230/DagRep.8.4.164},
annote = {Keywords: Software Engineering, Software Ecosystems, Software-intensive Business, Software Production, Software Startups}
}