大规模系统的复杂性和突发行为使得人们不可能在没有特定工具的帮助下完全理解它们。随着系统越来越多地使用面向方面和动态脚本语言等高级组合技术进行开发,情况尤其如此。这些模块化技术支持创建和应用功能强大的抽象,这在重用和关注点分离方面产生了显著的好处。但这些语言、中间件和模型中的相同抽象也隐藏了重要的系统属性。
这使理解运行时行为的问题更加复杂,因为这些行为是根据抽象出来的原始设计概念来理解的(例如调试AO程序或诊断违反性能服务级别协议的行为)。高级模块化技术的广泛采用依赖于帮助开发人员理解复杂组合系统的运行时行为的工具。本研讨会旨在创建一个对话,讨论程序理解问题及其与模块化的关系。
| 15:30 - 17:00 | |
| | | |
| 谈话 | | 闪电对话 CoCoS公司
|
| 其他 | | 分组讨论 CoCoS公司
|
| 谈话 | | 总结 CoCoS公司
|
文件征集
大规模系统的复杂性和突发行为使得人们不可能在没有特定工具的帮助下完全理解它们。随着系统越来越多地使用面向方面和动态脚本语言等高级组合技术进行开发,情况尤其如此。这些模块化技术支持创建和应用功能强大的抽象,这在重用和关注点分离方面产生了显著的好处。但这些语言、中间件和模型中的相同抽象也隐藏了重要的系统属性。
这使理解运行时行为的问题更加复杂,因为这些行为是根据抽象出来的原始设计概念来理解的(例如调试AO程序或诊断违反性能服务级别协议的行为)。高级模块化技术的广泛采用依赖于帮助开发人员理解复杂组合系统的运行时行为的工具。本研讨会旨在创建一个对话,讨论程序理解问题及其与模块化的关系。
本次研讨会的主题示例包括但不限于:
- 用于编码、导航、调试、分析等的静态和动态工具。
- 特定于语言和特定于抽象的可视化
- 用于理解异构系统的工具
- 工具的实证评估
- 通用工具,支持多种语言或抽象
- 特定于域的工具
- 提高理解力的语言设计技巧和特性
我们欢迎发现新问题或报告正在进行的工作的文件。一份好的CoCoS提交应该有趣、具体、清晰。它不需要描述一个完整的解决方案。CoCoS接受常规文件(最多6页)和立场文件(最多2页)。要求的提交格式如下:作者须知。可以通过以下方式提交热CRP接受的论文将出现在研讨会论文集中,并在ACM数字图书馆中发布。
参与者准备
我们将允许在没有被接受甚至提交论文的情况下参与研讨会,以激发对研讨会主题的兴趣。鼓励研讨会的所有参与者制定一份最多一页的ACM风格的立场声明。特别是,将鼓励那些在诉讼中未被接受发表的论文的作者将其论文缩短为立场声明。这些立场声明不会在研讨会记录中进行审查和发布,但会在研讨会之前在研讨会主页上发布。
在提交论文的同时,还要求作者提交讨论主题。主题可以包括作者的经验、设计或实现挑战、征求意见以及作者认为值得讨论的任何内容。组织者将选择一些具有代表性的主题,并用它们来组织讨论会。所有接受的论文和讨论主题也将提前发布在研讨会主页上。此外,鼓励与会者在研讨会之前阅读所有立场声明和已接受的论文。
为了公平起见,所有提交的论文都应符合格式说明。违反这些指示的提交文件可能会被拒绝而不予审查。
在使用提交网站之前,请花点时间阅读以下说明。
论文必须描述目前尚未提交到别处出版的未出版作品,如SIGPLAN的重新发布政策。提交人还应了解ACM关于剽窃的政策和程序.
提交文件应使用ACM SIGPLAN会议acmart公司
使用“sigplan”子格式设置格式,10磅字体,使用Times New Roman字体系列。所有提交文件均应为PDF格式。如果您使用LaTeX或Word,请使用提供的ACM SIGPLANacmart公司
提供的模板在这里。否则,请按照作者的说明进行操作。
如果使用LaTeX格式化纸张,则需要设置10磅
中的选项\文档类
命令。如果您使用Word格式化论文,您可能希望使用提供的支持此字体大小的Word模板。请在LaTeX提交的文件中包含页码\settopmatter{printfolios=true}
命令。此外,请确保您提交的文件在黑白打印机上打印时清晰可见。特别是,请检查颜色是否保持清晰,字体大小是否清晰。
作者注意:官方发布日期是ACM数字图书馆提供会议记录的日期。该日期可能最早在会议第一天之前两周。正式出版日期会影响与已出版作品相关的任何专利申请的截止日期。