Write a Blog >>
Mon 14 - Fri 18 November 2022 Singapore
Events (65 results)

All You Need Is Logs: Improving Code Completion by Learning from Anonymous IDE Usage Logs

Industry Paper When: Mon 14 Nov 2022 12:00 - 12:15 People: Vitaliy Bibaev, Alexey Kalina, Vadim Lomshakov, Yaroslav Golubev, Alexander Bezzubov, Nikita Povarov, Timofey Bryksin

all the necessary anonymization on the client's side. Importantly, it can …

GERRY - A Gamified Browser Tool for GUI Testing

Gamify 2022 When: Thu 17 Nov 2022 15:10 - 15:30 People: Giacomo Garaccione, Tommaso Fulcini, Marco Torchiano

… also gener- ates reports (i.e., traces of all actions and milestones reached during …

Mining Sorting Concept across Curriculum Levels. A Cyclic Learning Based Approach

EASEAI 2022 When: Fri 18 Nov 2022 21:15 - 21:30 People: Mariana Maier, Camelia Serban, Andrei Moisin

… Nowadays, when the changes that appear in programming paradigms and in software process development methodologies are extremely frequent, teaching Computer Science throughout all levels of study has become a demanding task. To all

QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering

QP4SE 2022 When: Fri 18 Nov 2022 23:30 - 23:40 People: Mirko De Vincentiis, Fabio Cassano, Alessandro Pagano, Antonio Piccinno

… security, in all phases of software applications (concept phases, product …

Feature sets in just-in-time defect prediction: An empirical evaluation

PROMISE'22 When: Fri 18 Nov 2022 14:20 - 14:40 People: Peter Bludau, Alexander Pretschner

… , not yet discussed in literature. By combining all feature sets, we improve MCC …

Reverse engineering the new SBSE

Future of SBSE When: Fri 18 Nov 2022 11:30 - 12:00 People: Tim Menzies

… What is different about 2022 to 2002? What have we learned?  Having done this for a while now, what have we learned from all that inference? Can we use that information to propose a new SBSE? One based on different principles …

Profiling Developers to Predict Vulnerable Code Changes

PROMISE'22 When: Fri 18 Nov 2022 11:20 - 11:40 People: Tugce Coskun, Rusen Halepmollasi, Khadija Hanifi, Ramin Fadaei Fouladi, Pinar Comak De Cnudde, Ayse Tosun

… and the aggregation of code metrics for extracting all the input features. We utilize …

Embracing Iterations in Quantum Software: A Vision

QP4SE 2022 When: Fri 18 Nov 2022 23:20 - 23:30 People: Arif Ali Khan, Mahdi Fahmideh, Aakash_Ahmad , Muhammad Waseem, Mahmood Niazi, Valtteri Lahtinen, Tommi Mikkonen

… In today’s software engineering, iterations, affordable en masse, form an important part of just about any system. However, not all computing resources are cheap to consume. In high-performance (HPC) and quantum computing (QC), executions …

Academic search engines: constraints, bugs and recommendations

A-TEST 2022 When: Fri 18 Nov 2022 14:30 - 15:00 People: Zheng Li, Austen Rainer

… -attempting the searches for all of these 621 studies, we effectively conduct …

ML is the new SBSE

Future of SBSE When: Fri 18 Nov 2022 11:00 - 11:30 People: Myra Cohen

all of the major software engineering venues. As this has happened the SSBSE …

Classifying Edits to Variability in Source Code

Research Papers When: Mon 14 Nov 2022 16:15 - 16:30 People: Paul Maximilian Bittner, Christof Tinnes, Alexander Schultheiß, Sören Viegener, Timo Kehrer, Thomas Thüm

… of 44 open-source software systems automatically.
We are able to classify all edits with syntactically correct feature-to-code mappings and find that all our …

Automatically Deriving JavaScript Static Analyzers from Specifications using Meta-level Static Analysis

Research Papers People: Jihyeok Park, Seungmin An, Sukyoung Ryu

… , the standard specification of JavaScript. Unfortunately, all the existing JavaScript … JSAVER. The derived analyzer soundly analyzed all applicable 18,556 official …

Demystifying the Underground Ecosystem of Account Registration Bots

Research Papers When: Wed 16 Nov 2022 14:30 - 14:45 People: Yuhao Gao, Guoai Xu, Li Li, Xiapu Luo, Chenyu Wang, Yulei Sui

… harvesting, and spreading fake news. All these activities rely heavily … that all can easily bypass the security strategies website providers put in place …

What Improves Developer Productivity at Google? Code Quality

Industry Paper When: Mon 14 Nov 2022 11:00 - 11:15 People: Lan Cheng, Emerson Murphy-Hill, Mark Canning, Ciera Jaspan, Collin Green, Andrea Knight, Nan Zhang, Liz Kammer

… , and organizational change and process are all causally linked to self-reported …

Neural Termination Analysis

Research Papers When: Tue 15 Nov 2022 15:00 - 15:15 People: Mirco Giacobbe, Daniel Kroening, Julian Parsert

… symbolic reasoning to formally verify that it
generalises to all possible …

A Longitudinal Analysis of Bloated Java Dependencies

ESEC/FSE 2021 When: Tue 15 Nov 2022 15:00 - 15:15 People: César Soto-Valero, Thomas Durieux, Benoit Baudry

… % of the direct dependencies that are bloated remain bloated in all subsequent …

TSA: A Tool to Detect and Quantify Network Side-Channels

Demonstrations People: Ismet Burak Kadron, Tevfik Bultan

… Mobile applications, Internet of Things devices and web services are pervasive and they all encrypt the communications between servers and clients to not have information leakages. While the network traffic is encrypted, packet sizes …

Mining Input Grammars from Dynamic Control Flow

ESEC/FSE 2020 When: Tue 15 Nov 2022 11:00 - 11:15 People: Rahul Gopinath, Björn Mathis, Andreas Zeller

… locations of the input parser. This works on all stack based recursive descent …

In War and Peace: The Impact of World Politics on Software Ecosystems

Ideas, Visions and Reflections When: Mon 14 Nov 2022 14:00 - 14:15 People: Raula Gaikovina Kula, Christoph Treude

… be enjoyed by all.
Yet, there is a growing concern related to maintainers using …

Detecting Simulink Compiler Bugs via Controllable Zombie Blocks Mutation

Research Papers People: Shikai Guo, He Jiang, Zhihao Xu, Xiaochen Li, Zhilei Ren, Zhide Zhou, Rong Chen

… since all CPS models depend on compilation. However, Simulink compiler testing … into true and false branches. Then, COMBAT feeds all the data passed through …

FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers

Demonstrations When: Wed 16 Nov 2022 14:53 - 15:00 People: Haoxin Tu, Lingxiao Jiang, Xuhua Ding, He Jiang

… to be type-safe but existing SE engines treat all the pointers equally, meaning that those engines perform unnecessary bound checking for all the pointers, thus …

RecipeGen++: An Automated Trigger Action Programs Generator

Demonstrations When: Tue 15 Nov 2022 11:38 - 11:45 People: Imam Nur Bani Yusuf, Diyanah Binte Abdul Jamal, Lingxiao Jiang, David Lo

… . In contrast, the One-Click mode allows users to generate all TAP components directly … evaluated \textit{RecipeGen++} on real-world datasets in all modes. Our results …

Explaining and Debugging Pathological Program Behavior

Doctoral Symposium When: Thu 17 Nov 2022 15:00 - 15:30 People: Martin Eberlein

… . A program's behavior is essentially the set of all its executions. This set is usually …

Accurate Method and Variable Tracking in Commit History

Research Papers When: Mon 14 Nov 2022 16:00 - 16:15 People: Mehran Jodavi, Nikolaos Tsantalis

… , with the complete change history of all 1345 variables and parameters declared …

Hierarchical Bayesian Multi-kernel Learning for Integrated Classification and Summarization of App Reviews

Research Papers When: Tue 15 Nov 2022 14:45 - 15:00 People: Moayad Alshangiti, Weishi Shi, Eduardo Coelho de Lima, Xumin Liu, Qi Yu

… their content. However, all previous studies approached the app reviews classification …

Lighting Up Supervised Learning in User Review-Based Code Localization: Dataset and Benchmark

Research Papers People: Xinwen Hu, Yu Guo, Jianjie Lu, Zheling Zhu, Chuanyi Li, Jidong Ge, Liguo Huang, Bin Luo

… (i.e., truly related <UR, Code> pairs), existing methods are all

Testing Self-Adaptive Software with Probabilistic Guarantees on Performance Metrics

ESEC/FSE 2020 When: Tue 15 Nov 2022 14:00 - 14:15 People: Claudio Mandrioli, Martina Maggio

… comparison of the confidence and guarantees that can be given with all

Discovering Feature Flag Interdependencies in Microsoft Office

Industry Paper When: Wed 16 Nov 2022 14:15 - 14:30 People: Michael Schröder, Katja Kevic , Dan Gopstein, Brendan Murphy, Jennifer Beckmann

… , and these unknown dependencies could become a source of serious bugs. Testing all possible …

Fuzzing: On the Exponential Cost of Vulnerability Discovery

ESEC/FSE 2020 When: Wed 16 Nov 2022 11:30 - 11:45 People: Marcel Böhme, Brandon Falk

… We present counterintuitive results for the scalability of fuzzing. Given the same non-deterministic fuzzer, finding the same bugs linearly faster requires linearly more machines. For instance, with twice the machines, we can find all

Feature Trace Recording

ESEC/FSE 2021 When: Tue 15 Nov 2022 11:45 - 12:00 People: Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young, Lukas Linsbauer

… Tracing requirements to their implementation is crucial to all stakeholders of a software development process. When managing software variability, requirements are typically expressed in terms of features, a feature being a user-visible …

Scenario-Based Test Reduction and Prioritization for Multi-Module Autonomous Driving Systems

Research Papers When: Mon 14 Nov 2022 11:45 - 12:00 People: Yao Deng, Xi Zheng, Mengshi Zhang, Guannan Lou, Tianyi Zhang

… effectiveness, identifying almost all injected faults. Furthermore, our test …

Program Analysis using WALA (Tutorial)

Tutorials When: Thu 17 Nov 2022 09:00 - 10:30Thu 17 Nov 2022 11:00 - 12:30 People: Joanna C. S. Santos, Julian Dolby

… will cover all the required background knowledge that is necessary to understand …

Tracking Patches for Open Source Software Vulnerabilities

Research Papers People: Congying Xu, Bihuan Chen, Chenhao Lu, Kaifeng Huang, Xin Peng, Yang Liu

… are either too expensive or too specific to apply to all OSS vulnerabilities …

NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis

Research Papers People: Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radiček, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie

… challenges: the user's words have contextual semantics, the user may not include all

A Case Study of Implicit Mentoring, Its Prevalence, and Impact in Apache

Research Papers People: Zixuan Feng, Amreeta Chatterjee, Anita Sarma, Iftekhar Ahmed

… does occur through code reviews (27.41% of all PRs included implicit mentoring …

Input Invariants

Research Papers When: Tue 15 Nov 2022 14:00 - 14:15 People: Dominic Steinhöfel, Andreas Zeller

… "; “the ‘file name’ block must be 100 bytes long,” or "the number of columns in all CSV …

Academic Prototyping

Plenary Events When: Mon 14 Nov 2022 14:00 - 15:30 People: Andreas Zeller

… Much of our research requires building tools to evaluate and demonstrate new approaches. Yet, tool building can take large amounts of time and resources. And it brings risks: The original idea might not work; rendering all efforts futile …

BiRD: Race Detection in Software Binaries under Relaxed Memory Models

Journal First When: Tue 15 Nov 2022 11:00 - 11:15 People: Ridhi Jain , Rahul Purandare, Subodh Sharma

all distinct feasible interleavings for a multithreaded application. Our …

Community Expectations for Research Artifacts and Evaluation Processes

ESEC/FSE 2020 When: Mon 14 Nov 2022 11:15 - 11:30 People: Ben Hermann, Stefan Winter, Janet Siegmund

… .
Method. We conducted a survey including all members of artifact evaluation …

Are We Building on the Rock? On the Importance of Data Preprocessing for Code Summarization

Research Papers When: Mon 14 Nov 2022 11:30 - 11:45 People: Lin Shi, Fangwen Mu, Xiao Chen, Song Wang, Junjie Wang, Ye Yang, Ge Li, Xin Xia, Qing Wang

… models. The results show that these data preprocessing noises widely exist in all

Aide-mémoire: Improving a Project’s Collective Memory via Pull Request–Issue Links

Journal First When: Wed 16 Nov 2022 11:15 - 11:30 People: Profir-Petru Pârțachi, David White, Earl T. Barr

… a single suggested link 94% of the time, and 16% of all discovered links were …

eGEN: An Energy-saving Modeling Language and Code Generator for Location-sensing of Mobile Apps

Demonstrations When: Tue 15 Nov 2022 15:00 - 15:07 People: Kowndinya Boyalakuntla, Marimuthu Chinnakali, Sridhar Chimalakonda, K. Chandrasekaran

… with source code and all artifacts is available at https://github.com/Kowndinya2000/egen …

MAAT: A Novel Ensemble Approach to Addressing Fairness and Performance Bugs for Machine Learning Software

Research Papers People: Zhenpeng Chen, Jie M. Zhang, Federica Sarro, Mark Harman

… of MAAT over the state-of-the-art holds on all the tasks and measurements that we …

AI-Assisted Programming: Applications, User Experiences, and Neuro-Symbolic Techniques (Keynote)

Plenary Events When: Mon 14 Nov 2022 09:00 - 10:30 People: Sumit Gulwani

… AI can enhance programming experiences for a diverse set of programmers: from professional developers and data scientists (proficient programmers) who need help in software engineering and data wrangling, all the way to spreadsheet users …

Story points changes in agile iterative development: An empirical study and a prediction approach

Journal First When: Wed 16 Nov 2022 14:30 - 14:45 People: Jirat Pasuksmit, Patanamon Thongtanunam, Shanika Karunasekera

… . Yet, it could be a tedious task to review all work items in the product (or sprint …

SEDiff: Scope-Aware Differential Fuzzing to Test Internal Function Models in Symbolic Execution

Research Papers People: Penghui Li, Wei Meng, Kangjie Lu

… impact all applications of symbolic execution, e.g., bug detection and model …

Improving ML-Based Information Retrieval Software with User-Driven Functional Testing and Defect Class Analysis

Industry Paper When: Tue 15 Nov 2022 11:30 - 11:45 People: Junjie Zhu, Teng Long, Wei Wang, Atif Memon

improvement, where all 3 were independently verified with retrospective A/B …

On Safety, Assurance, and Reliability: A Software Engineering Perspective (Keynote)

Plenary Events When: Wed 16 Nov 2022 16:00 - 17:30 People: Marsha Chechik

… : “the system should detect all pedestrians at a crossing”, these requirements …

SymMC: Approximate Model Enumeration and Counting using Symmetry Information for Alloy Specifications

Research Papers People: Wenxi Wang, Yang Hu, Kenneth L. McMillan, Sarfraz Khurshid

… , which utilizes the symmetry information to compute all the desired terms …

Exploring and Evaluating Personalized Models for Code Generation

Industry Paper People: Andrei Zlotchevski, Dawn Drain, Alexey Svyatkovskiy, Colin Clement, Neel Sundaresan, Michele Tufano

… three key approaches: (i) custom fine-tuning, which allows all the model …

Fuzzing Deep-Learning Libraries via Automated Relational API Inference

Research Papers When: Mon 14 Nov 2022 11:15 - 11:30 People: Yinlin Deng, Chenyuan Yang, Anjiang Wei, Lingming Zhang

… documentation bugs (all confirmed). …

Cross-Language Android Permission Specification

Research Papers When: Wed 16 Nov 2022 11:45 - 12:00 People: Chaoran Li, Xiao Chen, Ruoxi Sun, Minhui (Jason) Xue, Sheng Wen, Muhammad Ejaz Ahmed, Seyit Camtepe, Yang Xiang

… at least one false positive in permission over-privilege. We have disclosed all

Automating Code Review Activities by Large-Scale Pre-training

Research Papers People: Zhiyu Li, Shuai Lu, Daya Guo, Nan Duan, Shailesh Jannu, Grant Jenks, Deep Majumder, Jared Green, Alexey Svyatkovskiy, Shengyu Fu, Neel Sundaresan

… that our model outperforms the previous state-of-the-art pre-training approaches in all

Detecting Non-crashing Functional Bugs in Android Apps via Deep-State Differential Analysis

Research Papers People: Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su

… oracles for Android apps exist, and they are all specific to limited types …

Automated Unearthing of Dangerous Issue Reports

Research Papers When: Wed 16 Nov 2022 14:00 - 14:15 People: Shengyi Pan, Jiayuan Zhou, Filipe Cogo, Xin Xia, Lingfeng Bao , Xing Hu, Shanping Li, Ahmed E. Hassan

… and recall among all baselines. In particular, the F1-score of {\sc MemVul …

23 Shades of Self-Admitted Technical Debt: An Empirical Study on Machine Learning Software

Research Papers When: Wed 16 Nov 2022 11:45 - 12:00 People: David OBrien, Sumon Biswas, Sayem Mohammad Imtiaz, Rabe Abdalkareem, Emad Shihab, Hridesh Rajan

… mined 68,820 self-admitted technical debts (SATD) from all the revisions …

Context-Aware Code Change Embedding for Better Patch Correctness Assessment

Journal First When: Tue 15 Nov 2022 10:45 - 11:00 People: Bo Lin, Shangwen Wang, Ming Wen, Xiaoguang Mao

… Despite the capability in successfully fixing more and more real-world bugs, existing Automated Program Repair (APR) techniques are still challenged by the long-standing overfitting problem (\ie a generated patch that passes all tests …

Modus: A Datalog Dialect for Building Container Images

Research Papers When: Tue 15 Nov 2022 14:15 - 14:30 People: Chris Tomy, Tingmao Wang, Earl T. Barr, Sergey Mechtaev

… Containers help share and deploy software by packaging it with all its dependencies. Tools, like Docker or Kubernetes, spawn containers from images as specified by a build system’s language, such as Dockerfile. A build system takes many …

Code Integrity Attestation for PLCs using Black Box Neural Network Predictions

ESEC/FSE 2021 When: Tue 15 Nov 2022 14:30 - 14:45 People: Yuqi Chen, Chris Poskitt, Jun Sun

… with near-100% accuracy, and thus could detect all 120 effective code mutations that we …

SamplingCA: Effective and Efficient Sampling-Based Pairwise Testing for Highly Configurable Software Systems

Research Papers People: Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu

… , and then adds a few more test cases into the test suite to ensure that all valid …

Workgraph: Personal Focus vs. Interruption for Engineers at Meta

Industry Paper When: Wed 16 Nov 2022 11:00 - 11:15 People: Yifen Chen, Peter Rigby, Yulin Chen, Kun Jiang, Nader Dehghani, Qianying Huang, Peter Cottle, Clayton Andrews, Noah Lee, Nachiappan Nagappan

All engineers dislike interruptions because it takes away from the deep focus time needed to write complex code. Our goal is to reduce unnecessary interruptions at \Meta. We first describe our Workgraph platform that logs how engineers use …

No More Fine-Tuning? An Experimental Evaluation of Prompt Tuning in Code Intelligence

Research Papers When: Tue 15 Nov 2022 11:15 - 11:30 People: Chaozheng Wang, Yuanhang Yang, Cuiyun Gao, Yun Peng, Hongyu Zhang, Michael Lyu

… outperforms fine-tuning in all three tasks. In addition, prompt tuning shows great …

MANDO-GURU: Vulnerability Detection for Smart Contract Source Code By Heterogeneous Graph Embeddings

Demonstrations When: Wed 16 Nov 2022 14:45 - 14:52 People: Hoang H. Nguyen, Nhat-Minh Nguyen, Hong-Phuc Doan, Zahra Ahmadi, Thanh-Nam Doan, Lingxiao Jiang

… before they are deployed, especially to detect all potential vulnerabilities …

NeuDep: Neural Binary Memory Dependence Analysis

Research Papers When: Wed 16 Nov 2022 11:00 - 11:15 People: Kexin Pei, Dongdong She, Michael Wang, Scott Geng, Zhou Xuan, Yaniv David, Junfeng Yang, Suman Jana, Baishakhi Ray

… patterns, learns function signatures, and is able to match indirect calls. All

The Best of Both Worlds: Integrating Semantic Features with Expert Features for Defect Prediction and Localization

Research Papers People: Chao Ni, Wei Wang, Kaiwen Yang, Xin Xia, Kui Liu, David Lo

… results indicate that JIT-Fine can outperform all state-of-the-art baselines on both …