SALAD

First International Workshop on SoftwAre debLoating And Delayering

The Workshop on SoftwAre debLoating And Delayering will be held in conjunction with ECOOP on July 19, 2018. SALAD will features discussion how program analysis and transformation can improve efficiency and safety of software by removing layers of abstraction. This workshop is partly supported by the U.S. Office of Naval Research on its recently created TPCP program that aims for late-stage software customization/specialization and complexity reduction techniques.

Talks

Call for Papers

Typical software engineering methodologies focus on programmer productivity, they introduce execution inefficiencies due to abstraction boundaries and the inclusion of likely unused code. Program transformation techniques to mitigate these drawbacks while preserving original abstractions is underway. Such efforts seek to reclaim software execution efficiency and reduce indirection, as well as automatically de-layer and de-bloat programs. Promising results show that it is also possible to reduce the cyber security attack surface.

The Workshop on SoftwAre debLoating And Delayering (SALAD) will be held in conjunction with ECOOP on July 19, 2018. SALAD will features discussion how program analysis and transformation can improve efficiency and safety of software by removing layers of abstraction. This workshop is partly supported by the U.S. Office of Naval Research on its recently created TPCP program that aims for late-stage software customization/specialization and complexity reduction techniques.

Scope

Despite some early progress, there are still many open avenues for research. Various automated tools and ecosystems need to be investigated and developed to guarantee the effectiveness and correctness of transformation efforts as well as the performance wins of the transformed software. SALAD encourages submission geared toward:

• Understanding issues in analysis and transformation for various languages and environments for de-layering and de-bloating.
• Tools and techniques for guaranteeing correctness and enabling non-critical or undesired feature removal.
• Identification of layers and areas of computing systems that are suitable for and can benefit from software customization/transformation.
• Identification of associated challenges and constraints, and the particular adaptation to the methodology needed to operate within the identified areas.

Submissions

SALAD does NOT publish proceedings. SALAD accepts position papers between 1 and 6 pages. Submissions should be in two-column, 10-point format.