Sponsored by | SIGPLAN |
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.
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.
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)
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
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
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.)
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.
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 |
Stephen N. Freund | Williams College |
Corina Pasareanu | CMU (Silicon Valley) and NASA Ames |
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 |
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 |