Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security

摘要: It is our pleasure to welcome you the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (PLAS 2009). The call papers attracted 19 submissions: 15 full-length papers, 4 formal short papers. Authors could choose submit or informal (which would not be included in proceedings, preclude publication other conference venues journals). their work anonymously; one submission did so. Each received at least three reviews. All reviews were made available all program committee members, final decision which accept was after a day on-line meeting. Eight long ones will appear proceedings presented Workshop.