【24h】

An overview of the saturn project

机译:土星项目概述

获取原文

摘要

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.
机译:此卷包含第7届ACM Sigplan-Sigsoft研讨会上提供的软件工具和工程方案分析的论文。本期粘贴与PLDI共配,又是2007年6月在加利福尼亚州圣地亚哥FCRC 2007的一部分。 >如前一年,粘贴的目标仍将集中在一起方案分析技术的研究人员和从业者,特别注意这些技术在软件工程任务中的应用。我们收到了来自世界各地的35份提交,其中我们接受了11.我们拒绝了2篇论文远远超出规定的页面限制;每个剩余的纸张由3个PC成员审查。在某些情况下,我们从独立专家提供了其他审查。特别是,我们要感谢Jeffrey Foster,Ondrej Lhotak,Koushik Sen,Tim Sherwood和Clark Verbrugge。我们感谢PC与审查过程中的勤奋。 >今年,我们选择征求一小时的研究组演示提出邀请谈判的提案。每个演示都包括研究方向的概述,然后是工作的特定方面几个简短的演示。我们收到了4个强大的提交,PC选择接受所有4。我们认为这种格式实现了许多目标,包括促进与社区利益一致的工作室气氛,提供通常只有邀请的发言者看到的议程谈判,并给予学生作为更大的研究计划的一部分提供工作的机会。我们感谢演示者拥抱这种新格式,我们期待着他们在研讨会上的演讲。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号