[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
********************************************************************** 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 past...@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