11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)

colocated with PLDI 2013, Seattle, WA
June 20, 2013

Sponsored by ACM SIGPLAN ACM SIGSOFT

About PASTE

PASTE 2013 is the eleventh workshop in a series that meets roughly every 18 months, alternating between programming language and software engineering venues and intending to serve as a bridge between the two. The meeting brings together the program analysis, software tools, and software engineering communities to focus on applications of program analysis techniques in software tools.

Call for Participation and Lightning Talks

PASTE 2013 will include technical papers, a keynote presentation, and a lightning talks session open to all attendees; see the call for lightning talks below for more details.

Please register for PASTE through the PLDI registration system. Hotel information is also available.

Workshop Schedule

The workshop will be held in the Belltown Conference room. Breakfast will be served from 8:00-9:00 in the 4th floor foyer.

9:00 - 10:00 Keynote

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

Programs written in so-called dynamic languages like JavaScript, Python and Ruby make heavy use of features like the combination of run-time type tests, value-indexed dictionaries, polymorphism, and higher-order functions, that are beyond the reach of classical, syntax-directed type systems. We present a new SMT-based technique called "Nested Refinement Types" wherein types are described via logical formulas that constrain the sets of values corresponding to the types. By encoding the typing relation itself as a predicate in the refinement logic, and using a new subtyping algorithm that co-ordinates SMT-based logical implication and syntactic subtyping, we can automatically verify programs using the sophisticated dynamic idioms described above.

We have used nested refinements to develop Dependent JavaScript (DJS), a statically typed dialect of the imperative, object-oriented, dynamic language. DJS supports the particularly challenging features such as run-time type-tests,higher-order functions, extensible objects, prototype inheritance, and arrays. With our implementation of DJS, we demonstrate that the type system is expressive enough to reason about a variety of tricky idioms found in small examples drawn from several sources, including the popular book JavaScript: The Good Parts and the SunSpider benchmark suite.

(Joint work with Ravi Chugh, David Herman, Patrick Rondon, and Panagiotis Vekris)


10:00 - 10:30 Coffee Break

10:30 - 12:00 Technical Papers

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

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

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

12:00 - 2:00 Lunch and Flex Time

2:00 - 3:30 Technical Papers

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

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

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

3:30 - 4:00 Coffee Break

4:00 - 5:30 Lightning Talks

Lightning Talks [4:00-5:30]. Open to all PASTE participants.
(There are still a couple of talk slots available --- please see the details below if you are interested in presenting.)

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@cs.williams.edu:

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

Important dates

full paper submission   Friday, February 15, 2013     (Call For Papers)
notification Friday, March 29, 2013
camera-ready paper May 1, 2013
lighting talks submission Friday, May 10, 2013 (5pm EST)
workshop Thursday, June 20, 2013

Workshop Co-Chairs

Stephen N. Freund Williams College
Corina Pasareanu CMU (Silicon Valley) and NASA Ames

Program Committee

George Avrunin University of Massachusetts
Eric Bodden EC Spride and Technical University Darmstadt
Marsha Chechik University of Toronto
Stephen N. Freund (co-chair) Williams College
Sarfraz Khurshid The University of Texas at Austin
Ben Liblit University of Wisconsin-Madison
Ana Milanova Rensselaer Polytechnic Institute
Aditya Nori Microsoft Research India
Corina Pasareanu (co-chair) CMU (Silicon Valley) and NASA Ames
Suzette Person NASA Langley Research Center

Previous PASTE Workshops

PASTE 2011 at ESEC/FSE 2011
PASTE 2010 at PLDI 2010
PASTE 2008 at FSE 2008
PASTE 2007 at PLDI 2007
PASTE 2005 at ESEC/FSE 2005
PASTE 2004 at PLDI 2004
PASTE 2002 at FSE 2002
PASTE 2001 at PLDI 2001
PASTE 1999 at ESEC/FSE 1999
PASTE 1998 at PLDI 1998