发布求助
文献互助 智能选刊 最新文献

Proceedings of the 10th ACM SIGPLAN workshop on Erlang最新文献

筛选
英文 中文
Disco: a computing platform for large-scale data analytics Disco:用于大规模数据分析的计算平台
Proceedings of the 10th ACM SIGPLAN workshop on Erlang Pub Date : 2011-09-23 DOI: 10.1145/2034654.2034670
Prashanth Mundkur, V. Tuulos, Jared Flatow
{"title":"Disco: a computing platform for large-scale data analytics","authors":"Prashanth Mundkur, V. Tuulos, Jared Flatow","doi":"10.1145/2034654.2034670","DOIUrl":"https://doi.org/10.1145/2034654.2034670","url":null,"abstract":"We describe the design and implementation of Disco, a distributed computing platform for MapReduce style computations on large-scale data. Disco is designed for operation in clusters of commodity server machines, and provides both a fault-tolerant scheduling and execution layer as well as a distributed and replicated storage layer. Disco is implemented in Erlang and Python; Erlang is used for the implementation of the core aspects of cluster monitoring, job management, task scheduling and distributed filesystem, while Python is used to implement the standard Disco library. Disco has been used in production for several years at Nokia, to analyze tens of terabytes of data daily on a cluster of over 100 nodes. With a small but very functional codebase, it provides a free, proven, and effective component of a full-fledged data analytics stack.","PeriodicalId":331264,"journal":{"name":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134356736","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 37
Typed callbacks for more robust behaviours 用于更健壮行为的类型化回调
Proceedings of the 10th ACM SIGPLAN workshop on Erlang Pub Date : 2011-09-23 DOI: 10.1145/2034654.2034660
Stavros Aronis, Konstantinos Sagonas
{"title":"Typed callbacks for more robust behaviours","authors":"Stavros Aronis, Konstantinos Sagonas","doi":"10.1145/2034654.2034660","DOIUrl":"https://doi.org/10.1145/2034654.2034660","url":null,"abstract":"Behaviours are one of the most widely used features of Erlang/OTP. They offer a convenient and well-tested abstraction layer for frequently employed design patterns in concurrent Erlang programming. In effect, they allow programmers to focus on the functional characteristics of their applications without having to resort to Erlang's concurrency-supporting primitives. However, when it comes to ensuring that behaviours are properly used and callbacks are as expected, the current Erlang/OTP compiler performs only minimal checks. This is no fault of the compiler though, because most/all of the callbacks' API exists only in the documentation or the comments accompanying the code; as such, it cannot always be trusted and it is almost impossible to have it mechanically processed. In this paper, we propose a small extension to the language of function specifications of Erlang to allow the formal definition of the behaviours' callback API. We have implemented this extension on the development branch of Erlang/OTP and provide evidence of how it can be leveraged by static analysis tools such as Dialyzer to detect behaviour misuses.","PeriodicalId":331264,"journal":{"name":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","volume":"172 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131736511","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Proceedings of the 10th ACM SIGPLAN workshop on Erlang 第10届ACM SIGPLAN Erlang研讨会论文集
Proceedings of the 10th ACM SIGPLAN workshop on Erlang Pub Date : 2011-09-23 DOI: 10.1145/2034654
K. Rikitake, Erik Stenman
{"title":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","authors":"K. Rikitake, Erik Stenman","doi":"10.1145/2034654","DOIUrl":"https://doi.org/10.1145/2034654","url":null,"abstract":"It is our great pleasure to welcome you to the 10th ACM SIGPLAN Erlang Workshop -- Erlang 2011, the annual forum for the presentation of research, theory, implementation, tools and applications of the Erlang programming language. This year's workshop continues the tradition of being co-located with the annual ACM SIGPLAN International Conference on Functional Programming (ICFP). \u0000 \u0000The call for papers attracted 14 submissions which were reviewed by at least three PC members. The program committee decided to accept 10 of these submissions as full papers and three more as posters. These papers and posters cover a variety of topics, including semantics, behavioral and distributed programming in Erlang, testing tools and test driven development, protocol implementations and language issues.","PeriodicalId":331264,"journal":{"name":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124137167","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples 动态类型语言的接口和为什么工具:关于列表和元组的推理
Proceedings of the 10th ACM SIGPLAN workshop on Erlang Pub Date : 2011-09-23 DOI: 10.1145/2034654.2034673
C. Amaral, Mário Florido, Patrik Jansson
{"title":"Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples","authors":"C. Amaral, Mário Florido, Patrik Jansson","doi":"10.1145/2034654.2034673","DOIUrl":"https://doi.org/10.1145/2034654.2034673","url":null,"abstract":"Formal software verification is currently contributing to new generations of software systems that are proved to follow a given specification. Unfortunately, most dynamically typed languages lack the tools for such reasoning. We present a tool used to help verify some user specified properties on a small language. The process is based on functional contracts with annotations on the source code that later are transformed into logic goals that need to be proved in order to conclude that the program meets its specification. As part of the tool we also present a term model for dynamically typed data structures.","PeriodicalId":331264,"journal":{"name":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126821636","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Implementation of sequence BDDs in Erlang Erlang中序列bdd的实现
Proceedings of the 10th ACM SIGPLAN workshop on Erlang Pub Date : 2011-09-23 DOI: 10.1145/2034654.2034672
Shuhei Denzumi, Hiroki Arimura, S. Minato
{"title":"Implementation of sequence BDDs in Erlang","authors":"Shuhei Denzumi, Hiroki Arimura, S. Minato","doi":"10.1145/2034654.2034672","DOIUrl":"https://doi.org/10.1145/2034654.2034672","url":null,"abstract":"In this paper, we present an implementation of Erlang of an efficient index structure, called Sequence Binary Decision Diagrams (SeqBDDs), for knowledge discovery in large sequence data. Recently, Loekito, Bailey, and Pei (KAIS, 2009) proposed SeqBDD. SeqBDDs are a compact indices for efficiently representing the set of sequences. Furthermore, SeqBDDs provide a rich collection of operations for sets of sequences, which are useful for implementing sequence mining algorithms. We propose SeqBDDs as powerful framework for string processing and Erlang is appropriate language for SeqBDD. SeqBDD system heavily uses hash tables to avoid redundant memory and computation. We implemented SeqBDD package with ETS for hash tables.","PeriodicalId":331264,"journal":{"name":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115398687","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Session details: Language extensions 会话详细信息:语言扩展
Proceedings of the 10th ACM SIGPLAN workshop on Erlang Pub Date : 2011-09-23 DOI: 10.1145/3249219
S. Thompson
{"title":"Session details: Language extensions","authors":"S. Thompson","doi":"10.1145/3249219","DOIUrl":"https://doi.org/10.1145/3249219","url":null,"abstract":"","PeriodicalId":331264,"journal":{"name":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","volume":"410 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124365859","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Test-driven development of concurrent programs using concuerror 使用concuerror的并发程序的测试驱动开发
Proceedings of the 10th ACM SIGPLAN workshop on Erlang Pub Date : 2011-09-23 DOI: 10.1145/2034654.2034664
Alkis Gotovos, M. Christakis, Konstantinos Sagonas
{"title":"Test-driven development of concurrent programs using concuerror","authors":"Alkis Gotovos, M. Christakis, Konstantinos Sagonas","doi":"10.1145/2034654.2034664","DOIUrl":"https://doi.org/10.1145/2034654.2034664","url":null,"abstract":"This paper advocates the test-driven development of concurrent Erlang programs in order to detect early and eliminate the vast majority of concurrency-related errors that may occur in their execution. To facilitate this task we have developed a tool, called Concuerror, that exhaustively explores process interleaving (possibly up to some preemption bound) and presents detailed interleaving information of any errors that occur. We describe in detail the use of Concuerror on a non-trivial concurrent Erlang program that we develop step by step in a test-driven fashion.","PeriodicalId":331264,"journal":{"name":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124392518","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Session details: Testing and development 会话细节:测试和开发
Proceedings of the 10th ACM SIGPLAN workshop on Erlang Pub Date : 2011-09-23 DOI: 10.1145/3249220
J. Hughes
{"title":"Session details: Testing and development","authors":"J. Hughes","doi":"10.1145/3249220","DOIUrl":"https://doi.org/10.1145/3249220","url":null,"abstract":"","PeriodicalId":331264,"journal":{"name":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129038413","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Testing a database for race conditions with QuickCheck 使用QuickCheck测试数据库的竞争条件
Proceedings of the 10th ACM SIGPLAN workshop on Erlang Pub Date : 2011-09-23 DOI: 10.1145/2034654.2034667
John Hughes, Hans Bolinder
{"title":"Testing a database for race conditions with QuickCheck","authors":"John Hughes, Hans Bolinder","doi":"10.1145/2034654.2034667","DOIUrl":"https://doi.org/10.1145/2034654.2034667","url":null,"abstract":"In 2009, Claessen et al. presented a way of testing for race conditions in Erlang programs, using QuickCheck to generate parallel tests, a randomizing scheduler to provoke races, and a sequential consistency condition to detect failures of atomicity [1]. That work used a small industrial prototype as the main example, showing how two race conditions could be detected and diagnosed. In this paper, we apply the same methods to dets, a vital component of the mnesia database system, and more than an order of magnitude larger. dets is known to fail occasionally in production, making it a promising candidate for a race condition hunt. We found five race conditions with relatively little effort, two of which may account for the observed failures in production. We explain how the testing was done, present most of the QuickCheck specification used, and describe the problems we discovered and their causes.","PeriodicalId":331264,"journal":{"name":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128243639","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
Session details: Keynote address 会议详情:主题演讲
Proceedings of the 10th ACM SIGPLAN workshop on Erlang Pub Date : 2011-09-23 DOI: 10.1145/3249218
Erik Stenman
{"title":"Session details: Keynote address","authors":"Erik Stenman","doi":"10.1145/3249218","DOIUrl":"https://doi.org/10.1145/3249218","url":null,"abstract":"","PeriodicalId":331264,"journal":{"name":"Proceedings of the 10th ACM SIGPLAN workshop on Erlang","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114916833","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信