affiliated with SAS 2013

co-located with PLDI 2013

Invited Speakers

Alex Aiken
Stanford University

Julian Dolby
IBM T.J. Watson Research Center

Sriram Rajamani
Microsoft Research India

Andrey Rybalchenko
Microsoft Research Cambridge and Technische Universität München

Accepted Papers

Aditya Thakur, Akash Lal, Junghee Lim, and Thomas Reps. PostHat and All That: Automating Abstract Interpretation.

Shuying Liang, Matthew Might, and David Van Horn. AnaDroid: Malware Analysis of Android with User-supplied Predicates.

Registration

Register with PLDI. Select TAPAS as your primary event on 19 June 2013. Early registration ends 15 May 2013.

Hotel rates available until 18 May 2013.

Submit

 Submit Analyzer Pearls on EasyChair

Important Dates

Submission Deadline

Extended
20 April 2013 (23:55 UTC-11)

Notification

9 May 2013

Camera-Ready

25 May 2013

Workshop

19 June 2013

Objective

In the last ten years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly. This workshop is intended to promote discussions between specialists in all areas of program analysis design and implementation and static analysis tool users.

Scope

The technical program for TAPAS 2013 will consist of invited lectures from leading experts in analysis design and implementation and contributed presentations of Analyzer Pearls.

Analyzer Pearls can cover any aspect of program analysis tools including, but not limited to the following

  • design and implementation of static analysis tools;
  • components of static analysis tools (front-ends, abstract domains, etc);
  • integration of static analyzers (in proof assistants, test generation tools, etc);
  • experience reports on the use of static analyzers;
  • challenges, such as new properties to address or bottlenecks to overcome; or
  • proposals that contribute to the dissemination of static analysis techniques to a wider audience.

Analyzer Pearls

TAPAS 2013 will solicit submissions for Analyzer Pearls that should be distinguished from standard research or tool papers.

Drawing inspiration from Functional Pearls appearing in JFP, Analyzer Pearls should contribute instructive essays that describe "tricks of the trade" in formalizing and constructing analyzer tools. An Analyzer Pearl may consider any aspect of the design and implementation of program analyzers--both theoretical and practical.

Example Analyzer Pearls could consist of (but are not limited to):

  • an instructive example construction composing abstract domains;
  • a nifty decomposition of an analysis engine;
  • an effective layering of intermediate representations;
  • a interesting data structure design for an analysis component; or
  • a crisp formalization methodology for analysis algorithms.

An Analyzer Pearl need not report original research results or describe a specific research tool; they may instead present a distillation or elegant new way of approaching the task of designing and implementing a program analyzer. An Analyzer Pearl could, for example, be supplemented with project files for a homework exercise. They should be "polished, elegant, instructive, entertaining." [Bird 2006]

We also recall Jon Bentley's quote about Programming Pearls, "Just as from grains of sand that have irritated oysters, these programming pearls have grown from real problems that have irritated programmers. The programs are fun, and they teach important programming techniques and fundamental design principles." This principle applies also to Analyzer Pearls. Our goal is to draw out the "pearls" from the community's experience in analysis design and implementation that perhaps "get lost in the details" of standard research papers.

Following Functional Pearls, reviewers will be instructed to stop reading when:

  • they get bored;
  • the material gets too complicated;
  • too much specialist knowledge is needed; or
  • the writing is bad.

Submissions

All pearls should be submitted via EasyChair.

All submitted pearls will be peer-reviewed by the program committee.

Submitted pearls should be 10-12 pages in length excluding bibliography and follow the ENTCS guidelines. Pearls must be written and presented in English and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings.

The TAPAS 2013 proceedings has received preliminary approval to be published electronically in a volume of the Electronic Notes in Theoretical Computer Science series.

Organizers

Program Chair

Bor-Yuh Evan Chang (University of Colorado Boulder, USA)

Program Committee

Dino Distefano (Queen Mary, University of London, UK)

Ben Hardekopf (University of California, Santa Barbara, USA)

Franjo Ivancic (NEC Labs America, USA)

Roman Manevich (Ben-Gurion University of the Negev, Israel)

Michał Moskal (Microsoft Research Redmond, USA)

Steering Committee

Radhia Cousot (CNRS and Ecole Normale Supérieure, France)

Xavier Rival (INRIA and Ecole Normale Supérieure, France)

Local Arrangements (SAS Chairs)

Francesco Logozzo (Microsoft Research Redmond, USA)

Manuel Fahndrich (Microsoft Research Redmond, USA)

Other SAS Affiliated Events

SASB: The 4th Workshop on Static Analysis and Systems Biology, 19 June 2013

Venue

TAPAS 2013 is an affiliated event of SAS 2013. It will be co-located with ACM PLDI 2013 and will take place at the Red Lion Hotel on 5th Ave in downtown Seattle, Washington, USA. Seattle, home to Amazon, Starbucks, Microsoft, and Boeing is famous for its coffee houses and its beautiful surroundings such as Puget Sound and its numerous islands, as well as the Olympic Peninsula and the nearby Cascade Range.