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
(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
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
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 firstname.lastname@example.org:
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|