[Soot-list] SOAP'14: Call for Participation

[Steven Arzt]

SOAP 2014 - CALL FOR PARTICIPATION

(co-located with PLDI 2014)

 

******************************************************************

 

Third ACM SIGPLAN International Workshop on the State Of the Art in Java
Program Analysis (SOAP 2014)

Sponsor: ACM SIGPLAN, co-located with PLDI 2014

When: June 12, 2014 in Edinburgh, UK

 

Web: http://www.sable.mcgill.ca/soap

 

DESCRIPTION

Static and dynamic analysis techniques and tools for the Java language have
received widespread attention for a long time.  The application domains of
these analyses range from core libraries to modern technologies such as web
services and Android applications.  Over time, analysis frameworks for Java
such as Soot and WALA have been developed to better support techniques for
optimizing programs, ensuring code quality, and assessing security and
compliance.

 

Sponsored by ACM SIGPLAN, the Soot community brought together its members
and other researchers by organizing the International Workshop on the State
Of the Art in Java Program Analysis (SOAP) in 2012 and 2013 in conjunction
with PLDI.  The presentations and discussions helped share new developments
and shape new innovations in Java analysis and frameworks with a focus on
Soot.  The workshops received very positive feedback from Soot contributors
and users as well as other SOAP/PLDI attendees.  SOAP '14 will enhance that
positive experience with an increased emphasis on contributions from outside
the Soot community.

 

SOAP 2014 welcomes participants from all backgrounds who use Soot or any
other analysis libraries.  We welcome exciting new ideas, innovative
designs, and extensions to related languages such as JavaScript (as a
client-side complement of server-side Java).  The workshop agenda will
continue its tradition of lively discussion sessions on extensions to Soot
and integrations and synergies between Soot and other frameworks.

 

FORMAT

The workshop will take one day and will feature an invited talk by a leading
member of the Java analysis community (regardless of relationship with
Soot), presentations of all accepted refereed papers with plenty of time for
discussion, and a lively concluding session for a discussion of the present
and future of Soot as well as program analysis for Java in general.

 

PROGRAM AT A GLANCE

09:00-09:05        Welcome & Introduction

09:05-10:00        Invited Talk by Mayur Naik

10:00-10:30        Break

10:30-12:00        Paper Presentations - Session 1

12:00-13:30        Lunch

13:30-14:30        Invited Talk by Eric Bodden

14:30-15:30        Paper Presentations - Session 2

15:30-16:00        Break

16:00-16:30        Small-group discussions

16:30-17:00        Discussion summaries and closing

 

ORGANIZERS

Steven Arzt, European Center for Security and Privacy by Design, Darmstadt,
Germany

Raul Santelices, University of Notre Dame, USA

 

PROGRAM COMMITTEE

Saswat Anand, Stanford University, USA

Alexandre Bartel, University of Luxembourg, Luxembourg

Eric Bodden, Technische Universität Darmstadt, Germany

Laurie Hendren, McGill University, Canada

Uday Khedker, Indian Institute of Technology - Bombay, India

Patrick Lam, University of Waterloo, Canada

Anders Møller, Aarhus University, Denmark

Rahul Purandare, Indraprastha Institute of Information Technology - Delhi,
India

Elena Sherman, Boise State University, USA

Oksana Tkachuk, NASA Ames, USA

Dacong Yan, Ohio State University, USA

 

PROGRAM IN DETAIL

Invited talk by Mayur Naik – 9:05-10:00

"Large-Scale Configurable Static Analysis"

 

Abstract

Program analyses developed over the last three decades have demonstrated the
ability to prove non-trivial properties of real-world programs. This ability
in turn has applications to emerging software challenges in security,
software-defined networking, cyber-physical systems, and beyond. The
diversity of such applications necessitates adapting the underlying program
analyses to client needs, in aspects of scalability, applicability, and
accuracy. Today’s program analyses, however, do not provide useful tuning
knobs. This talk presents a general computer-assisted approach to
effectively adapt program analyses to diverse clients.

The approach has three key ingredients. First, it poses optimization
problems that expose a large set of choices to adapt various aspects of an
analysis, such as its cost, the accuracy of its result, and the assumptions
it makes about missing information. Second, it solves those optimization
problems by new search algorithms that efficiently navigate large search
spaces, reason in the presence of noise, interact with users, and learn
across programs. Third, it comprises a program analysis platform that
facilitates users to specify and compose analyses, enables search algorithms
to reason about analyses, and allows using large-scale computing resources
to parallelize analyses

 

Short Bio

Mayur Naik is an assistant professor in Computer Science at Georgia Tech. He
does research in the areas of programming languages and software
engineering. Previously, he was a researcher at Intel Research in Berkeley
(2008-11). He obtained his Ph.D. from Stanford University (2003-07), an M.S.
from Purdue University (2001-03), and a B.E. from BITS Pilani, India
(1995-99), all in Computer Science.

 

Session 1: Static Analysis – 10:30-12:00

* A Software Product Line for Static Analyses - The OPAL Framework (Michael
Eichberg and Ben Hermann)

* Explicit and Symbolic Techniques for Fast and Scalable Points-to Analysis
(Edgar Pek and Madhusudan Parthasarathy)

* Android Taint Flow Analysis for App Sets (William Klieber, Lori Flynn,
Amar Bhosale, Limin Jia and Lujo Bauer)

 

Invited talk by Eric Bodden – 13:30-14:30

"How to build the perfect swiss-army knife, and keep it sharp? - Challenges
for the Soot program-analysis framework in the light of past, current and
future demands"

 

Abstract

Some program-analysis frameworks have been around for a long time, with Soot
alone having been around for more than one decade. Over the years, demand on
such frameworks have changed drastically, stressing the flexibility of
frameworks such as Soot to their limit. What were those demands back then
and how did they impact the design of Soot? What are the current demands and
what architectural and methodological changes do they demand? What has the
Soot community done to address these challenges? What remains to be solved?
This talk means to address these questions to open the debate about the
future evolution of Soot and other static-analysis frameworks.

 

Short Bio

Eric Bodden is a professor at Technische Universität Darmstadt and
Fraunhofer SIT where he leads the Secure Software Engineering Group. He has
been an active contributor to and maintainer of Soot for many years. His
research centers around various topics in static analysis, dynamic analysis,
and software engineering with a growing focus on security topics.

 

Session 2: Dynamic Analysis – 14:30-15:30

* Dynamic Slicing with Soot (Arian Treffer and Matthias Uflacker)

* TS4J: A Fluent Interface for Defining and Computing Typestate Analyses
(Eric Bodden)

 

Small-group discussions – 16:00-16:30

 

Discussion summaries and closing – 16:30-17:00

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140512/424c56b6/attachment-0001.html