Search Results

Documents authored by Zeller, Andreas


Document
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131)

Authors: Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, and Hasan Ferit Eniser

Published in: Dagstuhl Reports, Volume 13, Issue 3 (2023)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23131 "Software Bug Detection: Challenges and Synergies". This seminar brought together researchers from academia and industry working on various aspects of software bug detection, with two broad goals: identifying challenges in practical deployment of bug-finding tools and discovering new synergies among bug-finding techniques and research methods. The seminar focused discussion on bug-finding tools and their relevance and adoption in industry.

Cite as

Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, and Hasan Ferit Eniser. Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). In Dagstuhl Reports, Volume 13, Issue 3, pp. 92-105, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


Copy BibTex To Clipboard

@Article{bohme_et_al:DagRep.13.3.92,
  author =	{B\"{o}hme, Marcel and Christakis, Maria and Padhye, Rohan and Serebryany, Kostya and Zeller, Andreas and Eniser, Hasan Ferit},
  title =	{{Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131)}},
  pages =	{92--105},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{13},
  number =	{3},
  editor =	{B\"{o}hme, Marcel and Christakis, Maria and Padhye, Rohan and Serebryany, Kostya and Zeller, Andreas and Eniser, Hasan Ferit},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.3.92},
  URN =		{urn:nbn:de:0030-drops-192308},
  doi =		{10.4230/DagRep.13.3.92},
  annote =	{Keywords: Bug Finding, Coverage, ML4SE, Oracles, Software Testing, Software Verification}
}
Document
Testing and Verification of Compilers (Dagstuhl Seminar 17502)

Authors: Junjie Chen, Alastair F. Donaldson, Andreas Zeller, and Hongyu Zhang

Published in: Dagstuhl Reports, Volume 7, Issue 12 (2018)


Abstract
This report documents the Dagstuhl Seminar 17502 "Testing and Verification of Compilers" that took place during December 10 to 13, 2017, which we provide as a resource for researchers who are interested in understanding the state of the art and open problems in this field, and applying them to this and other areas.

Cite as

Junjie Chen, Alastair F. Donaldson, Andreas Zeller, and Hongyu Zhang. Testing and Verification of Compilers (Dagstuhl Seminar 17502). In Dagstuhl Reports, Volume 7, Issue 12, pp. 50-65, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{chen_et_al:DagRep.7.12.50,
  author =	{Chen, Junjie and Donaldson, Alastair F. and Zeller, Andreas and Zhang, Hongyu},
  title =	{{Testing and Verification of Compilers (Dagstuhl Seminar 17502)}},
  pages =	{50--65},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{12},
  editor =	{Chen, Junjie and Donaldson, Alastair F. and Zeller, Andreas and Zhang, Hongyu},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12.50},
  URN =		{urn:nbn:de:0030-drops-86763},
  doi =		{10.4230/DagRep.7.12.50},
  annote =	{Keywords: code generation, compiler testing, compiler verification, program analysis, program optimization}
}
Document
Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452)

Authors: Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, and Andreas Zeller

Published in: Dagstuhl Reports, Volume 5, Issue 11 (2016)


Abstract
This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15452 "Artifact Evaluation for Publications". This Perspectives Workshop conveyed several stakeholders in artifact evaluation from different communities to assess how artifact evaluation is working and make recommendations to the computer systems research community about several issues with the process.

Cite as

Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, and Andreas Zeller. Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452). In Dagstuhl Reports, Volume 5, Issue 11, pp. 29-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{childers_et_al:DagRep.5.11.29,
  author =	{Childers, Bruce R. and Fursin, Grigori and Krishnamurthi, Shriram and Zeller, Andreas},
  title =	{{Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452)}},
  pages =	{29--35},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Childers, Bruce R. and Fursin, Grigori and Krishnamurthi, Shriram 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.5.11.29},
  URN =		{urn:nbn:de:0030-drops-57620},
  doi =		{10.4230/DagRep.5.11.29},
  annote =	{Keywords: Computer systems, artifacts, reproducibility, archive}
}
Document
Fault Prediction, Localization, and Repair (Dagstuhl Seminar 13061)

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

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


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
Self-Repairing Programs (Dagstuhl Seminar 11062)

