posted by user: mark_s || 4727 views || tracked by 14 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Workshop on Program Analysis For Software Tools and Engineering
 
Link: http://www.cs.williams.edu/PASTE2013/index.html
 
When Jun 20, 2013 - Jun 20, 2013
Where Seattle, USA
Submission Deadline Feb 15, 2013
Notification Due Mar 29, 2013
Final Version Due May 1, 2013
 

Call For Papers

11th ACM SIGPLAN/SIGSOFT Workshop on
Program Analysis for Software Tools and Engineering (PASTE)
Seattle, WA - June 20, 2012, co-located with PLDI 2013

http://www.cs.williams.edu/PASTE2013/index.html

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. PASTE 2013 will provide a forum for the presentation
of exciting research, empirical results, and new directions in areas
including (but not limited to):

* program analysis for program understanding, debugging, testing, and
reverse engineering
* integration of program analysis into the software development and
maintenance process
* user interfaces for software tools and software visualization
* applications of program analysis techniques
* analysis of program execution or program evolution
* integration of, or tradeoffs between, different analysis techniques
* issues in scaling analyses and user interfaces to deal with large
systems

PASTE will be a true workshop, with research presentations, organized
discussions, opportunities for all attendees to make short
presentations, and ample time for debate.

Submission Categories

Regular papers: research papers that describe ongoing research or new
results. The page limit for this category is 8 pages. The entire paper
(including bibliography, appendices, related work discussion, etc.)
must fit within the 8-page limit.

Short papers: papers that discuss controversial issues in the field,
or describe interesting or thought-provoking ideas that are not yet
fully developed. The page limit for this category is 4 pages.

The program committee will select papers based on technical quality,
relevance to the PASTE community, and ability to inspire new research
and productive discussions at the workshop.

Submission Guidelines

Papers should not exceed the page limits and must follow the ACM
formatting guidelines. Submissions should be in PDF format, printable
on US Letter size paper. Papers that do not respect these requirements
or are submitted late will be summarily rejected.

Papers submitted to PASTE 2013 must be original work, must not
substantially duplicate previous work, and must not be under
simultaneous review elsewhere. Violation of any of these criteria will
be sufficient grounds for automatic rejection. Please consult the
relevant ACM policies and SIGPLAN policies. At least one author of
every accepted paper must register and attend the event to present
their work.

All accepted papers will be published by ACM, will appear in the ACM
Digital Library, and will be subject to ACM copyright. Authors of
accepted papers will be required to sign an ACM copyright form; please
ensure with your employer that you will be authorized to transfer the
copyright.

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

Important Dates

Friday, February 15, 2013 - Deadline of submission of technical papers
Friday, March 29, 2013 - Notification of acceptance
May, 2013 - Submission of final papers for proceedings
Thursday, June 20, 2013 - Workshop

Related Resources

SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
ACM--ICSCA--Ei, Scopus 2021   ACM--2021 10th International Conference on Software and Computer Applications (ICSCA 2021)--EI Compendex, Scopus
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ASSE--ACM, EI, Scopus 2021   ACM--2021 2nd Aisa Service Sciences and Software Engineering Conference (ASSE 2021)--EI Compendex, Scopus
ICSCA--ACM, Ei, Scopus 2021   ACM--2021 10th International Conference on Software and Computer Applications (ICSCA 2021)--EI Compendex, Scopus
ACM--ASSE--EI Compendex, Scopus 2021   ACM--2021 2nd Aisa Service Sciences and Software Engineering Conference (ASSE 2021)--EI Compendex, Scopus
ASONAM 2020   The 2020 IEEE/ACM International Conference on. Advances in Social Networks Analysis and Mining
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
MAAIDL 2020   Springer Book 'Malware Analysis using Artificial Intelligence and Deep Learning'
IDA 2020   The 18th International Symposium on Intelligent Data Analysis (IDA 2020)