Unusual Events In Github Repositories,
2018
Singapore Management University
Unusual Events In Github Repositories, Christoph Treude, Larissa Leite, Maurício Aniche
Research Collection School Of Computing and Information Systems
In large and active software projects, it becomes impractical for a developer to stay aware of all project activity. While it might not be necessary to know about each commit or issue, it is arguably important to know about the ones that are unusual. To investigate this hypothesis, we identified unusual events in 200 GitHub projects using a comprehensive list of ways in which an artifact can be unusual and asked 140 developers responsible for or affected by these events to comment on the usefulness of the corresponding information. Based on 2,096 answers, we identify the subset of unusual events …
Lightweight Call-Graph Construction For Multilingual Software Analysis,
2018
Fordham University
Lightweight Call-Graph Construction For Multilingual Software Analysis, Anne-Marie Bogar, Damian Lyons, David Baird
Faculty Publications
Analysis of multilingual codebases is a topic of increasing importance. In prior work, we have proposed the MLSA (MultiLingual Software Analysis) architecture, an approach to the lightweight analysis of multilingual codebases, and have shown how it can be used to address the challenge of constructing a single call graph from multilingual software with mutual calls. This paper addresses the challenge of constructing monolingual call graphs in a lightweight manner (consistent with the objective of MLSA) which nonetheless yields sufficient information for resolving language interoperability calls. A novel approach is proposed which leverages information from …
Lightweight Multilingual Software Analysis,
2018
Fordham University
Lightweight Multilingual Software Analysis, Damian Lyons, Anne Marie Bogar, David Baird
Faculty Publications
Large software systems can often be multilingual – that is, software systems are written in more than one language. However, many popular software engineering tools are monolingual by nature. Nonetheless, companies are faced with the need to manage their large, multilingual codebases to address issues with security, efficiency, and quality metrics. This paper presents a novel lightweight approach to multilingual software analysis – MLSA. The approach is modular and focused on efficient static analysis computation for large codebases. One topic is addressed in detail – the generation of multilingual call graphs to identify language boundary problems in multilingual code. The …
An Application Of Game Theory In Distributed Collaborative Decision Making,
2018
CUNY New York City College of Technology
An Application Of Game Theory In Distributed Collaborative Decision Making, Angran Xiao
Publications and Research
In a distributed product realization environment, new paradigms and accompanying software systems are necessary to support the collaborative work of geographically dispersed engineering teams from different disciplines who have different knowledge, experience, tools and resources. To verify the concept of collaboration by separation, we propose a generic information communication medium to enable knowledge representation and exchange between engineering teams, a digital interface. Across digital interfaces, each engineering team maintains its own perspective towards the product realization problem, and each controls a subset of design variables and seeks to maximize its own payoff function subject to individual constraints. Hence, we postulate …
An Algorithmic Approach To Creating Effective Study Groups Using A Smart Phone App,
2018
Georgia Southern University
An Algorithmic Approach To Creating Effective Study Groups Using A Smart Phone App, Kelvin J. Rosado-Ayala
Honors College Theses
For many students entering college, meeting new people and studying are a common struggle. Study groups are generally recommended, especially if the groups are comprised of members with complementary personality traits. But the challenge still remains, how do freshmen or transfer students find and form these heterogeneous study groups. In order to help alleviate this issue, an Android application was developed to automatically create study groups for students. Using basic information provided by students upon registration, the algorithm is able to automatically find matching group members. The application was designed using an agile life cycle model over the course of …
Data Scientist’S Analysis Toolbox: Comparison Of Python, R, And Sas Performance,
2018
Southern Methodist University
Data Scientist’S Analysis Toolbox: Comparison Of Python, R, And Sas Performance, Jim Brittain, Mariana Cendon, Jennifer Nizzi, John Pleis
SMU Data Science Review
A quantitative analysis will be performed on experiments utilizing three different tools used for Data Science. The analysis will include replication of analysis along with comparisons of code length, output, and results. Qualitative data will supplement the quantitative findings. The conclusion will provide data support guidance on the correct tool to use for common situations in the field of Data Science.
Lightweight Multilingual Software Analysis,
2018
Fordham University
Lightweight Multilingual Software Analysis, Damian Lyons, Anne Marie Bogar, David Baird
Faculty Publications
Developer preferences, language capabilities and the persistence of older languages contribute to the trend that large software codebases are often multilingual – that is, written in more than one computer language. While developers can leverage monolingual software development tools to build software components, companies are faced with the problem of managing the resultant large, multilingual codebases to address issues with security, efficiency, and quality metrics. The key challenge is to address the opaque nature of the language interoperability interface: one language calling procedures in a second (which may call a third, or even back to the first), resulting in a …
Searching For Relevant Lessons Learned Using Hybrid Information Retrieval Classifiers: A Case Study In Software Engineering,
2018
The University of Western Ontario
Searching For Relevant Lessons Learned Using Hybrid Information Retrieval Classifiers: A Case Study In Software Engineering, Tamer Mohamed Abdellatif Mohamed, Luiz Fernando Capretz, Danny Ho
Electrical and Computer Engineering Publications
The lessons learned (LL) repository is one of the most valuable sources of knowledge for a software organization. It can provide distinctive guidance regarding previous working solutions for historical software management problems, or former success stories to be followed. However, the unstructured format of the LL repository makes it difficult to search using general queries, which are manually inputted by project managers (PMs). For this reason, this repository may often be overlooked despite the valuable information it provides. Since the LL repository targets PMs, the search method should be domain specific rather than generic as in the case of general …
Unobtrusive Detection Of Frailty In Older Adults,
2018
Singapore Management University
Unobtrusive Detection Of Frailty In Older Adults, Nadee Goonawardene, Hwee-Pink Tan, Lee Buay Tan
Research Collection School Of Computing and Information Systems
Sensor technologies have gained attention as an effective means to monitor physical and mental wellbeing of elderly. In this study, we examined the possibility of using passive in-home sensors to detect frailty in older adults based on their day-to-day in-home living pattern. The sensor-based elderly monitoring system consists of PIR motion sensors and a door contact sensor attached to the main door. A set of pre-defined features associated with elderly’s day-to-day living patterns were derived based on sensor data of 46 elderly gathered over two different time periods. A series of feature vectors depicting different behavioral aspects were derived to …
Deep Specification Mining,
2018
Singapore Management University
Deep Specification Mining, Tien-Duy B. Le, David Lo
Research Collection School Of Computing and Information Systems
Formal specifications are essential but usually unavailable in software systems. Furthermore, writing these specifications is costly and requires skills from developers. Recently, many automated techniques have been proposed to mine specifications in various formats including finite-state automaton (FSA). However, more works in specification mining are needed to further improve the accuracy of the inferred specifications. In this work, we propose Deep Specification Miner (DSM), a new approach that performs deep learning for mining FSA-based specifications. Our proposed approach uses test case generation to generate a richer set of execution traces for training a Recurrent Neural Network Based Language Model (RNNLM). …
Kbase: The United States Department Of Energy Systems Biology Knowledgebase,
2018
University of California - Berkeley
Kbase: The United States Department Of Energy Systems Biology Knowledgebase, Adam P. Arkin, Robert W. Cottingham, Christopher S. Henry, Nomi L. Harris, Rick L. Stevens, Sergei Maslov, Doreen Ware, Fernando Perez, Shane Canon, Michael W. Sneddon, Matthew L. Henderson, William J. Riehl, Dan Murphy-Olson, Stephen Y. Chan, Roy T. Kamimura, Sunita Kumari, Meghan M. Drake, Thomas S. Brettin, Elizabeth M. Glass, Dylan Chivian, Dan Gunter, David J. Weston, Benjamin H. Allen, Jason Baumohl, Nathan L. Tintle
Faculty Work Comprehensive List
No abstract provided.
Towards 'Verifying' A Water Treatment System,
2018
Singapore Management University
Towards 'Verifying' A Water Treatment System, Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu
Research Collection School Of Computing and Information Systems
Modeling and verifying real-world cyber-physical systems is challenging, which is especially so for complex systems where manually modeling is infeasible. In this work, we report our experience on combining model learning and abstraction refinement to analyze a challenging system, i.e., a real-world Secure Water Treatment system (SWaT). Given a set of safety requirements, the objective is to either show that the system is safe with a high probability (so that a system shutdown is rarely triggered due to safety violation) or not. As the system is too complicated to be manually modeled, we apply latest automatic model learning techniques to …
Compositional Reasoning For Shared-Variable Concurrent Programs,
2018
Singapore Management University
Compositional Reasoning For Shared-Variable Concurrent Programs, Fuyuan Zhang, Yongwang Zhao, David Sanan, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun
Research Collection School Of Computing and Information Systems
Scalable and automatic formal verification for concurrent systems is always demanding. In this paper, we propose a verification framework to support automated compositional reasoning for concurrent programs with shared variables. Our framework models concurrent programs as succinct automata and supports the verification of multiple important properties. Safety verification and simulations of succinct automata are parallel compositional, and safety properties of succinct automata are preserved under refinements. We generate succinct automata from infinite state concurrent programs in an automated manner. Furthermore, we propose the first automated approach to checking rely-guarantee based simulations between infinite state concurrent programs. We have prototyped our …
Stackelberg Security Games: Looking Beyond A Decade Of Success,
2018
Singapore Management University
Stackelberg Security Games: Looking Beyond A Decade Of Success, Arunesh Sinha, Fei Fang, Bo An, Christopher Kiekintveld, Milind Tambe
Research Collection School Of Computing and Information Systems
The Stackelberg Security Game (SSG) model has been immensely influential in security research since it was introduced roughly a decade ago. Furthermore, deployed SSG-based applications are one of most successful examples of game theory applications in the real world. We present a broad survey of recent technical advances in SSG and related literature, and then look to the future by highlighting the new potential applications and open research problems in SSG.
Experiences & Challenges With Server-Side Wifi Indoor Localization Using Existing Infrastructure,
2018
Singapore Management University
Experiences & Challenges With Server-Side Wifi Indoor Localization Using Existing Infrastructure, Dheryta Jaisinghani, Rajesh Krishna Balan, Vinayak Naik, Archan Misra, Youngki Lee
Research Collection School Of Computing and Information Systems
Real-world deployments of WiFi-based indoor localization in large public venues are few and far between as most state-of-the-art solutions require either client or infrastructure-side changes. Hence, even though high location accuracy is possible with these solutions, they are not practical due to cost and/or client adoption reasons. Majority of the public venues use commercial controller-managed WLAN solutions, that neither allow client changes nor infrastructure changes. In fact, for such venues we have observed highly heterogeneous devices with very low adoption rates for client-side apps. In this paper, we present our experiences in deploying a scalable location system for such venues. …
Summarizing Source Code With Transferred Api Knowledge,
2018
Peking University
Summarizing Source Code With Transferred Api Knowledge, Xing Hu, Ge Li, Xin Xia, David Lo, Shuai Lu, Zhi Jin
Research Collection School Of Computing and Information Systems
Code summarization, aiming to generate succinct natural language description of source code, is extremely useful for code search and code comprehension. It has played an important role in software maintenance and evolution. Previous approaches generate summaries by retrieving summaries from similar code snippets. However, these approaches heavily rely on whether similar code snippets can be retrieved, how similar the snippets are, and fail to capture the API knowledge in the source code, which carries vital information about the functionality of the source code. In this paper, we propose a novel approach, named TL-CodeSum, which successfully uses API knowledge learned in …
Characterizing Common And Domain-Specific Package Bugs: A Case Study On Ubuntu,
2018
Singapore Management University
Characterizing Common And Domain-Specific Package Bugs: A Case Study On Ubuntu, Xiaoxue Ren, Qiao Huang, Xin Xia, Zhenchang Xing, Lingfeng Bao, David Lo
Research Collection School Of Computing and Information Systems
Ubuntu is an open source software platform that runs everywhere from the smartphone, the tablet and the PC to the server and the cloud. In Ubuntu, there are many self-contained or third-party software packages for different use, and a bug report in Ubuntu could affect one or more packages simultaneously. Identifying the common package bugs in Ubuntu can help both developers and users better understand the packages they are developing or using, and also provide further guidelines to developers of similar packages in the future. In this paper, we perform a large-scale empirical study of common package bugs on Ubuntu …
Technology-Enabled Medication Adherence For Seniors Living In The Community: Experiences, Lessons, And The Road Ahead,
2018
Singapore Management University
Technology-Enabled Medication Adherence For Seniors Living In The Community: Experiences, Lessons, And The Road Ahead, Hwee Xian Tan, Hwee-Pink Tan, Huiguang Liang
Research Collection School Of Computing and Information Systems
Medication non-adherence in seniors can lead to severe health complications, including morbidity, mortality and decreased quality of life. In view of ageing populations worldwide, there is significant interest among the healthcare sector and researchers to improve medication adherence rates for seniors. However, existing studies in the literature focus primarily on identifying the predictors of medication non-adherence. In this paper, we present our work on technology-enabled medication adherence for 24 community-dwelling seniors over a period of more than 2 years. We leverage Internet of Things (IoT) devices to track inferred medication consumption in the seniors’ homes, and provide quasi real-time alerts …
Identifying Elderlies At Risk Of Becoming More Depressed With Internet-Of-Things,
2018
Institute of High Performance Computing
Identifying Elderlies At Risk Of Becoming More Depressed With Internet-Of-Things, Jiajue Ou, Huiguang Liang, Hwee Xian Tan
Research Collection School Of Computing and Information Systems
Depression in the elderly is common and dangerous. Current methods to monitor elderly depression, however, are costly, time-consuming and inefficient. In this paper, we present a novel depression-monitoring system that infers an elderly’s changes in depression level based on his/her activity patterns, extracted from wireless sensor data. To do so, we build predictive models to learn the relationship between depression level changes and behaviors using historical data. We also deploy the system for a group of elderly, in their homes, and run the experiments for more than one year. Our experimental study gives encouraging results, suggesting that our IoT system …
A Survey On Sensor Calibration In Air Pollution Monitoring Deployments,
2018
Singapore Management University
A Survey On Sensor Calibration In Air Pollution Monitoring Deployments, Balz Maah, Zimu Zhou, Lothar Thiele
Research Collection School Of Computing and Information Systems
Air pollution is a major concern for public health and urban environments. Conventional air pollution monitoring systems install a few highly accurate, expensive stations at representative locations. Their sparse coverage and low spatial resolution are insufficient to quantify urban air pollution and its impacts on human health and environment. Advances in lowcost portable air pollution sensors have enabled air pollution monitoring deployments at scale to measure air pollution at high spatiotemporal resolution. However, it is challenging to ensure the accuracy of these low-cost sensor deployments because the sensors are more error-prone than high-end sensing infrastructures and they are often deployed …