Authors: Mauro Pezzè, Martin C. Rinard, Westley Weimer, and Andreas Zeller

Published in: Dagstuhl Reports, Volume 1, Issue 2 (2011)


Abstract
Dagstuhl seminar 11062 ``Self-Repairing Programs'' included 23 participants and organizers from research and industrial communities. Self-Repairing Programs are a new and emerging area, and many participants reported that they initially felt their first research home to be in another area, such as testing, program synthesis, debugging, self-healing systems, or security. Over the course of the seminar, the participants found common ground in discussions of concerns, challenges, and the state of the art.

Cite as

Mauro Pezzè, Martin C. Rinard, Westley Weimer, and Andreas Zeller. Self-Repairing Programs (Dagstuhl Seminar 11062). In Dagstuhl Reports, Volume 1, Issue 2, pp. 16-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@Article{pezze_et_al:DagRep.1.2.16,
  author =	{Pezz\`{e}, Mauro and Rinard, Martin C. and Weimer, Westley and Zeller, Andreas},
  title =	{{Self-Repairing Programs (Dagstuhl Seminar 11062)}},
  pages =	{16--29},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{2},
  editor =	{Pezz\`{e}, Mauro and Rinard, Martin C. and Weimer, Westley 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.1.2.16},
  URN =		{urn:nbn:de:0030-drops-31525},
  doi =		{10.4230/DagRep.1.2.16},
  annote =	{Keywords: Automated program repair, contract, debugging, fault, patch, self-healing}
}
Document
07491 Abstracts Collection – Mining Programs and Processes

Authors: Abraham Bernstein, Harald Gall, and Andreas Zeller

Published in: Dagstuhl Seminar Proceedings, Volume 7491, Mining Programs and Processes (2009)


Abstract
From 02.12. to 17.12.2007, the Dagstuhl Seminar 07491 ``Mining Programs and Processes'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. 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

Abraham Bernstein, Harald Gall, and Andreas Zeller. 07491 Abstracts Collection – Mining Programs and Processes. In Mining Programs and Processes. Dagstuhl Seminar Proceedings, Volume 7491, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{bernstein_et_al:DagSemProc.07491.1,
  author =	{Bernstein, Abraham and Gall, Harald and Zeller, Andreas},
  title =	{{07491 Abstracts Collection – Mining Programs and Processes}},
  booktitle =	{Mining Programs and Processes},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{7491},
  editor =	{Abraham berstein and Harald Gall and Andreas Zeller},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07491.1},
  URN =		{urn:nbn:de:0030-drops-22474},
  doi =		{10.4230/DagSemProc.07491.1},
  annote =	{Keywords: Mining software archives, data mining, machine learning, empirical software engineering}
}
Document
07491 Executive Summary – Mining Programs and Processes

Authors: Abraham Bernstein, Harald Gall, and Andreas Zeller

Published in: Dagstuhl Seminar Proceedings, Volume 7491, Mining Programs and Processes (2009)


Abstract
The main goal of the seminar "Mining Programs and Processes" was to create a synergy between researchers of three communities, namely mining software repositories, data mining and machine learning, and empirical software engineering.

Cite as

Abraham Bernstein, Harald Gall, and Andreas Zeller. 07491 Executive Summary – Mining Programs and Processes. In Mining Programs and Processes. Dagstuhl Seminar Proceedings, Volume 7491, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{bernstein_et_al:DagSemProc.07491.2,
  author =	{Bernstein, Abraham and Gall, Harald and Zeller, Andreas},
  title =	{{07491 Executive Summary – Mining Programs and Processes}},
  booktitle =	{Mining Programs and Processes},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{7491},
  editor =	{Abraham berstein and Harald Gall and Andreas Zeller},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07491.2},
  URN =		{urn:nbn:de:0030-drops-22465},
  doi =		{10.4230/DagSemProc.07491.2},
  annote =	{Keywords: Mining software archives, data mining, machine learning, empirical software engineering}
}
Document
05261 Abstracts Collection – Multi-Version Program Analysis

Authors: Thomas Ball, Stephan Diehl, David Notkin, and Andreas Zeller

Published in: Dagstuhl Seminar Proceedings, Volume 5261, Multi-Version Program Analysis (2006)


Abstract
From 26.06.05 to 01.07.05, the Dagstuhl Seminar 05261 ``Multi-Version Program Analysis'' 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

Thomas Ball, Stephan Diehl, David Notkin, and Andreas Zeller. 05261 Abstracts Collection – Multi-Version Program Analysis. In Multi-Version Program Analysis. Dagstuhl Seminar Proceedings, Volume 5261, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{ball_et_al:DagSemProc.05261.1,
  author =	{Ball, Thomas and Diehl, Stephan and Notkin, David and Zeller, Andreas},
  title =	{{05261 Abstracts Collection – Multi-Version Program Analysis}},
  booktitle =	{Multi-Version Program Analysis},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5261},
  editor =	{Thomas Ball and Stephan Diehl and David Notkin and Andreas Zeller},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05261.1},
  URN =		{urn:nbn:de:0030-drops-5600},
  doi =		{10.4230/DagSemProc.05261.1},
  annote =	{Keywords: Software engineering, data mining, software processes, software archives, version control, bug database, experimentation, measurement, verification}
}
Document
05261 Summary – Multi-Version Program Analysis

Authors: Thomas Ball, Stephan Diehl, David Notkin, and Andreas Zeller

Published in: Dagstuhl Seminar Proceedings, Volume 5261, Multi-Version Program Analysis (2006)


Abstract
Change is an inevitable part of successful software systems. Software changes induce costs, as they force people to repeat earlier assessments. On the other hand, knowing about software changes can also bring benefits, as changes are artifacts that can be analyzed. In the last years, researchers have begun to analyze software together with its change history. There is a huge amount of historical information that can be extracted, abstracted, and leveraged: - Knowing about earlier versions and their properties can lead to incremental assessments. - Analyzing the history of a product can tell how changes in software are related to other changes and features. - Relating properties to changes can help focusing on changes that cause specific properties. In this Dagstuhl seminar, researchers that analyze software and its history have met and discussed for a full week, exchanging their ideas, and combining and integrating the techniques to build a greater whole. Clearly, understanding history can play a major role when it comes to understand software systems.

Cite as

Thomas Ball, Stephan Diehl, David Notkin, and Andreas Zeller. 05261 Summary – Multi-Version Program Analysis. In Multi-Version Program Analysis. Dagstuhl Seminar Proceedings, Volume 5261, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{ball_et_al:DagSemProc.05261.2,
  author =	{Ball, Thomas and Diehl, Stephan and Notkin, David and Zeller, Andreas},
  title =	{{05261 Summary – Multi-Version Program Analysis}},
  booktitle =	{Multi-Version Program Analysis},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5261},
  editor =	{Thomas Ball and Stephan Diehl and David Notkin and Andreas Zeller},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05261.2},
  URN =		{urn:nbn:de:0030-drops-5591},
  doi =		{10.4230/DagSemProc.05261.2},
  annote =	{Keywords: Software engineering, data minig, software processes, software archives, version control, bug database, experimantation, measurement, verification}
}
Document
Understanding Program Dynamics (Dagstuhl Seminar 03491)

Authors: Jong-Deok Choi, Barbara G. Ryder, and Andreas Zeller

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Jong-Deok Choi, Barbara G. Ryder, and Andreas Zeller. Understanding Program Dynamics (Dagstuhl Seminar 03491). Dagstuhl Seminar Report 405, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)


Copy BibTex To Clipboard

@TechReport{choi_et_al:DagSemRep.405,
  author =	{Choi, Jong-Deok and Ryder, Barbara G. and Zeller, Andreas},
  title =	{{Understanding Program Dynamics (Dagstuhl Seminar 03491)}},
  pages =	{1--6},
  ISSN =	{1619-0203},
  year =	{2003},
  type = 	{Dagstuhl Seminar Report},
  number =	{405},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.405},
  URN =		{urn:nbn:de:0030-drops-152854},
  doi =		{10.4230/DagSemRep.405},
}
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