TAV-CPS/IoT 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018

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

Title
An Opinionated Survey of the Java Static Analysis Landscape
SALAD
Application Extraction for Java: A retrospective report of the Jax project
SALAD
BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
SALAD
Class hierarchy flattening: obfuscating (almost) all type information in Java programs
SALAD
Degunking the CloudKeynote
SALAD
Delta Debugging of Java Bytecode
SALAD
Detection of Spectre vulnerabilities via static analysis
SALAD
Fine-Grained Library Customization
SALAD
ONR's perspective on debloating
SALAD
On the Effectiveness of Kernel Debloating via Compile-time Configuration
SALAD
WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support
SALAD

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.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
SALAD 1SALAD at Paris
Chair(s): Harry XuUniversity of California, Los Angeles
11:00
15m
Talk
ONR's perspective on debloating
SALAD
11:15
40m
Talk
Degunking the CloudKeynote
SALAD
Nick MitchellIBM TJ Watson Research Center
11:55
35m
Talk
Application Extraction for Java: A retrospective report of the Jax project
SALAD
Frank TipNortheastern University, Chris LaffraUber Technologies
13:30 - 15:30
SALAD 2SALAD at Paris
Chair(s): Harry XuUniversity of California, Los Angeles
13:30
30m
Talk
An Opinionated Survey of the Java Static Analysis Landscape
SALAD
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
14:00
30m
Talk
Class hierarchy flattening: obfuscating (almost) all type information in Java programs
SALAD
Bjorn De SutterGhent University, Belgium
14:30
30m
Talk
Delta Debugging of Java Bytecode
SALAD
Jens PalsbergUniversity of California, Los Angeles
15:00
30m
Talk
Fine-Grained Library Customization
SALAD
Linhai SongPennsylvania State University, USA, Xinyu Xing
16:00 - 18:30
SALAD 3SALAD at Paris
Chair(s): Jan VitekNortheastern University
16:00
37m
Talk
On the Effectiveness of Kernel Debloating via Compile-time Configuration
SALAD
Mansour Alharthi, Hong HuGeorgia Institute of Technology, Hyungon MoonGeorgia Tech, Taesoo KimGeorgia Tech
16:37
37m
Talk
WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support
SALAD
Julian DolbyIBM Thomas J. Watson Research Center
17:15
37m
Talk
Detection of Spectre vulnerabilities via static analysis
SALAD
Omer TrippGoogle Inc.
17:52
37m
Talk
BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
SALAD
Taddeus KroesVrije Universiteit Amsterdam, Anil Altinay, Joseph Nash, Yeoul Na, Stijn VolckaertUniversity of California, Irvine, Herbert Bos, Michael FranzUniversity of California, Irvine, Cristiano Giuffrida