Issue

Dagstuhl Reports, Volume 4, Issue 6

Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
DOI: 10.4230/DagRep.4.6
Dagstuhl Reports, Volume 4, Issue 6, June 2014, Complete Issue
Abstract
Dagstuhl Reports, Volume 4, Issue 6, June 2014, Complete Issue
Cite as

Dagstuhl Reports, Volume 4, Issue 6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

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

Dagstuhl Reports, Volume 4, Issue 6, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{DagRep.4.6.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 4, Issue 6, 2014}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{6},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.6.i},
  URN =		{urn:nbn:de:0030-drops-49645},
  doi =		{10.4230/DagRep.4.6.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 4, Issue 6, 2014}
}
Document
DOI: 10.4230/DagRep.4.6.1
Scientific Visualization (Dagstuhl Seminar 14231)

Authors: Min Chen, Charles D. Hansen, Penny Rheingans, and Gerik Scheuermann

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14231 "Scientific Visualization". It includes a discussion of the motivation and overall organization, an abstract from each of the participants, and a report from each of the working groups.
Cite as

Min Chen, Charles D. Hansen, Penny Rheingans, and Gerik Scheuermann. Scientific Visualization (Dagstuhl Seminar 14231). In Dagstuhl Reports, Volume 4, Issue 6, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{chen_et_al:DagRep.4.6.1,
  author =	{Chen, Min and Hansen, Charles D. and Rheingans, Penny and Scheuermann, Gerik},
  title =	{{Scientific Visualization (Dagstuhl Seminar 14231)}},
  pages =	{1--28},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{6},
  editor =	{Chen, Min and Hansen, Charles D. and Rheingans, Penny and Scheuermann, Gerik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.6.1},
  URN =		{urn:nbn:de:0030-drops-46821},
  doi =		{10.4230/DagRep.4.6.1},
  annote =	{Keywords: data visualization, multi-fields, uncertainty, environmental visualization}
}
Document
DOI: 10.4230/DagRep.4.6.29
Design and Synthesis from Components (Dagstuhl Seminar 14232)

Authors: Jakob Rehof and Moshe Y. Vardi

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14232 "Design and Synthesis from Components" which took place from June 1st to June 6th, 2014. The seminar aimed at bringing together researchers from the component-oriented design community, researchers working on interface theories, and researchers working in synthesis, in order to explore the use of component- and interface design in program synthesis. The seminar program consisted of 6 tutorial talks (1 hour) and 16 contributed talks (30 mins) as well as joint discussion sessions. This report documents the abstracts of the talks as well as summaries of discussion sessions.
Cite as

Jakob Rehof and Moshe Y. Vardi. Design and Synthesis from Components (Dagstuhl Seminar 14232). In Dagstuhl Reports, Volume 4, Issue 6, pp. 29-47, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{rehof_et_al:DagRep.4.6.29,
  author =	{Rehof, Jakob and Vardi, Moshe Y.},
  title =	{{Design and Synthesis from Components (Dagstuhl Seminar 14232)}},
  pages =	{29--47},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{6},
  editor =	{Rehof, Jakob and Vardi, Moshe Y.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.6.29},
  URN =		{urn:nbn:de:0030-drops-46839},
  doi =		{10.4230/DagRep.4.6.29},
  annote =	{Keywords: Component design, Component-based synthesis}
}
Document
DOI: 10.4230/DagRep.4.6.48
Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241)

Authors: Roberto Giacobazzi, Axel Simon, and Sarah Zennou

Abstract
This report summarizes the program and the outcomes of the Dagstuhl Seminar 14241, entitled "Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy". The seminar brought together practitioners and researchers from industry and academia to discuss the state-of-the art in the analysis of binaries, the handling of the most challenging malware and the ever-lasting problem of scalability. The meeting created new links within this very diverse community and highlighted the broad interest in dealing with obfuscated code.
Cite as

Roberto Giacobazzi, Axel Simon, and Sarah Zennou. Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241). In Dagstuhl Reports, Volume 4, Issue 6, pp. 48-63, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{giacobazzi_et_al:DagRep.4.6.48,
  author =	{Giacobazzi, Roberto and Simon, Axel and Zennou, Sarah},
  title =	{{Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241)}},
  pages =	{48--63},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{6},
  editor =	{Giacobazzi, Roberto and Simon, Axel and Zennou, Sarah},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.6.48},
  URN =		{urn:nbn:de:0030-drops-47627},
  doi =		{10.4230/DagRep.4.6.48},
  annote =	{Keywords: Executable analysis, reverse engineering, malware detection, control flow reconstruction, emulators, binary instrumentation}
}
Document
DOI: 10.4230/DagRep.4.6.64
Software Development Analytics (Dagstuhl Seminar 14261)

Authors: Harald Gall, Tim Menzies, Laurie Williams, and Thomas Zimmermann

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14261 "Software Development Analytics". We briefly summarize the goals and format of the seminar, the results of the break out groups, and a draft of a manifesto for software analytics. The report also includes the abstracts of the talks presented at the seminar.
Cite as

Harald Gall, Tim Menzies, Laurie Williams, and Thomas Zimmermann. Software Development Analytics (Dagstuhl Seminar 14261). In Dagstuhl Reports, Volume 4, Issue 6, pp. 64-83, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{gall_et_al:DagRep.4.6.64,
  author =	{Gall, Harald and Menzies, Tim and Williams, Laurie and Zimmermann, Thomas},
  title =	{{Software Development Analytics (Dagstuhl Seminar 14261)}},
  pages =	{64--83},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{6},
  editor =	{Gall, Harald and Menzies, Tim and Williams, Laurie and Zimmermann, Thomas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.6.64},
  URN =		{urn:nbn:de:0030-drops-47638},
  doi =		{10.4230/DagRep.4.6.64},
  annote =	{Keywords: software development, data-driven decision making, analytics, empirical software engineering, mining software repositories, business intelligence, pre}
}
Document
DOI: 10.4230/DagRep.4.6.84
Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271)

Authors: Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, and Peter Thiemann

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14271 "Scripting Languages and Frameworks: Analysis and Verification". The seminar brought together a broad spectrum of researchers working on the semantics, analysis and verification of scripting languages. In addition to talks describing the latest problems and research on the key issues, split roughly into four overarching themes: semantics, types, analysis, contracts, languages, and security, the seminar had breakout sessions devoted to crosscutting topics that were of broad interest across the community, including, how to create shared analysis infrastructure, how to think about the semantics of contracts and blame, and the role of soundness in analyzing real world languages, as well as several "tutorial" sessions explaining various new tools and techniques.
Cite as

Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, and Peter Thiemann. Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271). In Dagstuhl Reports, Volume 4, Issue 6, pp. 84-107, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{henglein_et_al:DagRep.4.6.84,
  author =	{Henglein, Fritz and Jhala, Ranjit and Krishnamurthi, Shriram and Thiemann, Peter},
  title =	{{Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271)}},
  pages =	{84--107},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{6},
  editor =	{Henglein, Fritz and Jhala, Ranjit and Krishnamurthi, Shriram and Thiemann, Peter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.6.84},
  URN =		{urn:nbn:de:0030-drops-47816},
  doi =		{10.4230/DagRep.4.6.84},
  annote =	{Keywords: Scripting Languages, Frameworks, Contracts, Types, Analysis, Semantics}
}
Document
DOI: 10.4230/DagRep.4.6.108
Exploring Interdisciplinary Grand Challenges in ICT Design to Support Proactive Health and Wellbeing (Dagstuhl Perspectives Workshop 14272)

Authors: m.c. schraefel and Elizabeth F. Churchill

Abstract
There have been significant successes in ICT in eHealth. Examples include deploying mobile devices to improve drug adherence, designing Internet services to extend human expert contact, and developing devices and services that encourage engagement in proactive healthcare activities. From an infrastructure perspective, better supply-chain management has reduced healthcare and patient support costs. However, we believe that even greater benefits for improved Quality of Life (QoL) can be realized by broadening the eHealth agenda. We advocate moving upstream from medical intervention and healthcare for those already diagnosed as "il" to the design of sociotechnical technologies and systems aimed at fostering Proactive Health and Wellbeing. While not focused on medical health issues specifically, proactive strategies for wellbeing are key to long term health and thus to the reduction of healthcare needs and costs. Through support for lifestyle adjustments to focus more firmly on proactive strategies, we will no doubt achieve reductions in the number of people who become ill in the first place. This will, in turn, reduce the costs of healthcare support at individual, group and societal levels. Good examples are preventable lifestyle conditions such as obesity and heart disease. Two major challenges are clear, each of which has a number of sub-challenges. Our first challenge is to map key issues that are tractable in the short, medium and long term. To this end, an interdisciplinary group of researchers from academia and industry, with expertise in sports science, neurology, cardiology, computer science, psychology and sociology met to create a road map for research challenges around developing interactive technologies to support this proactive health and wellbeing agenda. This gathering of research leaders was the Perspectives Workshop on Interdisciplinary Grand Challenges in ICT Design to Support Proactive Health and Wellbeing. Here, we posed the question: What are the key Human Computer Interaction and Computer Science research challenges that need to be addressed for us to support more effective proactive health and wellbeing practices in the long term? We derived five key challenges which we propose to be the foundations for a new research area, "Wellth Sciences: 1) Developing Effective Methodologies, Measures and Metrics for Understanding Proactive Health and Wellbeing; 2) Understanding Motivation and Sensemaking with regard to experiential aspects of a proactive engagement with wellbeing and health; 3) Rethinking Design Practices; 4) Creating New Frameworks and Models; and 5) Rethinking the Phenomenology and Epistemology of "Health". These challenge areas are detailed in the following report, along with landmarks for success at 1, 5 and 10 year periods. The second major challenge is to foster a dedicated, multi-disciplinary research community focused on these issues. The Perspectives Workshop gave us the first step forward toward addressing this challenge. We offer a proposal for ongoing connection and collaboration between those assembled for the workshop, and for inviting others to address the research areas identified.
Cite as

m.c. schraefel and Elizabeth F. Churchill. Exploring Interdisciplinary Grand Challenges in ICT Design to Support Proactive Health and Wellbeing (Dagstuhl Perspectives Workshop 14272). In Dagstuhl Reports, Volume 4, Issue 6, pp. 108-123, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{schraefel_et_al:DagRep.4.6.108,
  author =	{schraefel, m.c. and Churchill, Elizabeth F.},
  title =	{{Exploring Interdisciplinary Grand Challenges in ICT Design to Support Proactive Health and Wellbeing (Dagstuhl Perspectives Workshop 14272)}},
  pages =	{108--123},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{6},
  editor =	{schraefel, m.c. and Churchill, Elizabeth F.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.6.108},
  URN =		{urn:nbn:de:0030-drops-48877},
  doi =		{10.4230/DagRep.4.6.108},
  annote =	{Keywords: Proactive Health, Proactive Wellbeing, Wellth, Wellth Creation, Quality of Life, methodology, interactive design, Health, wellness, computer science}
}

Filters

  • Authors
  • C
  • Chen, Min
  • Churchill, Elizabeth F.
  • G
  • Gall, Harald
  • Giacobazzi, Roberto
  • H
  • Hansen, Charles D.
  • Henglein, Fritz
  • J
  • Jhala, Ranjit
  • K
  • Krishnamurthi, Shriram
  • M
  • Menzies, Tim
  • R
  • Rehof, Jakob
  • Rheingans, Penny
  • S
  • Scheuermann, Gerik
  • schraefel, m.c.
  • Simon, Axel
  • T
  • Thiemann, Peter
  • V
  • Vardi, Moshe Y.
  • W
  • Williams, Laurie
  • Z
  • Zennou, Sarah
  • Zimmermann, Thomas

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