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

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity最新文献

筛选
英文 中文
A programmatic introduction to Neo4j Neo4j的编程介绍
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2018-06-22 DOI: 10.1145/2384716.2384777
J. Webber
{"title":"A programmatic introduction to Neo4j","authors":"J. Webber","doi":"10.1145/2384716.2384777","DOIUrl":"https://doi.org/10.1145/2384716.2384777","url":null,"abstract":"In this workshop we provide a hands-on introduction to the popular open source graph database Neo4j [1] through fixing a series of increasingly sophisticated, but broken, test cases each of which highlights an important graph modeling or API affordance.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121940136","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}
引用次数: 304
Advanced debugging techniques to identify concurrency bugs in actor-based programs 高级调试技术，用于识别基于角色的程序中的并发错误
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2017-10-22 DOI: 10.1145/3135932.3135936
Carmen Torres Lopez
{"title":"Advanced debugging techniques to identify concurrency bugs in actor-based programs","authors":"Carmen Torres Lopez","doi":"10.1145/3135932.3135936","DOIUrl":"https://doi.org/10.1145/3135932.3135936","url":null,"abstract":"Actor-based programs are not exempt from concurrency bugs. Inspiring contributions for debugging actor-based programs have been developed, however there is no approach that reliably identifies the root cause of complex concurrency bugs. Solving this problem can result in a reduction of the debugging time that programmers spend when developing concurrent applications. I propose a debugging approach based on the combination of offline debugging techniques that aim to help developers in the process of finding the root cause of concurrency bugs. I plan to evaluate this proposal through user studies and performance evaluation.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134082494","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
Machine learning for programming 用于编程的机器学习
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2014-10-20 DOI: 10.1145/2660252.2661744
Peter Norvig
{"title":"Machine learning for programming","authors":"Peter Norvig","doi":"10.1145/2660252.2661744","DOIUrl":"https://doi.org/10.1145/2660252.2661744","url":null,"abstract":"If you want to recognize speech or filter out spam emails, you will probably write a machine learning algorithm and will not try to write the whole program using a \"traditional\" software specification and implementation. There are many examples of successful machine learning solutions, but can we more broadly apply the techniques to most or all software problems, and for most or all programmers, from the novice in their first programming course to the seasoned professional?","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122388200","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}
引用次数: 4
DSLDI 2014: second workshop on domain specific languages design and implementation DSLDI 2014:第二次领域特定语言设计和实现研讨会
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2014-10-20 DOI: 10.1145/2660252.2663600
Sebastian Erdweg, Adam Welc
{"title":"DSLDI 2014: second workshop on domain specific languages design and implementation","authors":"Sebastian Erdweg, Adam Welc","doi":"10.1145/2660252.2663600","DOIUrl":"https://doi.org/10.1145/2660252.2663600","url":null,"abstract":"The Second Workshop on Domain Specific Languages Design and Implementation (DSLDI 2014) is collocated with SPLASH 2014 conference and held in Portland, Oregon, USA on October 20th 2014. The goal of the DSLDI workshop is to bring together researchers and practitioners interested in sharing ideas on how Domain Specific Languages (DSLs) should be designed, implemented, supported by tools, and applied in realistic application contexts. More generally, we are interested in building a community that can drive forward the development of modern DSLs.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114306502","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
SEPS 2014: first international workshop on software engineering for parallel systems SEPS 2014:第一届并行系统软件工程国际研讨会
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2014-10-20 DOI: 10.1145/2660252.2663602
A. Jannesari, F. Wolf, W. Tichy
{"title":"SEPS 2014: first international workshop on software engineering for parallel systems","authors":"A. Jannesari, F. Wolf, W. Tichy","doi":"10.1145/2660252.2663602","DOIUrl":"https://doi.org/10.1145/2660252.2663602","url":null,"abstract":"The first international workshop on Software Engineering for Parallel Systems (SEPS) will be held in Portland, Oregon, USA on October 21, 2014 and co-located with the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2014). The purpose of this workshop is to provide a stable forum for researchers and practitioners dealing with compelling challenges of the software development life cycle on modern parallel platforms. The increased complexity of parallel applications on modern parallel platforms (e.g. multicore, manycore, distributed or hybrid) requires more insight into development processes, and necessitates the use of advanced methods and techniques supporting developers in creating parallel applications or parallelizing and reengineering sequential legacy applications. We aim to advance the state of the art in different phases of parallel software development, covering software engineering aspects such as requirements engineering and software specification; design and implementation; program analysis, profiling and tuning; testing and debugging.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115802962","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
ETX'14: 2014 workshop on eclipse technology exchange ETX'14: 2014 eclipse技术交流研讨会
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2014-10-20 DOI: 10.1145/2660252.2662143
Jan S. Rellermeyer, Tim Verbelen
{"title":"ETX'14: 2014 workshop on eclipse technology exchange","authors":"Jan S. Rellermeyer, Tim Verbelen","doi":"10.1145/2660252.2662143","DOIUrl":"https://doi.org/10.1145/2660252.2662143","url":null,"abstract":"The Eclipse platform was originally designed for building an integrated development environment for object-oriented applications. Over the years it has developed into a vibrant ecosystem of platforms, toolkits, libraries, modeling frameworks, and tools that support various languages and programming styles. The sixth ETX workshop provides a platform for researchers and practitioners to transfer knowledge about the Eclipse Platform and exchange new ideas. It is held in Portland, OR on October 21, 2014 and is co-located with SPLASH 2014.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"179 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120987175","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
Agile programming with executable models: an open-source, standards-based eclipse environment 使用可执行模型的敏捷编程:开源的、基于标准的eclipse环境
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2014-10-20 DOI: 10.1145/2660252.2664664
E. Seidewitz, A. Cuccuru
{"title":"Agile programming with executable models: an open-source, standards-based eclipse environment","authors":"E. Seidewitz, A. Cuccuru","doi":"10.1145/2660252.2664664","DOIUrl":"https://doi.org/10.1145/2660252.2664664","url":null,"abstract":"Why can it be so hard to extract the \"truth\" from the code, especially on important big-picture, architectural issues in large systems? Models designed for human understanding can display these things much more clearly, but how do you keep the models in sync with the code? Well, suppose the model was the code -- then you could have the best of both worlds! This is, indeed, possible, as is demonstrated using a combination of standard UML graphical class modeling and standard Alf action language programming, all based on a common, standard executable semantic foundation, new capabilities implemented in the Eclipse Papyrus UML tool. The result is a step toward a next generation agile programming environment.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131374846","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}
引用次数: 2
East meets west: the influences of geography on software production 东方与西方相遇:地理对软件生产的影响
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2014-10-20 DOI: 10.1145/2660252.2661293
S. Fraser, D. Mancl, A. Namioka, R. Salama, Allen Wirfs-Brock
{"title":"East meets west: the influences of geography on software production","authors":"S. Fraser, D. Mancl, A. Namioka, R. Salama, Allen Wirfs-Brock","doi":"10.1145/2660252.2661293","DOIUrl":"https://doi.org/10.1145/2660252.2661293","url":null,"abstract":"How do software development practices differ from coast-to-coast? What should practitioners learn about the influences of geography -- and why is it important? Each community of software professionals has its own technical biases: preferred programming languages, software tools, design paradigms, software testing approaches, and techniques for collaboration within a working group. Conferences like SPLASH provide an opportunity to compare notes, to learn from the successes (and failures) of others, to learn about new technologies, and to learn about how other groups communicate and collaborate. This panel will focus on the diversity of software development practices in North America and the broader influences of geography.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127051807","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}
引用次数: 5
TD 2014: workshop on technical debt in a world of big data and big teams TD 2014:关于大数据和大团队世界中的技术债务的研讨会
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2014-10-20 DOI: 10.1145/2660252.2663599
D. Mancl, S. Fraser
{"title":"TD 2014: workshop on technical debt in a world of big data and big teams","authors":"D. Mancl, S. Fraser","doi":"10.1145/2660252.2663599","DOIUrl":"https://doi.org/10.1145/2660252.2663599","url":null,"abstract":"Technical debt is an unavoidable part of software development in today's fast-paced market, but it is ignored by many of the people who should care about it most. In large systems, a portion of the accumulating technical debt is just \"sloppy design\" caused by schedule pressure and other project forces. But the most important part of technical debt is directly related to project size and data complexity. How much technical debt is about large development teams and geographical distribution? How do current \"big data\" techniques (Hadoop, NoSQL, parallel algorithms, MapReduce) relate to technical debt issues? This workshop explored strategies for understanding the impact of technical debt. If we believe that technical debt is an important issue in long-term software product development, do we have ways to keep the technical debt from causing development gridlock?","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122080947","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
HJ-Viz: a new tool for visualizing, debugging and optimizing parallel programs HJ-Viz:一个用于可视化、调试和优化并行程序的新工具
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2014-10-20 DOI: 10.1145/2660252.2660395
Peter Elmers, Hongyu Li, S. Imam, Vivek Sarkar
{"title":"HJ-Viz: a new tool for visualizing, debugging and optimizing parallel programs","authors":"Peter Elmers, Hongyu Li, S. Imam, Vivek Sarkar","doi":"10.1145/2660252.2660395","DOIUrl":"https://doi.org/10.1145/2660252.2660395","url":null,"abstract":"The proliferation of multicore processors warrants parallelism as the future of computing, increasing the demand to write parallel programs for increased application performance. Previous experience has shown that writing explicitly parallel programs is inherently more difficult than writing sequential programs. Programmers need parallel programming models, constructs, and tools that can simplify writing of parallel programs. In this poster, we present an innovative new tool, HJ-Viz, which generates interactive Computation Graphs (CGs) of parallel programs by analyzing event logs. The visual feedback is valuable for a programmer to efficiently optimize program logic and to eliminate the presence of potential bugs which may otherwise be difficult to detect. For example, in cases of deadlocks, HJ-Viz enables users to visualize and easily diagnose the deadlock scenario.\u0000 Programmers can use the visualization of the CG by HJ-Viz to pinpoint potential sources of bugs and points of improvement for parallel performance. HJ-Viz highlights the program's critical paths and displays the amount of work performed in each step of computation based on the collected abstract execution metrics. Our event logging infrastructure also maintains precise source code locations for each event, allowing HJ-Viz to display the code involved in the creation of every node in the CG.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114949627","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学术官方微信