scholar-alert-digest #12

gistfile1.txt

# Google Scholar Alert Digest

**Date**: 2019-12-07T09:29:56+03:00
**Unread emails**: 50
**Paper titles**: 117
**Uniq paper titles**: 79

## New papers

 - [Dependency Management 2.0–A Semantic Web Enabled Approach](http://scholar.google.ru/scholar_url?url=https://spectrum.library.concordia.ca/985896/1/Eghan_PhD_F2019.pdf) (6)
   <details>
     <summary>Software development and evolution are highly distributed processes that involve</summary> a multitude of supporting tools and resources. Application programming interfaces are commonly used by software developers to reduce development cost and complexity …
   </details>
   

 - [Challenges in the collaborative evolution of a proof language and its ecosystem](http://scholar.google.ru/scholar_url?url=https://www.irif.fr/_media/users/theo/memoirthesis.pdf) (6)
   <details>
     <summary>In this thesis, I present the application of software engineering methods and kn</summary>owledge to the development, maintenance, and evolution of Coq—an interactive proof assistant based on type theory—and its package ecosystem. Coq has been …
   </details>
   

 - [Dependency Management 2.0–A Semantic Web Enabled Approach](https://spectrum.library.concordia.ca/985896/1/Eghan_PhD_F2019.pdf) (5)
   <details>
     <summary>Software development and evolution are highly distributed processes that involve</summary> a multitude of supporting tools and resources. Application programming interfaces are commonly used by software developers to reduce development cost and complexity …
   </details>
   

 - [Understanding Developer Commenting in Code Reviews](http://scholar.google.ru/scholar_url?url=https://www.jstage.jst.go.jp/article/transinf/E102.D/12/E102.D_2019MPP0005/_article/-char/ja/) (4)
   <details>
     <summary>抄録 Modern code review is a well-known practice to assess the quality of soft</summary>ware where developers discuss the quality in a web-based review tool. However, this lightweight approach may risk an inefficient review participation, especially when …
   </details>
   

 - [Challenges in the collaborative evolution of a proof language and its ecosystem](https://www.irif.fr/_media/users/theo/memoirthesis.pdf) (3)
   <details>
     <summary>In this thesis, I present the application of software engineering methods and kn</summary>owledge to the development, maintenance, and evolution of Coq—an interactive proof assistant based on type theory—and its package ecosystem. Coq has been …
   </details>
   

 - [Natural language processing in mining unstructured data from software repositories: a review](http://scholar.google.ru/scholar_url?url=https://link.springer.com/article/10.1007/s12046-019-1223-9) (3)
   <details>
     <summary>With the increasing popularity of open-source platforms, software data is easily</summary> available from various open-source tools like GitHub, CVS, SVN, etc. More than 80 percent of the data present in them is unstructured. Mining data from these …
   </details>
   

 - [Understanding Developer Commenting in Code Reviews](https://www.jstage.jst.go.jp/article/transinf/E102.D/12/E102.D_2019MPP0005/_article/-char/ja/) (3)
   <details>
     <summary>抄録 Modern code review is a well-known practice to assess the quality of soft</summary>ware where developers discuss the quality in a web-based review tool. However, this lightweight approach may risk an inefficient review participation, especially when …
   </details>
   

 - [How Do Contributors Impact Code Naturalness? An Exploratory Study of 50 Python Projects](http://scholar.google.ru/scholar_url?url=https://cragkhit.github.io/publications/iwesep19_Thanadon.pdf) (3)
   <details>
     <summary>Recent studies have shown how software is comparable to natural languages, meani</summary>ng that source code is highly repetitive and predictable. Other studies have shown the naturalness as indicators for code quality (ie, buggy code). With the rise of …
   </details>
   

 - [Can everyone use my app? An Empirical Study on Accessibility in Android Apps](http://scholar.google.ru/scholar_url?url=https://mustang.cec.miamioh.edu/Resources/Publication/ICSME19-Accessibility-CRC(2).pdf) (3)
   <details>
     <summary>Universal design principles aim to improve accessibility by ensuring product des</summary>igns consider all users, including those with certain disabilities (eg, visual impairments). In the case of mobile apps, accessibility is mostly provided by existing features in …
   </details>
   

 - [A Survey on Research of Code Comment Auto Generation](http://scholar.google.ru/scholar_url?url=https://iopscience.iop.org/article/10.1088/1742-6596/1345/3/032010/pdf) (3)
   <details>
     <summary>A code comment is an explanation of the code. As an important part of software d</summary>evelopment process, code comment plays an important role in software maintenance, software reuse and other fields. Automatic generation of code …
   </details>
   

 - [JCaliper](http://scholar.google.ru/scholar_url?url=https://ruomo.lib.uom.gr/bitstream/7000/116/3/kouros2018-CAMERA_READY.pdf) (2)
   <details>
     <summary>Technical Debt (TD) reflects problems in software maintainability along evolutio</summary>n. TD principal is defined as the effort required for refactoring an existing system to an ideal one (aka optimal) that suffers from no maintainability problems. One of the open …
   </details>
   

 - [A Study on the Current Status of Functional Idioms in Java](https://www.jstage.jst.go.jp/article/transinf/E102.D/12/E102.D_2019MPP0002/_article/-char/ja/) (2)
   <details>
     <summary>抄録 Over the past recent decades, numerous programming languages have expande</summary>d to embrace multi-paradigms such as the fusion of object-oriented and functional programming. For example, Java, one of the most famous object-oriented …
   </details>
   

 - [Evaluating and Comparing Size, Complexity and Coupling Metrics as Web Applications Vulnerabilities Predictors](http://scholar.google.ru/scholar_url?url=http://j.mecs-press.net/ijitcs/ijitcs-v11-n7/IJITCS-V11-N7-5.pdf) (2)
   <details>
     <summary>Most security and privacy issues in software are related to exploiting code vuln</summary>erabilities. Many studies have tried to find the correlation between the software characteristics (complexity, coupling, etc.) quantified by corresponding code metrics …
   </details>
   

 - [Identifying, Structuring, and Evolving Features in Software Product Lines](http://scholar.google.ru/scholar_url?url=https://prism.ucalgary.ca/bitstream/handle/1880/110543/ucalgary_2019_sayed_mostafa.pdf?sequence=1&isAllowed=y) (2)
   <details>
     <summary>Software product lines (SPLs) are a set of similar software products that are de</summary>veloped in a coordinated manner, sharing commonalities. Software product line engineering (SPLE) aims to better manage SPLs through the use of both source …
   </details>
   

 - [Text2SQLNet: Syntax Type-Aware Tree Networks for Text-to-SQL](http://scholar.google.ru/scholar_url?url=https://link.springer.com/chapter/10.1007/978-3-030-36778-7_48) (2)
   <details>
     <summary>Building natural language interfaces to relational databases is an important and</summary> challenging problem in natural language processing (NLP), it requires a system that is able to understand natural language questions and generate corresponding SQL …
   </details>
   

 - [Attentive Sequences Recurrent Network for Social Relation Recognition from Video](http://scholar.google.ru/scholar_url?url=https://www.jstage.jst.go.jp/article/transinf/E102.D/12/E102.D_2019EDP7104/_article/-char/ja/) (2)
   <details>
     <summary>抄録 Recently, social relation analysis receives an increasing amount of atten</summary>tion from text to image data. However, social relation analysis from video is an important problem, which is lacking in the current literature. There are still some challenges: 1) …
   </details>
   

 - [A Multi-Modal Intelligent Agent that Learns from Demonstrations and Natural Language Instructions](http://scholar.google.ru/scholar_url?url=http://toby.li/wp-content/uploads/2019/11/TobyLi_Thesis_Proposal.pdf) (2)
   <details>
     <summary>Intelligent agents that can perform tasks on behalf of users have become increas</summary>ingly popular with growing ubiquity in “smart” devices such as phones, wearables, and smart home devices. They allow users to automate common tasks …
   </details>
   

 - [Test Transfer Across Mobile Apps Through Semantic Mapping](http://scholar.google.ru/scholar_url?url=http://castman.net/static/file/paper/2019_ASE_CraftDroid.pdf) (2)
   <details>
     <summary>GUI-based testing has been primarily used to examine the functionality and usabi</summary>lity of mobile apps. Despite the numerous GUI-based test input generation techniques proposed in the literature, these techniques are still limited by (1) lack of context …
   </details>
   

 - [Serious Games como herramienta de transformación sociocultural para fomentar la cultura tributaria en Colombia](http://scholar.google.ru/scholar_url?url=http://alejandria.poligran.edu.co/bitstream/handle/10823/1453/PG_DOCUMENTO_FINAL_NICOLAS_VIVAS.pdf?sequence=1) (2)
   <details>
     <summary>El sistema tributario de Colombia ha sido afectado negativamente por el fenómen</summary>o de la informalidad y la cultura colombiana que exalta la evasión de responsabilidades individuales, el uso de trampas o atajos. Aunque el Estado …
   </details>
   

 - [SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications](https://ieeexplore.ieee.org/abstract/document/8914122/) (1)
   <details>
     <summary>Network-on-Chip (NoC) is a promising interconnecting paradigm in the state-of-th</summary>e-art multi-core architectures. Its communication network can increase the capacity of parallel data transfer such that system performance is improved. In the design of …
   </details>
   

 - [Rethinking the Item Order in Session-based Recommendation with Graph Neural Networks](http://scholar.google.ru/scholar_url?url=https://arxiv.org/pdf/1911.11942) (1)
   <details>
     <summary>Predicting a user's preference in a short anonymous interaction session instead </summary>of long-term history is a challenging problem in the real-life session-based recommendation, eg, e-commerce and media stream. Recent research of the …
   </details>
   

 - [Co-experience on Twitter: A study of information technology professionals](https://opus.lib.uts.edu.au/bitstream/10453/137059/3/F196CF6B-B55B-4509-9ECA-7B3C2FC390F3%20am.pdf) (1)
   <details>
     <summary>Introduction. This paper presents findings from a study of information technolog</summary>y (IT) professionals' use of Twitter for their professional purposes. The study aimed to understand information technology professionals' co-experience and how it …
   </details>
   

 - [A Novel Approach for Measuring Developer's Discussion Switching Focus](https://team.trustie.net/projects/5386/repository/revisions/master/entry/scienceofchina-letter/scis_letter.pdf) (1)
   <details>
     <summary>Dear editor, Social coding sites like GitHub has enabled developers to easily co</summary>ntribute their comments on multiple issues and switch their discussion between issues, ie multi-discussing. Discussing multiple issues simultaneously may enhance …
   </details>
   

 - [GOOL: A Generic Object-Oriented Language (extended version)](https://arxiv.org/pdf/1911.11824) (1)
   <details>
     <summary>We present GOOL, a Generic Object-Oriented Language. It demonstrates that a lang</summary>uage, with the right abstractions, can capture the essence of object-oriented programs. We show how GOOL programs can be used to generate human-readable …
   </details>
   

 - [Extraction de motifs spatio-temporels: co-localisations, séquences et graphes dynamiques attribués](http://scholar.google.ru/scholar_url?url=https://hal.archives-ouvertes.fr/tel-02382032/document) (1)
   <details>
     <summary>Je souhaite remercier les membres du jury pour avoir bien voulu consacrer une pa</summary>rtie de leur temps à mon HDR. Je remercie plus particulièrement Stéphane Bressan, Philippe Fournier-Viger et Alexandre Termier d'avoir accepté d'être mes …
   </details>
   

 - [Infraestructura como código](http://sedici.unlp.edu.ar/bitstream/handle/10915/86142/Documento_completo.pdf-PDFA.pdf?sequence=1) (1)
   <details>
     <summary>En el trabajo se evalúa, en un caso de estudio concreto, la aplicabilidad e imp</summary>acto de los principios de infraestructuras como código en la calidad de las arquitecturas de proyectos de investigación e innovación tecnológica, y en los procesos de …
   </details>
   

 - [Ιεραρχική Σημασιολογική Ανάλυση για Αναγνώριση Λειτουργικότητας Κώδικα με σκοπό την Επαναχρησιμοποίηση](http://scholar.google.ru/scholar_url?url=http://ikee.lib.auth.gr/record/308938/files/Thesis_Kosmidou.pdf) (1)
   <details>
     <summary>Περίληψη Το διαδίκτυο έχει αλλάξει ριζικά τ</summary>ον τρόπο με τον οποίο επικοινωνούμε και ανταλλάσσουμε πληροφορίες. Επίσης, έχει δημιουργήσει πρόσφορο έδαφος για την ανάπτυξη αποθηκών ανοιχτού λογισμικού, στις οποίες έχουν πρόσβαση όλοι. Σε …
   </details>
   

 - [Efficiently Generating Test Data to Kill Stubborn Mutants by Dynamically Reducing the Search Domain](http://scholar.google.ru/scholar_url?url=https://ieeexplore.ieee.org/abstract/document/8907494/) (1)
   <details>
     <summary>Mutation testing is a fault-oriented software testing technique, and a test suit</summary>e generated based on the criterion of mutation testing generally has a high capability in detecting faults. A mutant that is hard killed is called a stubborn one. The …
   </details>
   

 - [D-Goldilocks: Automatic Redistribution of Remote Functionalities for Performance and Efficiency](http://scholar.google.ru/scholar_url?url=http://people.cs.vt.edu/~tilevich/papers/SANER2020.pdf) (1)
   <details>
     <summary>Distributed applications enhance their execution by using remote resources. Howe</summary>ver, distributed execution incurs communication, synchronization, fault-handling, and security overheads. If these overheads are not offset by the yet larger …
   </details>
   

 - [Machine Learning On Complex Networks: Dynamical Fingerprints, Embeddings and Feature Engineering](http://scholar.google.ru/scholar_url?url=https://dial.uclouvain.be/pr/boreal/object/boreal%3A222927/datastream/PDF_01/view) (1)
   <details>
     <summary>Complex networks emerge as a natural framework to describe real-life phenomena i</summary>nvolving a group of entities and their interactions, ie, a social network. Furthermore, other problems involve a collection of networks, such as multi-layer, temporal, or …
   </details>
   

 - [Location-aware heterogeneous web service recommendation using Hybrid approach](http://scholar.google.ru/scholar_url?url=https://pdfs.semanticscholar.org/de26/e44cb887f21182d23cc6cc35be84e2a65b50.pdf) (1)
   <details>
     <summary>Web service has been emerged as a promising technique to support inter-operable </summary>machine-to-machine interaction which provides a method of communication between electronic devices over a network. As the number of web services with similar …
   </details>
   

 - [The Prevention of Chronic Diseases Through eHealth: A Practical Overview](https://link.springer.com/chapter/10.1007/978-3-030-27994-3_3) (1)
   <details>
     <summary>Disease prevention is an umbrella term embracing individual-based or population-</summary>based interventions aimed at preventing the manifestation of diseases (primary prevention), reducing the impact of a disease that has arisen (secondary prevention) …
   </details>
   

 - [Novel Code Plagiarism Detection Based on Abstract Syntax Tree and Fuzzy Petri Nets](https://pdfs.semanticscholar.org/6efe/eb570a783c3bac8cbf8a5c163cba20e2e770.pdf) (1)
   <details>
     <summary>Those students who major in computer science and/or engineering are required to </summary>design program codes in a variety of programming languages. However, many students submit their source codes they get from the Internet or friends with no or few …
   </details>
   

 - [Ιεραρχική Σημασιολογική Ανάλυση για Αναγνώριση Λειτουργικότητας Κώδικα με σκοπό την Επαναχρησιμοποίηση](http://ikee.lib.auth.gr/record/308938/files/Thesis_Kosmidou.pdf) (1)
   <details>
     <summary>Περίληψη Το διαδίκτυο έχει αλλάξει ριζικά τ</summary>ον τρόπο με τον οποίο επικοινωνούμε και ανταλλάσσουμε πληροφορίες. Επίσης, έχει δημιουργήσει πρόσφορο έδαφος για την ανάπτυξη αποθηκών ανοιχτού λογισμικού, στις οποίες έχουν πρόσβαση όλοι. Σε …
   </details>
   

 - [SEG-LM: A Factored-Output Model for Morphologically Rich Languages](http://scholar.google.ru/scholar_url?url=https://ys1998.github.io/research/emnlp2019.pdf) (1)
   <details>
     <summary>Neural language models (LMs) have shown to benefit significantly from enhancing </summary>word vectors with subword-level information, especially for morphologically rich languages. This has been mainly tackled by providing subword-level information as …
   </details>
   

 - [Development of a local cloud system based on P2P file sharing](https://webthesis.biblio.polito.it/12402/1/tesi.pdf) (1)
   <details>
     <summary>Nowadays, anyone dealing with computer systems has to work with a wide variety o</summary>f different files, often large ones. It is therefore essential to have effective tools for sharing them. Another important aspect is that of file synchronization, ie making the …
   </details>
   

 - [A Study on the Current Status of Functional Idioms in Java](http://scholar.google.ru/scholar_url?url=https://www.jstage.jst.go.jp/article/transinf/E102.D/12/E102.D_2019MPP0002/_article/-char/ja/) (1)
   <details>
     <summary>抄録 Over the past recent decades, numerous programming languages have expande</summary>d to embrace multi-paradigms such as the fusion of object-oriented and functional programming. For example, Java, one of the most famous object-oriented …
   </details>
   

 - [Samsung and University of Edinburgh's System for the IWSLT 2019](http://scholar.google.ru/scholar_url?url=https://www.zora.uzh.ch/id/eprint/176328/1/IWSLT2019_paper_34.pdf) (1)
   <details>
     <summary>This paper describes the joint submission to the IWSLT 2019 English to Czech tas</summary>k by Samsung R&D Institute, Poland, and the University of Edinburgh. Our submission was ultimately produced by combining four Transformer systems through a mixture of …
   </details>
   

 - [JCaliper](https://ruomo.lib.uom.gr/bitstream/7000/116/3/kouros2018-CAMERA_READY.pdf) (1)
   <details>
     <summary>Technical Debt (TD) reflects problems in software maintainability along evolutio</summary>n. TD principal is defined as the effort required for refactoring an existing system to an ideal one (aka optimal) that suffers from no maintainability problems. One of the open …
   </details>
   

 - [Attentive Sequences Recurrent Network for Social Relation Recognition from Video](https://www.jstage.jst.go.jp/article/transinf/E102.D/12/E102.D_2019EDP7104/_article/-char/ja/) (1)
   <details>
     <summary>抄録 Recently, social relation analysis receives an increasing amount of atten</summary>tion from text to image data. However, social relation analysis from video is an important problem, which is lacking in the current literature. There are still some challenges: 1) …
   </details>
   

 - [A Novel Approach for Measuring Developer's Discussion Switching Focus](http://scholar.google.ru/scholar_url?url=https://team.trustie.net/projects/5386/repository/revisions/master/entry/scienceofchina-letter/scis_letter.pdf) (1)
   <details>
     <summary>Dear editor, Social coding sites like GitHub has enabled developers to easily co</summary>ntribute their comments on multiple issues and switch their discussion between issues, ie multi-discussing. Discussing multiple issues simultaneously may enhance …
   </details>
   

 - [Program Synthesis for Images using Tree-Structured LSTM](http://scholar.google.ru/scholar_url?url=https://pgr-workshop.github.io/img/PGR023.pdf) (1)
   <details>
     <summary>Program synthesis has recently emerged as a promising approach for image parsing</summary>. However, prior work has relied on supervised learning using training images paired with ground truth generating programs. We present an unsupervised …
   </details>
   

 - [Studying Test Flakiness in Python Projects: Original Findings for Machine Learning](http://www.diva-portal.org/smash/get/diva2:1373595/FULLTEXT01.pdf) (1)
   <details>
     <summary>Flaky tests can fail or pass without any changes to the code under test. They ca</summary>n destroy developers trust in a test suite and if ignored lead to bugs in released code. This thesis performs an empirical study of the most popular open source Python …
   </details>
   

 - [Spatially Encoded Biological Assays](https://patents.google.com/patent/US20190177777A1/en) (1)
   <details>
     <summary>The present invention provides assays and assay systems for use in spatially enc</summary>oded biological assays. The invention provides an assay system comprising an assay capable of high levels of multiplexing where reagents are provided to a …
   </details>
   

 - [Blockchains: a Systematic Multivocal Literature Review](https://arxiv.org/pdf/1911.11770) (1)
   <details>
     <summary>Blockchain technology has gained tremendous popularity both in practice and acad</summary>emia. The goal of this article is to develop a coherent overview of the state of the art in blockchain technology, using a systematic (ie, protocol-based, replicable) …
   </details>
   

 - [Ordering Matters: Word Ordering Aware Unsupervised NMT](http://scholar.google.ru/scholar_url?url=https://arxiv.org/pdf/1911.01212) (1)
   <details>
     <summary>Denoising-based Unsupervised Neural Machine Translation (U-NMT) models typically</summary> employ denoising strategy at the encoder module to prevent the model from memorizing the input source sentence. Specifically, given an input sentence of …
   </details>
   

 - [A data-driven approach to spoken dialog segmentation](http://scholar.google.ru/scholar_url?url=https://www.sciencedirect.com/science/article/pii/S0925231219316078) (1)
   <details>
     <summary>In this paper, we present a statistical model for spoken dialog segmentation tha</summary>t decides the current phase of the dialog by means of an automatic classification process. We have applied our proposal to three practical conversational systems …
   </details>
   

 - [Identifying Transitional High Cost Users from Unstructured Patient Profiles Written by Primary Care Physicians](http://scholar.google.ru/scholar_url?url=https://psb.stanford.edu/psb-online/proceedings/psb20/Zhang.pdf) (1)
   <details>
     <summary>Identification and subsequent intervention of patients at risk of becoming High </summary>Cost Users (HCUs) presents the opportunity to improve outcomes while also providing significant savings for the healthcare system. In this paper, the 2016 HCU status of …
   </details>
   

 - [Automatic Identification and Recovery of Errors in Programs-A Rigorous Approach](http://scholar.google.ru/scholar_url?url=https://thisthat.github.io/papers/AAU-SERG-2019-002.pdf) (1)
   <details>
     <summary>Modern software development practices have shifted to a fast and agile release p</summary>rocess. Software is automatically compiled, tested, verified, and shipped to the users. Formal methods and their implementation in tools are difficult to integrate into …
   </details>
   

 - [Geo-spatial Screening using Anomaly Detection for Efficient Security Analysis of V2X Sensor Data on C-ITS Service](https://ieeexplore.ieee.org/abstract/document/8916877/) (1)
   <details>
     <summary>Security for cooperative intelligent transport systems (C-ITS), which are expect</summary>ed to contribute to realizing a safe and efficient transportation environment, will become more important in the near future. Among various proposed C-ITS services, this study …
   </details>
   

 - [Does your code need comment?](https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.2772) (1)
   <details>
     <summary>Code comments convey information about the programmers' intention in a more expl</summary>icit but less rigorous manner than source code. This information can assist programmers in various tasks, such as code comprehension, reuse, and …
   </details>
   

 - [Análise do Método HTA (Análise Hierárquica de Tarefas) para Decomposição de Tarefas em Crowdsourcing](http://scholar.google.ru/scholar_url?url=http://repositorio.upf.br/bitstream/riupf/1779/1/PF2019Matheus%20Bianchi%20Godinho.pdf) (1)
   <details>
     <summary>Trabalhadores de plataformas crowdsourcing encontram barreiras que dificultam a </summary>sua participação, tendo como exemplo as que estão relacionadas à tarefas. Tarefas consideradas complexas podem limitar o número de trabalhadores em potencial. A …
   </details>
   

 - [Applying Matrix Factorization for Predicting Click Through Rate on Advertizing in Apps on Mobile Devices](https://link.springer.com/chapter/10.1007/978-3-030-37497-6_15) (1)
   <details>
     <summary>The number of smart phone and smartphone users has increased rapidly, boosting t</summary>he growth of mobile advertising. Predicting the percentage of users who click on an advertisement when displayed on an application (CTR: Click Through Rate) plays an …
   </details>
   

 - [Learning Deep MRFs with Amortized Bethe Free Energy Minimization](http://scholar.google.ru/scholar_url?url=https://openreview.net/pdf?id=B1ek0HSlLr) (1)
   <details>
     <summary>We propose to learn deep undirected graphical models (ie, MRFs), with a non-ELBO</summary> objective for which we can calculate exact gradients. In particular, we optimize a saddle-point objective deriving from the Bethe free energy approximation to the …
   </details>
   

 - [A Survey on the Latest Development of Machine Learning in Genetic Algorithm and Particle Swarm Optimization](https://link.springer.com/chapter/10.1007/978-981-15-0994-0_6) (1)
   <details>
     <summary>The concept of machine learning (ML) is becoming popular day by day among resear</summary>ch community for many reasons—capability of solving high-dimensional real-world problem, availability of quality data to build and validate models and most …
   </details>
   

 - [Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration](https://ieeexplore.ieee.org/abstract/document/8913993/) (1)
   <details>
     <summary>Craig interpolation has emerged as an effective approximation method and can be </summary>widely applied in hardware and software model checking. Since the quality of interpolants can critically affect the success and failure, or convergence and …
   </details>
   

 - [Developer Confidence in Continuous Integration: Definition and Supporting Aspects](http://scholar.google.ru/scholar_url?url=https://odr.chalmers.se/bitstream/20.500.12380/255224/1/255224.pdf) (1)
   <details>
     <summary>Context Organizations are facing a lot of challenges, both social and technical,</summary> in adopting continuous practices. In the midst of these challenges, little is known about how software developers are dealing with the usage of continuous integration as its …
   </details>
   

 - [Inferring How Novice Students Learn to Code: Integrating Automated Program Repair with Cognitive Model](http://scholar.google.ru/scholar_url?url=https://link.springer.com/chapter/10.1007/978-981-15-1899-7_4) (1)
   <details>
     <summary>Learning to code on Massive Open Online Courses (MOOCs) has become more and more</summary> popular among novice students while inferring how the students learn programming on MOOCs is a challenging task. To solve this challenge, we build a …
   </details>
   

 - [Software Complexity Reduction by Automated Refactoring Schema](https://ieeexplore.ieee.org/abstract/document/8914118/) (1)
   <details>
     <summary>As the scale of software systems is growing rapidly, software complexity is beco</summary>ming one of the main problems in software engineering. Higher complexity in software increases the potential risk and defects of software system, which makes it more …
   </details>
   

 - [How to Kill Symbolic Deobfuscation for Free](http://scholar.google.ru/scholar_url?url=http://sebastien.bardin.free.fr/2019-acsac.pdf) (1)
   <details>
     <summary>Code obfuscation is a major tool for protecting software intellectual property f</summary>rom attacks such as reverse engineering or code tampering. Yet, recently proposed (automated) attacks based on Dynamic Symbolic Execution (DSE) shows very …
   </details>
   

 - [Uma Adaptaç ao dos Operadores Genéticos para o Problema do Próximo Release com Interdependência entre Requisitos](http://scholar.google.ru/scholar_url?url=https://www.researchgate.net/profile/Altino_Dantas2/publication/320273062_Uma_Adaptacao_dos_Operadores_Geneticos_para_o_Problema_do_Proximo_Release_com_Interdependencia_entre_Requisitos/links/5d8221fc92851ceb7911b4a4/Uma-Adaptacao-dos-Operadores-Geneticos-para-o-Problema-do-Proximo-Release-com-Interdependencia-entre-Requisitos.pdf) (1)
   <details>
     <summary>The Next Release Problem consists in selecting a set of requirements to be devel</summary>oped in the next release, aiming to maximize the overall importance value. When considering the requirements' interdependencies, more constraints are added …
   </details>
   

 - [A Multi-language Platform for Generating Algebraic Mathematical Word Problems](http://scholar.google.ru/scholar_url?url=https://www.researchgate.net/profile/Vijini_Liyanage/publication/337387455_A_Multi-language_Platform_for_Generating_Algebraic_Mathematical_Word_Problems/links/5dd4c2c5299bf11ec8629421/A-Multi-language-Platform-for-Generating-Algebraic-Mathematical-Word-Problems.pdf) (1)
   <details>
     <summary>Existing approaches for automatically generating mathematical word problems are </summary>deprived of customizability and creativity due to the inherent nature of template-based mechanisms they employ. We present a solution to this problem with the use …
   </details>
   

 - [Vehicle Occupancy Detection for HOV/HOT Lanes Enforcement](https://ieeexplore.ieee.org/abstract/document/8917378/) (1)
   <details>
     <summary>High-Occupancy Vehicle (HOV) and HighOccupancy Toll (HOT) lanes have gained inte</summary>rest in recent years since they provide innovative solutions to roadway congestion and traffic safety in urban areas. Enforcement is one of the key …
   </details>
   

 - [A Survey on Research of Code Comment Auto Generation](https://iopscience.iop.org/article/10.1088/1742-6596/1345/3/032010/pdf) (1)
   <details>
     <summary>A code comment is an explanation of the code. As an important part of software d</summary>evelopment process, code comment plays an important role in software maintenance, software reuse and other fields. Automatic generation of code …
   </details>
   

 - [Improving Clone Detection Precision using Machine Learning Techniques](http://scholar.google.ru/scholar_url?url=https://cragkhit.github.io/publications/iwesep19_Vara.pdf) (1)
   <details>
     <summary>Code clones or similar segments of code in a software project can be detected by</summary> using a clone detection tool. Due to modifications applied after copying and pasting of the cloned code, the current code clone detection tools face challenges to …
   </details>
   

 - [Does your code need comment?](http://scholar.google.ru/scholar_url?url=https://onlinelibrary.wiley.com/doi/abs/10.1002/spe.2772) (1)
   <details>
     <summary>Code comments convey information about the programmers' intention in a more expl</summary>icit but less rigorous manner than source code. This information can assist programmers in various tasks, such as code comprehension, reuse, and …
   </details>
   

 - [Simultaneous Neural Machine Translation using Connectionist Temporal Classification](http://scholar.google.ru/scholar_url?url=https://arxiv.org/pdf/1911.11933) (1)
   <details>
     <summary>Simultaneous machine translation is a variant of machine translation that starts</summary> the translation process before the end of an input. This task faces a trade-off between translation accuracy and latency. We have to determine when we start the translation …
   </details>
   

 - [Improving Clone Detection Precision using Machine Learning Techniques](https://cragkhit.github.io/publications/iwesep19_Vara.pdf) (1)
   <details>
     <summary>Code clones or similar segments of code in a software project can be detected by</summary> using a clone detection tool. Due to modifications applied after copying and pasting of the cloned code, the current code clone detection tools face challenges to …
   </details>
   

 - [Generative Adversarial Networks in Text Generation](https://kth.diva-portal.org/smash/get/diva2:1374343/FULLTEXT01.pdf) (1)
   <details>
     <summary>Abstract The Generative Adversarial Network (GAN) was firstly proposed in 2014, </summary>and it has been highly studied and developed in recent years. It has obtained great success in the problems that can not be explicitly defined by a math equation such as …
   </details>
   

 - [D-Goldilocks: Automatic Redistribution of Remote Functionalities for Performance and Efficiency](http://people.cs.vt.edu/~tilevich/papers/SANER2020.pdf) (1)
   <details>
     <summary>Distributed applications enhance their execution by using remote resources. Howe</summary>ver, distributed execution incurs communication, synchronization, fault-handling, and security overheads. If these overheads are not offset by the yet larger …
   </details>
   

 - [Test Case Propagation in Related Applications](http://scholar.google.ru/scholar_url?url=http://soft.vub.ac.be/benevol2019/papers/BENEVOL_2019_paper_25.pdf) (1)
   <details>
     <summary>Software is becoming increasingly complex and at the same time increasingly safe</summary>ty critical (for example in domains of robotics, autonomous systems such as cars, data-processing software, Android apps). To tackle these challenges, developers need to …
   </details>
   

 - [Social Media with Automated Moderation](http://scholar.google.ru/scholar_url?url=https://capstone.extension.harvard.edu/files/capstone/files/team1_157191_7963250_team1_capstone_v5.pdf) (1)
   <details>
     <summary>SnogJammers is a social media company based in Los Angeles, California, USA. It </summary>provides an application that enables users to match and connect for dating purposes. It is a mediumsized company with 500 fulltime employees: 150 of those employees …
   </details>
   

 - [On the Effective Use of Data Dependency for Reliable Cloud Service Monitoring](http://scholar.google.ru/scholar_url?url=https://tuprints.ulb.tu-darmstadt.de/9464/1/HengZhang_PhD_Thesis.pdf) (1)
   <details>
     <summary>Cloud computing is a large-scale distributed computing paradigm that aims at pro</summary>viding powerful computing and storage capability by dynamically sharing a pool of system resources (eg, network bandwidth, storage space, or virtualized devices) in …
   </details>
   

 - [Agent Based Modelling for Migration of Industrial Control Systems](http://scholar.google.ru/scholar_url?url=https://ieeexplore.ieee.org/abstract/document/8913893/) (1)
   <details>
     <summary>Keeping industrial control systems on par with state-of-the-art is required to (</summary>i) make industrial plants greener with reduced energy consumption and emissions,(ii) improve productivity due to better optimization and automation, and (iii) reduce …
   </details>
   

 - [GOOL: A Generic Object-Oriented Language](http://www.cas.mcmaster.ca/~carette/publications/GOOL.pdf) (1)
   <details>
     <summary>We present GOOL, a Generic Object-Oriented Language. GOOL shows that with the ri</summary>ght abstractions, a language can capture the essence of object-oriented programs. GOOL generates human-readable, documented and idiomatic code in Python, Java …
   </details>
   

 - [Identifying, Structuring, and Evolving Features in Software Product Lines](https://prism.ucalgary.ca/bitstream/handle/1880/110543/ucalgary_2019_sayed_mostafa.pdf?sequence=1&isAllowed=y) (1)
   <details>
     <summary>Software product lines (SPLs) are a set of similar software products that are de</summary>veloped in a coordinated manner, sharing commonalities. Software product line engineering (SPLE) aims to better manage SPLs through the use of both source …
   </details>
   

 - [Identifying AI talents among LinkedIn members A machine learning approach](http://scholar.google.ru/scholar_url?url=https://aiforall.azurewebsites.net/pdf/AI%20in%20the%20Labour%20Force%20to%20share.pdf) (1)
   <details>
     <summary>How to identify specific profiles among the hundred of millions LinkedIn's membe</summary>rs? LinkedIn Economic Graph thrives on skills, around 50 thousand of them are listed by LinkedIn and constitute one of the main signals to identify professions or trends …
   </details>
   

 - [Investigating backtranslation for the improvement of English-Irish machine translation](http://scholar.google.ru/scholar_url?url=https://journal.iraal.ie/index.php/teanga/article/download/88/123) (1)
   <details>
     <summary>In this paper, we discuss the difficulties of building reliable machine translat</summary>ion systems for the English-Irish (EN-GA) language pair. In the context of limited datasets, we report on assessing the use of backtranslation as a method for creating …
   </details>
   

 - [Revisiting memory assignment semantics in imperative programming languages](https://archive-ouverte.unige.ch/unige:127105/ATTACHMENT01) (1)
   <details>
     <summary>This thesis studies the semantics of imperative programming languages. In partic</summary>ular, it explores the relationship between the syntax and semantics of memory assignment. The contributions are threefold. First, I developed a theoretical …
   </details>