Research Papers17th Innovations in Software Engineering Conference (ISEC 2024)

Accepted Papers

Call for Papers

ISEC 2024 invites the submission of high-quality research papers, from both academia and industry, describing novel and unpublished results in foundational, theoretical, empirical, or applied aspects of Software Engineering (SE). Topics of interest include but are not limited to:

• Requirements engineering
• Modeling, API design, and software architecture
• Software engineering processes
• Software development tools
• Configuration management
• Software evolution, refactoring, repair, reuse, and maintenance
• Release engineering and DevOps
• Machine learning for Software Engineering and vice versa
• Software analytics and visualization, mining repositories
• Program comprehension, reverse engineering
• Software engineering education
• Industrial aspects of software engineering
• Human Computer Interface (HCI) aspects of software engineering
• Ethics in software engineering
• Diversity, inclusion, and social aspects of software engineering

The papers will be evaluated based on the importance of the chosen problem to software engineering, novelty of the contributions (how the paper advances the state of the art), thoroughness of the evaluation (or soundness of a theoretical contribution), and quality of writing.

New in ISEC 2024

This year, we strongly encourage submissions in the following two focus areas:

Large-Language-Models meet Software Engineering

With their emergent capabilities, Large Language Models (LLMs) could be useful tools for solving software engineering problems at scale. On the other hand, SE techniques may also help in effectively harnessing the capabilities of LLMs. We invite papers presenting novel research on leveraging LLMs for SE or SE for LLMs. Some possible topics:

Applications of LLMs to:

• Code generation
• Code repair
• Software evolution and maintenance
• DevOps
• Configuration management
• Mining properties
• Test generation
• High-assurance software
• Reverse engineering

Applications of SE to:

• Trustworthy AI
• Efficient AI infrastructure
• Techniques (e.g., prompting techniques) to effectively use LLMs
  
  

Reliable, Safe, and Secure Software

With software getting more and more pervasive, the need for safe and secure software is more than ever. We invite submissions that apply SE, Programming Languages, and formal techniques for high-assurance software. Some possible topics:

• Specifications and proofs
• Model checking
• Tests generation, testing and debugging
• Bug-finding
• Program analysis
• Security and privacy
• Trustworthy cloud services
• Trustworthy embedded and cyber-physical systems
• Social and HCI aspects of security and privacy

Papers submitted in these two areas would be reviewed under the supervision of respective chairs. They will be presented at the conference and included in the proceedings, without any distinction from other papers.

Submission Details:

Submission template: https://www.acm.org/publications/proceedings-template

Submission link: https://isec24.hotcrp.com/

Submitted papers can be in one of the two categories: (1) Regular papers and (2) Short papers

Regular papers should not exceed 11 pages, 10 pages for the main text (including figures, appendix, etc.) and 1 page for references in the standard ACM format. Submissions in this category are expected to describe novel, high-quality research, with thorough evaluation (if applicable), in one of more aspects of software engineering.

Short papers should not exceed 5 pages, including references in the standard ACM format. Submissions in this category may contain, for example, new interesting ideas that may not have been evaluated extensively. However, the ideas must be robust and of technical merit, with convincing evidence that they can be taken towards completion.

The submissions are non-anonymous.

Important guidelines

Submissions must follow the ACM guidelines on authorship, specially related to the use of generative AI tools like ChatGPT when writing papers (related FAQ). Submissions must also comply with the ACM plagiarism policy and procedures. Specifically, a submission must not have been published elsewhere and must not be under review elsewhere while under review for ISEC.

If a submission is accepted, at least one author of the paper is required to attend the conference and present the paper in person.

Best Paper Award:

One of the accepted papers in the regular papers category will be awarded as the best paper. The criteria for the best paper include significance, novelty, clarity, and broad applicability. The award will be decided by the program committee and the steering committee and will be announced at the conference.

Accepted papers in all categories will be published in the ACM Digital Library and indexed by DBLP.