Issue

Dagstuhl Reports, Volume 3, Issue 2

Thumbnail PDF

Event

Dagstuhl Seminars 13061, 13062, 13071, 13072, 13081, 13082, 13091

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
DOI: 10.4230/DagRep.3.2
Dagstuhl Reports, Volume 3, Issue 02, February 2013, Complete Issue
Abstract
Dagstuhl Reports, Volume 3, Issue 02, February 2013, Complete Issue
Cite as

Dagstuhl Reports, Volume 3, Issue 2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{DagRep.3.2,
  title =	{{Dagstuhl Reports, Volume 3, Issue 02, February 2013, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{2},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2},
  URN =		{urn:nbn:de:0030-drops-41302},
  doi =		{10.4230/DagRep.3.2},
  annote =	{Keywords: Dagstuhl Reports, Volume 3, Issue 02, February 2013, Complete Issue}
}
Document
Front Matter
DOI: 10.4230/DagRep.3.2.i
Dagstuhl Reports, Table of Contents, Volume 3, Issue 02, 2013
Abstract
Table of Contents, Frontmatter
Cite as

Dagstuhl Reports, Volume 3, Issue 2, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{DagRep.3.2.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 3, Issue 02, 2013}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{2},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.i},
  URN =		{urn:nbn:de:0030-drops-41296},
  doi =		{10.4230/DagRep.3.2.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 3, Issue 02, 2013}
}
Document
DOI: 10.4230/DagRep.3.2.1
Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061)

Authors: Mary Jean Harrold, Friedrich Steinmann, Frank Tip, and Andreas Zeller

Abstract
Software debugging, which involves localizing, understanding, and removing the cause of a failure, is a notoriously difficult, extremely time consuming, and human-intensive activity. For this reason, researchers have invested a great deal of effort in developing automated techniques and tools for supporting various debugging tasks. In this seminar, we discussed several different tools and techniques that aid in the task of Fault Prediction, Localization and Repair. The talks encompassed a wide variety of methodologies for fault prediction and localizing, such as - statistical fault localization, - core dump analysis, - taint analysis, - program slicing techniques, - dynamic fault-comprehension techniques, - visualization techniques, - combining hardware and software instrumentation for fault detection and failure prediction, - and verification techniques for checking safety properties of programs. For automatically (or semi-automatically) repairing faulty programs, the talks covered approaches such as - automated repair based on symbolic execution, constraint solving and program synthesis, - combining past fix patterns, machine learning and semantic patch generation - a technique that exploits the intrinsic redundancy of reusable components, - a technique based on memory-access patterns and a coverage matrix, - a technique that determines a combination of mutual-exclusion and order relationships that, once enforced, can prevent buggy interleaving. in addition, this seminar also explored some unusual topics such as Teaching Debugging, using Online Courses. Another interesting topic covered was the low representation of females in computing, and how programming and debugging tools interact with gender differences.
Cite as

Mary Jean Harrold, Friedrich Steinmann, Frank Tip, and Andreas Zeller. Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061). In Dagstuhl Reports, Volume 3, Issue 2, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{harrold_et_al:DagRep.3.2.1,
  author =	{Harrold, Mary Jean and Steinmann, Friedrich and Tip, Frank and Zeller, Andreas},
  title =	{{Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061)}},
  pages =	{1--21},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{2},
  editor =	{Harrold, Mary Jean and Steinmann, Friedrich and Tip, Frank and Zeller, Andreas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.1},
  URN =		{urn:nbn:de:0030-drops-40166},
  doi =		{10.4230/DagRep.3.2.1},
  annote =	{Keywords: Program analysis, Automated debugging, Fault prediction, Fault repair, Fault localization, Statistical debugging, Change impact analysis}
}
Document
DOI: 10.4230/DagRep.3.2.22
Decentralized Systems for Privacy Preservation (Dagstuhl Seminar 13062)

Authors: Sonja Buchegger, Jon Crowcroft, Balachander Krishnamurthy, and Thorsten Strufe

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13062 "Decentralized Systems for Privacy Preservation". In recent years, a number of concerns have risen about the existence of large, organizationally centralized online services (cloud services, online social networks, repositories, etc). The concerns include risks to users' data from organizational failures and threats to user privacy. In this seminar, the organizers brought together a somewhat more diverse collection of theoreticians and practitioners from industry and academia including social scientists and economists. In keeping with the nature of the interdisciplinary attendees, the organizers also attempted a seminar organization structure intended to promote innovative, cross-discipline working. The results were mixed: some clear agenda setting outputs emerged with some less clear ones.
Cite as

