Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala最新文献

筛选

英文中文

Scaps: type-directed API search for Scala Scala的面向类型API搜索

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala Pub Date : 2016-10-30 DOI: 10.1145/2998392.2998405

Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker

引用次数: 0

A Scala library for testing student assignments on concurrent programming 一个用于测试学生并发编程作业的Scala库

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala Pub Date : 2016-10-30 DOI: 10.1145/2998392.2998395

M. Mayer, Ravichandhran Madhavan

{"title":"A Scala library for testing student assignments on concurrent programming","authors":"M. Mayer, Ravichandhran Madhavan","doi":"10.1145/2998392.2998395","DOIUrl":"https://doi.org/10.1145/2998392.2998395","url":null,"abstract":"We present a lightweight library for testing concurrent Scala programs by systematically exploring multiple interleavings between user-specified operations on shared objects. Our library is targeted at beginners of concurrent programming in Scala, runs on a standard JVM, and supports conventional synchronization primitives such as `wait`, `notify`, and `synchronized`. The key component of the library is the trait `SchedulableMonitor` that accepts a thread schedule, and interleaves as per the schedule all user-specified operations invoked through multiple threads on objects implementing the trait. Using our library, we developed a unit test engine that tests concurrent operations on shared objects on thousands of schedules obtained by bounding the number of context-switches. If a unit test fails on a schedule, the test engine offers as feedback the interleaved traces of execution that resulted in the failure. We used our test engine to automatically test and evaluate two assignments: (a) lock-based producer/consumer problem, and (b) lock-free sorted list implementation, offered to a class of 150 under-graduate students of EPFL. Our evaluations show that the system is effective in detecting bugs in students' solutions.","PeriodicalId":269542,"journal":{"name":"Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125648638","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

Building a modular static analysis framework in Scala (tool paper) 在Scala中构建模块化静态分析框架(工具论文)

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala Pub Date : 2016-10-30 DOI: 10.1145/2998392.3001579

Quentin Stiévenart, Jens Nicolay, W. Meuter, Coen De Roover

引用次数: 6

首页上一页