Events (31 results)

One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows

Research Papers When: Wed 7 Nov 2018 13:52 - 14:15 People: Yang Zhang, Bogdan Vasilescu, Huaimin Wang, Vladimir Filkov

… together with all its dependencies and execution environment in a light-weight …

Do Android Taint Analysis Tools Keep Their Promises?

Research Papers When: Wed 7 Nov 2018 13:52 - 14:15 People: Felix Pauck, Eric Bodden, Heike Wehrheim

… In recent years, researchers have developed a number of tools to conduct taint analysis of Android applications. While all the respective papers aim … leaks searched for, or lack a ground truth to compare against. All those …

Themis: Automatically Testing Software for Discrimination

Demonstrations When: Tue 6 Nov 2018 11:15 - 11:37 People: Rico Angell, Brittany Johnson, Yuriy Brun, Alexandra Meliou

… -source and all our evaluation data are available at http://fairness.cs.umass.edu …

Concurrency Verification with Maximal Path Causality

Research Papers When: Wed 7 Nov 2018 15:30 - 15:52 People: Qiuping Yi, Jeff Huang

… We present a technique that systematically explores the state spaces of concurrent programs across both the schedule space and the input space. The cornerstone is a new model called Maximal Path Causality (MPC), which captures all

On the Significance of Contract-Based Typestate Specification

WASPI When: Fri 9 Nov 2018 13:30 - 14:00 People: Samantha Syeda Khairunnesa, Hoan Anh Nguyen, Hridesh Rajan

… expressiveness to the designers’ intention, as these are unable to demonstrate all

Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity

Research Papers When: Tue 6 Nov 2018 14:37 - 15:00 People: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis

