This volume contains the papers presented at the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. This edition of PASTE is co-located with PLDI, which in turn is part of FCRC 2007, held in San Diego, CA in June 2007.
As in previous years, the goal of PASTE remains to bring together researchers and practitioners of program analysis techniques, with a particular eye on the application of these techniques to software engineering tasks.
We received 35 submissions from around the world, of which we accepted 11. We rejected 2 papers that were well beyond the prescribed page limit; each remaining paper was reviewed by 3 PC members. In some cases we solicited additional reviews from independent experts. In particular, we would like to thank Jeffrey Foster, Ondrej Lhotak, Koushik Sen, Tim Sherwood, and Clark Verbrugge. We thank the PC for their diligence with the review process.
This year, we chose to solicit proposals for one-hour research-group presentations in lieu of invited talks. Each presentation includes an overview of a research direction followed by a few short presentations on particular aspects of the work. We received 4 strong submissions, and the PC chose to accept all 4. We believe this format achieves many goals including fostering a workshop atmosphere aligned with the interests of the community, providing agenda-oriented talks typically seen only with invited speakers, and giving students an opportunity to present work as part of a larger research program. We thank the presenters for embracing this new format, and we look forward to their presentations at the workshop.
机译:Kynoid:针对Android的细粒度,用户定义和以数据为中心的安全策略的实时实施
机译:具有用户定义共享的混合逻辑逻辑编程的基础
机译:面向方面的编程语言中基于用户定义的实用切入点(面向方面的编程语言中基于用户定义的实用切入点)
机译:实施和验证用户定义的编程规则
机译:用户定义的安全策略的基于语言的实施:应用于多层Web程序。
机译:在WinNonlin ASCII模型中使用DTA和DTAARRAY变量和编程来简化用户定义的计算和数据分析
机译:在大型系统中实施用户定义的管理逻辑
机译:高级编程语言中用户定义的数据分布