[TYPES/announce] Call for Participation: TAPAS 2013 (a SAS 2013 affiliated event and co-located with PLDI 2013)

[Bor-Yuh Evan Chang]

******************************************************************
Executive Summary

TAPAS 2013 welcomes participation in discussing Tools for Automatic Program
Analysis (a SAS 2013 satellite workshop and co-located with PLDI 2013).
Early registration ends soon: 15 May 2013.
******************************************************************

                         TAPAS 2013

                 Call for Participation

                         The 4th
            Tools for Automatic Program AnalysiS
                         Workshop
               (a SAS 2013 satellite workshop)

           19 June 2013, Seattle, Washington, USA

             http://pl.cs.colorado.edu/tapas2013


Invited Speakers

    Alex Aiken            Stanford University, USA
    Julian Dolby          IBM T.J. Watson Research Center, USA
    Sriram Rajamani       Microsoft Research, India
    Andrey Rybalchenko    Microsoft Research Cambridge, UK
                          and Technische Universität München, Germany


Accepted Papers

Aditya Thakur (University of Wisconsin, Madison), Akash Lal (Microsoft
Research India), Junghee Lim (GrammaTech), and Thomas Reps (University of
Wisconsin, Madison). PostHat and All That: Automating Abstract
Interpretation.

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


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.


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, USA


Steering Committee

    Radhia Cousot         CNRS and Ecole Normale Supérieure, France
    Xavier Rival          INRIA and Ecole Normale Supérieure, France


Affiliated Events

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

    SAS : The 20th International Static Analysis Symposium
          20-22 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130510/009b9acd/attachment.html>