… predictable scalability for all the evaluated programs (e.g., speedups can reach 10x …

MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C

Research Papers When: Tue 6 Nov 2018 14:37 - 15:00 People: Junhee Lee, Seongjoon Hong, Hakjoo Oh

… by finding a set of
free-statements that correctly deallocate all allocated objects …

An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems

Research Papers When: Thu 8 Nov 2018 14:15 - 14:37 People: Yu Gao, Wensheng Dou, Feng Qin, Chushu Gao, Dong Wang, Jun Wei, Ruirui Huang, Li Zhou, Yongming Wu

… and HBase. For all the studied bugs, we analyze their root causes, triggering …

Using Finite-State Models for Log Differencing

Research Papers When: Tue 6 Nov 2018 11:15 - 11:37 People: Hen Amar, Lingfeng Bao , Nimrod Busany, David Lo, Shahar Maoz

… that are common to all logs from the ones found in only some of them, all on top …

A Reinforcement Learning Based Approach to Automated Testing of Android Applications

A-TEST When: Mon 5 Nov 2018 11:42 - 12:00 People: Thi Anh Tuyet Vuong, Shingo Takada

… and transitions, which makes testing all possible scenarios time-consuming …

Winning the App Production Rally

Research Papers When: Wed 7 Nov 2018 11:37 - 12:00 People: Ehsan Noei, Daniel Alencar Da Costa , Ying Zou

… across apps and various versions of each app. We find that not all the variables …

Microtask Programming

Journal-First When: Thu 8 Nov 2018 15:52 - 16:14 People: Thomas LaToza, Arturo Di Lecce, Fabio Ricci, W. Ben Towne, Andre van der Hoek

… , complete all types of microtasks in less than 5 minutes on average, and create 490 …

(No) Influence of Continuous Integration on the Commit Activity in GitHub Projects

SWAN When: Mon 5 Nov 2018 10:30 - 10:52 People: Sebastian Baltes, Jascha Knack, Daniel Anastasiou, Ralf Tymann, Stephan Diehl

… more merging commits in relation to all commits after the projects started using …

How Well Are Regular Expressions Tested in the Wild?

Research Papers When: Thu 8 Nov 2018 16:15 - 16:37 People: Peipei Wang, Kathryn Stolee

… % of the regular expressions in the repositories are tested at all. For those …

Parameterized Model Counting for String and Numeric Constraints

Research Papers When: Wed 7 Nov 2018 16:37 - 17:00 People: Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu

… a multi-track deterministic finite state
automaton that accepts all solutions …

Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks

Research Papers When: Wed 7 Nov 2018 15:52 - 16:15 People: Shengjian (Daniel) Guo, Meng Wu, Chao Wang

… for detecting timing leaks either ignore cache all together or focus only on passive leaks …

Approximate Oracles and Synergy in Software Energy Search Spaces

Journal-First When: Thu 8 Nov 2018 15:30 - 16:00 People: Bobby R. Bruce, Justyna Petke, Mark Harman, Earl T. Barr

… their individual sum. Our results reveal that 12.0% of all joint code modifications …

From Big Data to Smart Data: A Data Quality Perspective

EnSEmble People: Maria Teresa Baldassarre, Ismael Caballero, Danilo Caivano, Bibiano Rivas Garcia, Mario Piattini

… , tools, processes and methodologies that enable all the Values from the data …

Do the Dependency Conflicts in My Project Matter?

Research Papers When: Wed 7 Nov 2018 14:37 - 15:00 People: Ying Wang, Ming Wen, Zhenwei Liu, Rongxin Wu, Rui Wang, Bo Yang, Hai Yu, Zhiliang Zhu, Shing-Chi Cheung

… build tools such as Maven can be benign since not all instances of duplication …

Darwinian Data Structure Selection

Research Papers When: Tue 6 Nov 2018 14:15 - 14:37 People: Michail Basios, Lingbo Li, Fan Wu, Leslie Kanthan, Earl T. Barr

… , ARTEMIS finds at least one solution that improves \emph{all} measures for $86 …

AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests

Research Papers When: Wed 7 Nov 2018 11:15 - 11:37 People: Gang Hu, Linjie Zhu, Junfeng Yang

… 46.6% of all automatable tests for Jackthreads with the tests it synthesizes …

Improving Regression Testing in Continuous Integration Development Environments (Keynote)

A-TEST People: Gregg Rothermel

… to expand to utilize all available resources, and then continue to expand beyond …

Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code

Journal-First When: Tue 6 Nov 2018 15:30 - 15:52 People: Sebastian Nielebock, Robert Heumüller, Frank Ortmeier

… not make use of lambda expressions. Second, for all three of the languages, we …

Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans

Research Papers When: Tue 6 Nov 2018 16:37 - 17:00 People: Rachel Tzoref-Brill, Shahar Maoz

… plan size, all while meeting the required combinatorial coverage.

We use our …

Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks

Research Papers When: Thu 8 Nov 2018 14:37 - 15:00 People: Thanh Nguyen, Ngoc Tran, Hung Phan, Trong Nguyen, Linh Truong, Hoan Anh Nguyen, Tien N. Nguyen

… connect the global context of the current API
topic under description to all

The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale

Research Papers When: Tue 6 Nov 2018 16:15 - 16:37 People: James C. Davis, Christy A. Coghlan, Francisco Servant, Dongyoon Lee

… been shown examples of all three fix strategies. These findings motivate further …

The modular and feature toggle architectures of Google Chrome

Journal-First When: Thu 8 Nov 2018 10:30 - 10:52 People: Md Tajmilur Rahman, Peter C. Rigby, Emad Shihab

… and manage toggles have been created for all the major programming languages. We …

How far we have progressed in the journey? An examination of cross-project defect prediction

Journal-First When: Thu 8 Nov 2018 10:52 - 11:15 People: Yuming Zhou, Yibiao Yang, Hongmin Lu, Lin Chen, Yanhui Li, Yangyang Zhao, Junyan Qian, Baowen Xu

… , if not all, of the existing CPDP models are not compared against those simple module …

CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining

Research Papers When: Tue 6 Nov 2018 10:30 - 10:52 People: Jie Lu, Feng Li, Lian Li, Xiaobing Feng

… , including 8 new bugs that have never been found before. The 8 new bugs have all been …

Behind Every Great Deep Learning Framework Is An Even Greater Programming Languages Concept

Keynotes When: Tue 6 Nov 2018 08:30 - 10:00 People: Erik Meijer

… . Instead of code as the artifact of interest, in Software 2.0 it is all about …

How Do Developers Utilize Source Code from Stack Overflow?

Journal-First When: Tue 6 Nov 2018 15:52 - 16:15 People: Yuhao Wu, Shaowei Wang, Cor-Paul Bezemer, Katsuro Inoue

… ) incomprehensive code, and (3) low code quality. We summarized and analyzed all survey …