[TYPES/announce] PASTE 2013: CALL FOR PARTICIPATION

[Corina Pasareanu]

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

PASTE 2013: CALL FOR PARTICIPATION and CALL FOR LIGHTNING TALKS

11th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software
Tools and Engineering

http://www.cs.williams.edu/PASTE2013/index.html
June 20, 2013, Seattle, WA
Co-located with PLDI'13

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

PASTE 2013 is the eleventh workshop in a series that brings together
the program analysis, software tools, and software engineering
communities to focus on applications of program analysis techniques in
software tools.

This year, PASTE will include technical papers, a keynote
presentation, and a lightning talks session open to all attendees; see
the call at the bottom of this message for more details.

-------

KEYNOTE

"Rebooting Type Systems with SMT"
Ranjit Jhala, University of California, San Diego


-------

ACCEPTED PAPERS

"Automated Inference of Atomic Sets for Safe Concurrent Execution"
P. Dinges, M. Charalambides, G. Agha

"Automatically Mining Program Build Information via Signature
Matching"
C. Lu

"A Comprehensive Toolchain for Workload Characterization Across JVM
Languages"
A. Sarimbekov, S. Kell, L. Bulej, A. Sewe, Y. Zheng,
D. Ansaloni, W. Binder

"Exploring Program Phases for Statistical Bug Localization"
V. Modi, S. Roy, S. Aggarwal

"Increasing Human-Tool Interaction via the Web"
T. Ball, J. De Halleux, D. Leijen, N. Swamy

"A Proper Performance Evaluation System That Summarizes Code Placement
Effects"
M. Yasugi, Y. Matsuda, T. Ugawa

"ShadowData -- Shadowing Heap Objects in Java"
M. Vitasek, W. Binder, M. Hauswirth


-------

CALL FOR LIGHTNING TALKS

Lightning talks can describe early research ideas or results, research
perspectives or positions, and other topics of interest to the PASTE
community.  Tool demonstrations are also welcome.  Lightning talks
will be allocated 10 minute slots, which will consist of 5 minutes for
presentation and 5 minutes for discussion.

Researchers who would like to present a lightning talk should send the
following information to paste13 at cs.williams.edu by 5pm EST, Friday,
May 10, 2013:

  * Presenter name, affiliation, and email address
  * Proposed title
  * A short paragraph describing the talk
  * Please include "PASTE lightning talk submission" in the email
    subject

Lightning talks will be accepted based on relevance to the workshop.

Selected presenters will be notified via email by May 14, 2013.

-- 
Corina Pasareanu
CMU SV, NASA Ames
http://ti.arc.nasa.gov/profile/pcorina