Sonja Buchegger, Jon Crowcroft, Balachander Krishnamurthy, and Thorsten Strufe. Decentralized Systems for Privacy Preservation (Dagstuhl Seminar 13062). In Dagstuhl Reports, Volume 3, Issue 2, pp. 22-44, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{buchegger_et_al:DagRep.3.2.22,
  author =	{Buchegger, Sonja and Crowcroft, Jon and Krishnamurthy, Balachander and Strufe, Thorsten},
  title =	{{Decentralized Systems for Privacy Preservation (Dagstuhl Seminar 13062)}},
  pages =	{22--44},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{2},
  editor =	{Buchegger, Sonja and Crowcroft, Jon and Krishnamurthy, Balachander and Strufe, Thorsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.22},
  URN =		{urn:nbn:de:0030-drops-40177},
  doi =		{10.4230/DagRep.3.2.22},
  annote =	{Keywords: Privacy, Decentralized Systems, Economics, Usability, Mobility}
}
Document
DOI: 10.4230/DagRep.3.2.45
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)

Authors: Samson Abramsky, Juha Kontinen, Jouko Väänanen, and Heribert Vollmer

Abstract
This report documents the programme and outcomes of Dagstuhl Seminar 13071 "Dependence Logic: Theory and Applications". The seminar brought together researchers from different areas such as mathematical logic, quantum mechanics, statistics, social choice theory, and theoretical computer science. A key objective of the seminar was to bring together, for the first time, researchers working in dependence logic and in the application areas so that they can communicate state-of-the-art advances and embark on a systematic interaction.
Cite as

