用一种新的方式解释一个已知的想法可能与发明一个新的想法一样有力。今年,POPL从ICFP上取材,鼓励提交珍珠:优雅的论文,通常通过开发一个简短的程序来说明一个想法。珍珠与所有POPL提交材料都遵循相同的高标准。在2008年,我们接受了三颗珍珠。从PLDI取一片叶子,今年每个演讲为20分钟,以允许在广泛的主题上进行大量的演讲,而又不会使听众过分疲劳。 p>
计划委员会和其他审稿人撰写了1100页令人震惊的评论。作者在程序委员会会议之前看到了评论,并被允许写长达500字的回复。作者回应期后的十天,进行了广泛的在线讨论,最终在爱丁堡举行了为期两天的会议,所有PC成员参加了会议,但其中一名成员(无法获得签证)参加了会议。 p>
程序委员会成员是允许提交论文,但只有在判断出明显优于会议接受的平均论文的情况下,此类论文才被接受。 PC提交了9份,其中2份被接受。
机译:一种以名称呼叫分隔定界的方法
机译:动态定界连续的动态连续传递样式
机译:定序的定界延续
机译:呼叫的方法分隔持续
机译:筛选股票特征并延续双动量法。
机译:南美消防蚂蚁脱离苍蝇中揭开神秘物种的物种分界方法(Diptera:Phoridae:Pseudacteon)
机译:一种按名称分隔的连续方法