START Conference Manager    

The 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

PASTE 2007

Submission Page


To revise a previous submission, please type in its passcode below, and press the ENTER button.

   

If you lost the passcode for your submission, please click HERE.


Use the fields below to make your submission. Follow the instructions, and then use the 'Submit' button at the bottom of the form.


Title of Submission:  


List of Authors:

Please enter the complete list of authors for your submission, in the order in which they will appear on the abstract. You can add as many author slots as you want, to accommodate the total number of authors for your submission.

First name(s) Last name Email Institution
#1
#2
#3
#4
#5
#6
#7
#8
#9
#10
#11
#12
#13
#14
#15

More Authors      Fewer Authors


Contact Information:

Title 
First name*
Last name*
  Affiliation/organization*
       Affiliation Dept/Lab 
Phone*
Fax 
Email*
Building 
Mail Code 
Street Address 
City/Town*
State/Province 
Country*
Zip/Postal Code*


Submission Category:

Please enter the category under which the submission should be reviewed.

Submission Type:  


Abstract:

Type (or cut-and-paste) a short ASCII abstract for your submission. It should not include the author/title information, which was already entered above. You must enter plain ASCII text only, and you may not exceed 300 words.

 


Submit Paper:

Your submission must be in one of the following document formats:

  • Adobe PDF (pdf)
  • Postscript (ps)

The file's name should have the proper MIME extent associated with its document type. For example, a pdf file could have a name such as "mypaper.pdf". If desired, the file may also be compressed in any standard format, with MIME extent corresponding to the compression type (eg., pdf.gz for a gzipped pdf file, etc.).

Find the file containing your submission: 


Keywords/Topics:

Please use the list of topics below to characterize your submission. Check all categories that seem appropriate.

Static analysis
Dynamic analysis
Formal specifications
Model checking
Analysis of large systems
Empirical and statistical analysis
Comparative evaluations
Debugging
Testing
Program understanding
Programming environments
Program evolution
User interfaces
Software visualization
Language design and implementation
 
 


Declaration:

   I confirm that this paper is not currently under submission elsewhere and that all appearances at prior and concurrent workshops are acknowledged in the paper.



START Conference Manager (V2.61.0 - Rev. 6300)