Samson Abramsky, Juha Kontinen, Jouko Väänanen, and Heribert Vollmer. Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). In Dagstuhl Reports, Volume 3, Issue 2, pp. 45-54, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{abramsky_et_al:DagRep.3.2.45,
  author =	{Abramsky, Samson and Kontinen, Juha and V\"{a}\"{a}nanen, Jouko and Vollmer, Heribert},
  title =	{{Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071)}},
  pages =	{45--54},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{2},
  editor =	{Abramsky, Samson and Kontinen, Juha and V\"{a}\"{a}nanen, Jouko and Vollmer, Heribert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.45},
  URN =		{urn:nbn:de:0030-drops-40127},
  doi =		{10.4230/DagRep.3.2.45},
  annote =	{Keywords: Data structures, Algorithms, Complexity, Verification, Logic}
}
Document
DOI: 10.4230/DagRep.3.2.55
Mechanisms of Ongoing Development in Cognitive Robotics (Dagstuhl Seminar 13072)

Authors: Jacqueline Fagard, Roderic A. Grupen, Frank Guerin, and Norbert Krüger

Abstract
In cognitive robotics "ongoing development" refers to the ability to continuously build on what the system already knows, in an ongoing process, which acquires new skills and knowledge, and achieves more sophisticated levels of behaviour. Human infants are possibly the best known demonstrators of this ability; developmental psychology has many results documenting what infants can and cannot do at various ages, however we know very little about the mechanisms underlying the development. On the robotics side, creating a computational system which displays ongoing development is still an unsolved problem. There are major unsolved questions regarding the mechanisms of ongoing development, in both biological and artificial systems; for example: how to transfer existing skills to a new context, how to build on existing skills, and how to represent knowledge (or skills). The primary aim of the seminar was to bring together researchers from two communities (developmental robotics and infant developmental psychology) in order to spawn new collaborative research projects which will advance our scientific understanding of the mechanisms underlying ongoing development (whether in infants or robots). We especially focused on perception, understanding and manipulation skills relating to physical objects in the world, and the skills which infants acquire in approximately the 4-24 months period. The main outcomes of the seminar were ideas about how the communities could work together to advance their respective goals. This requires psychologists to become computer scientists to some degree, and computer scientists to become psychologists. In addition each may need to be willing to help to solve some challenge problems posed by the other community in order to have their challenges tackled in turn.
Cite as

Jacqueline Fagard, Roderic A. Grupen, Frank Guerin, and Norbert Krüger. Mechanisms of Ongoing Development in Cognitive Robotics (Dagstuhl Seminar 13072). In Dagstuhl Reports, Volume 3, Issue 2, pp. 55-91, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{fagard_et_al:DagRep.3.2.55,
  author =	{Fagard, Jacqueline and Grupen, Roderic A. and Guerin, Frank and Kr\"{u}ger, Norbert},
  title =	{{Mechanisms of Ongoing Development in Cognitive Robotics (Dagstuhl Seminar 13072)}},
  pages =	{55--91},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{2},
  editor =	{Fagard, Jacqueline and Grupen, Roderic A. and Guerin, Frank and Kr\"{u}ger, Norbert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.55},
  URN =		{urn:nbn:de:0030-drops-40181},
  doi =		{10.4230/DagRep.3.2.55},
  annote =	{Keywords: Developmental psychology, Infancy, Motor skill development, Perceptual development, Origins of concepts, Developmental robotics, Affordances, Intrinsi}
}
Document
DOI: 10.4230/DagRep.3.2.92
Consistency in Distributed Systems (Dagstuhl Seminar 13081)

Authors: Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, and Kapil Vaswani

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13081 "Consistency in Distributed Systems."
Cite as

Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, and Kapil Vaswani. Consistency in Distributed Systems (Dagstuhl Seminar 13081). In Dagstuhl Reports, Volume 3, Issue 2, pp. 92-126, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{kemme_et_al:DagRep.3.2.92,
  author =	{Kemme, Bettina and Ramalingam, Ganesan and Schiper, Andr\'{e} and Shapiro, Marc and Vaswani, Kapil},
  title =	{{Consistency in Distributed Systems (Dagstuhl Seminar 13081)}},
  pages =	{92--126},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{2},
  editor =	{Kemme, Bettina and Ramalingam, Ganesan and Schiper, Andr\'{e} and Shapiro, Marc and Vaswani, Kapil},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.92},
  URN =		{urn:nbn:de:0030-drops-40146},
  doi =		{10.4230/DagRep.3.2.92},
  annote =	{Keywords: Replication, Consistency, Strong Consistency, Weak Consistency, Distributed Systems, Distributed Algorithms}
}
Document
DOI: 10.4230/DagRep.3.2.127
Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matrices (Dagstuhl Seminar 13082)

Authors: LeRoy B. Beasley, Hartmut Klauck, Troy Lee, and Dirk Oliver Theis

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13082 "Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matrices".
Cite as

LeRoy B. Beasley, Hartmut Klauck, Troy Lee, and Dirk Oliver Theis. Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matrices (Dagstuhl Seminar 13082). In Dagstuhl Reports, Volume 3, Issue 2, pp. 127-143, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{beasley_et_al:DagRep.3.2.127,
  author =	{Beasley, LeRoy B. and Klauck, Hartmut and Lee, Troy and Theis, Dirk Oliver},
  title =	{{Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matrices (Dagstuhl Seminar 13082)}},
  pages =	{127--143},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{2},
  editor =	{Beasley, LeRoy B. and Klauck, Hartmut and Lee, Troy and Theis, Dirk Oliver},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.127},
  URN =		{urn:nbn:de:0030-drops-40191},
  doi =		{10.4230/DagRep.3.2.127},
  annote =	{Keywords: nonnegative rank, combinatorial optimization, communication complexity, extended formulation size}
}
Document
DOI: 10.4230/DagRep.3.2.144
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)

Authors: Paulo Borba, Myra B. Cohen, Axel Legay, and Andrzej Wasowski

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13091 "Analysis, Test and Verification in The Presence of Variability". The seminar had the goal of consolidating and stimulating research on analysis of software models with variability, enabling the design of variability-aware tool chains. We brought together 46 key researchers from three continents, working on quality assurance challenges that arise from introducing variability, and some who do not work with variability, but that are experts in their respective areas in the broader domain of software analysis or testing research. As a result of interactions triggered by sessions of different formats, the participants were able to classify their approaches with respect to a number of dimensions that helped to identify similarities and differences that have already been useful to improve understanding and foster new collaborations among the participants.
Cite as

Paulo Borba, Myra B. Cohen, Axel Legay, and Andrzej Wasowski. Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091). In Dagstuhl Reports, Volume 3, Issue 2, pp. 144-170, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{borba_et_al:DagRep.3.2.144,
  author =	{Borba, Paulo and Cohen, Myra B. and Legay, Axel and Wasowski, Andrzej},
  title =	{{Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)}},
  pages =	{144--170},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{2},
  editor =	{Borba, Paulo and Cohen, Myra B. and Legay, Axel and Wasowski, Andrzej},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.2.144},
  URN =		{urn:nbn:de:0030-drops-40207},
  doi =		{10.4230/DagRep.3.2.144},
  annote =	{Keywords: Verification, Program Analysis, Testing, Semantics of Programming Languages, Software Engineering}
}

Filters

  • Authors
  • A
  • Abramsky, Samson
  • B
  • Beasley, LeRoy B.
  • Borba, Paulo
  • Buchegger, Sonja
  • C
  • Cohen, Myra B.
  • Crowcroft, Jon
  • F
  • Fagard, Jacqueline
  • G
  • Grupen, Roderic A.
  • Guerin, Frank
  • H
  • Harrold, Mary Jean
  • K
  • Kemme, Bettina
  • Klauck, Hartmut
  • Kontinen, Juha
  • Krishnamurthy, Balachander
  • Krüger, Norbert
  • L
  • Lee, Troy
  • Legay, Axel
  • R
  • Ramalingam, Ganesan
  • S
  • Schiper, André
  • Shapiro, Marc
  • Steinmann, Friedrich
  • Strufe, Thorsten
  • T
  • Theis, Dirk Oliver
  • Tip, Frank
  • V
  • Väänanen, Jouko
  • Vaswani, Kapil
  • Vollmer, Heribert
  • W
  • Wasowski, Andrzej
  • Z
  • Zeller, Andreas

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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact