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.|
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.
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.
SALAD does NOT publish proceedings. SALAD accepts position papers between 1 and 6 pages. Submissions should be in two-column, 10-point format.
Thu 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30
|ONR's perspective on debloating |
|Degunking the CloudKeynote|
Nick Mitchell IBM TJ Watson Research Center
|Application Extraction for Java: A retrospective report of the Jax project|
Frank Tip Northeastern University, Chris Laffra Uber Technologies
13:30 - 15:30
|An Opinionated Survey of the Java Static Analysis Landscape|
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
|Class hierarchy flattening: obfuscating (almost) all type information in Java programs|
Bjorn De Sutter Ghent University, Belgium
|Delta Debugging of Java Bytecode|
Jens Palsberg University of California, Los Angeles
|Fine-Grained Library Customization|
Linhai Song Pennsylvania State University, USA, Xinyu Xing
16:00 - 18:30
|On the Effectiveness of Kernel Debloating via Compile-time Configuration|
Mansour Alharthi , Hong Hu Georgia Institute of Technology, Hyungon Moon Georgia Tech, Taesoo Kim Georgia Tech
|WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support|
Julian Dolby IBM Thomas J. Watson Research Center
|Detection of Spectre vulnerabilities via static analysis|
Omer Tripp Google Inc.
|BinRec: Attack Surface Reduction Through Dynamic Binary Recovery|
Taddeus Kroes Vrije Universiteit Amsterdam, Anil Altinay , Joseph Nash , Yeoul Na , Stijn Volckaert University of California, Irvine, Herbert Bos , Michael Franz University of California, Irvine, Cristiano Giuffrida