We invite all people interested in reproducers, automatic bug fixing, automatic error impact reporting to submit their papers for presentation at the workshop.

In recent years, there was a significant progress in automatic generation of reproducible test cases, automatic estimation of result accuracy in presence of errors, automatic bug fixing approaches.

We will look for cross-pollination between different platforms and fields in hope of improving state-of-art in error model and error handling across entire computer science.

We invite you to present your research, position papers and case studies on the following topics:

• Automatic reproducers like those of LLDB
• Automatic unit test extraction using decorators and code inspection
• Error-tracing algebras
• Automatic impact reporting and accuracy estimation in financial industry and data analytics
• Provenance tracking as applied to data analytics and error reporting
• Commercial error databases and error analytics pipelines
• Intrusion detection systems based on error-monitoring

Our intended audience are both:

• Experts in automated debugging, error fixing wishing to exchange knowledge with their peers.
• Industry practitioners interested to learn more about approaches to automated analysis of errors
• Academics in quest for formalization of automated error analysis and fixing
• Industry practitioners interested in computer science approaches to satisfy risk reporting guidelines with respect to error impact tracing and reporting of accuracy

ADEIRA 2021: Call for papers and presentations

Important dates

Abstract registration deadline

January 15th, 2021

Submission deadline

January 20th, 2021

Author response period

February 14th-21st, 2021

Acceptance notification

March 1st, 2021

Topics

Automatic debugging, error fixing, and reporting is getting more and more popularity across different research communities. We aim to provide a forum for exchange of latest work and document best practices across different disciplines.

• Automatic reproducers like those generated by LLDB
• Automatic unit test extraction and using decorators and code inspection
• Automatic reproducer/error case minimization
• Interactive error recovery systems and their applications
• Error algebras and error-tracing algebras
• Formalizations of debugging
• Fault impact reporting and accuracy estimation
• Provenance tracking in term rewriting
• Error analytics pipelines and databases
• Error monitoring in intrusion detection systems
• Delta debugging
• Automatic generation of error dashboards
• Global fault analysis of systems with both computational and human component, and cyber-physical systems.

Note that workshop particularly encourage treatment of all kinds of errors, be they compile-time, run-time, discrepancies between intent and specification, hardware failures, or human errors to the degree to which they are amenable to automatic analysis and reporting.

Intended audience

• Experts in automated debugging, error fixing wishing to exchange knowledge with their peers.
• Industry practitioners interested to learn more about approaches to automated analysis of errors.
• Academics in quest for formalization of automated error analysis and fixing
• Financial industry practitioners interested in computer science approaches to satisfy risk reporting guidelines with respect to error impact tracing and reporting of accuracy
• Management scientist looking for automatic global fault reporting and impact reporting methodologies.

Because of this, we encourage you to reference used theories and methodologies, and provide a introductions with use cases.

Goals

• Our main goal is to encourage social exchange of ideas related to automatic error analysis and impact reporting.
• We call for position papers, research expositions, early stage work, and industry experience papers to encourage exchange of on-going research and implementation efforts.

Programme committee

• Kenichi Asai, Ochanomizu University
• Michał J. Gajda, Migamake Pte Ltd (chair)
• Michał “phoe” Herda #lisp @ Freenode IRC
• Henrik Nilsson University of Nottingham
• Vladimir Panteleev DustMite
• Francesco Spegni Università Politecnica delle Marche
• Dmitry Vostokov DumpAnalysis.org
• Vadim Zaytsev Universiteit Twente

Submissions

We welcome original, unpublished papers of the following forms: full articles, extended abstracts, case studies.

Please submit your paper or extended abstract by EasyChair. You may contact the committee chair with any questions you have about submission.

The paper evaluation will use the following criteria:

• Novelty
• Clarity of exposition
• Transferrability of innovation(s) to other domains
• Scientific rigour and form of the article
• Cross-pollination potential with other papers
• Preliminary papers will be offered feedback on how to improve the quality in all these factors before and during the workshop

All submissions should use ACM DL proceedings template.