Write a Blog >>
ASE 2021
Sun 14 - Sat 20 November 2021 Australia
VenueVirtual Event
Room nameKoala
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 16 Nov

Displayed time zone: Hobart change

11:00 - 12:00
Empirical StudiesIndustry Showcase / Research Papers / Tool Demonstrations at Koala
Chair(s): Felipe Fronchetti Virginia Commonwealth University
11:00
20m
Talk
Is Historical Data an Appropriate Benchmark for Reviewer Recommendation Systems? A Case Study of the Gerrit Community
Research Papers
Ian X. Gauthier McGill University, Maxime Lamothe Polytechnique Montréal, Gunter Mussbacher McGill University, Shane McIntosh University of Waterloo
11:20
20m
Talk
An Empirical Study of Bugs in WebAssembly Compilers
Research Papers
Alan Romano University at Buffalo, Xinyue Liu University at Buffalo, SUNY, Yonghwi Kwon University of Virginia, Weihang Wang University at Buffalo, SUNY
11:40
10m
Talk
Improving Configurability of Unit-level Continuous Fuzzing: An Industrial Case Study with SAP HANA
Industry Showcase
Hanyoung Yoo Handong Global University, Jingun Hong SAP Labs, Bader Lucas SAP Labs, Dongwon Hwang SAP Labs, Shin Hong Handong Global University
11:50
5m
Talk
IncBL: Incremental Bug Localization
Tool Demonstrations
Zhou Yang Singapore Management University, Jieke Shi Singapore Management University, Shaowei Wang University of Manitoba, David Lo Singapore Management University
12:00 - 13:00
LanguagesNIER track / Tool Demonstrations / Research Papers at Koala
Chair(s): Jean-Guy Schneider Deakin University
12:00
20m
Talk
Context Debloating for Object-Sensitive Pointer Analysis
Research Papers
Dongjie He UNSW Sydney, Jingbo Lu UNSW Sydney, Jingling Xue UNSW Sydney
12:20
20m
Talk
Dynamic Generation of Python Bindings for HPC Kernels
Research Papers
Steven Zhu The University of Texas at Austin, Nader Al Awar The University of Texas at Austin, Mattan Erez The University of Texas at Austin, Milos Gligoric University of Texas at Austin
12:40
10m
Talk
Empowering Web Applications with WebAssembly: Are We There Yet?
NIER track
Weihang Wang University at Buffalo, SUNY
12:50
5m
Talk
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions
Tool Demonstrations
Yusuke Kimura Fujitsu Ltd., Takumi Akazaki Fujitsu Limited, Shinji Kikuchi Fujitsu Laboratories Ltd., Sonal Mahajan Fujitsu Research of America, Inc., Mukul R. Prasad Fujitsu Research of America, Inc.
12:55
5m
Talk
GenTree: Inferring Configuration Interactions using Decision Trees
Tool Demonstrations
KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University
18:00 - 19:00
Mining and IssuesNIER track / Research Papers at Koala
Chair(s): Hongyu Zhang University of Newcastle
18:00
20m
Talk
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks
Research Papers
Rohan Bavishi University of California at Berkeley, Shadaj Laddad UC Berkeley, Hiroaki Yoshida Fujitsu Laboratories of America, Inc., Mukul R. Prasad Fujitsu Research of America, Inc., Koushik Sen University of California at Berkeley
18:20
20m
Talk
ISPY: Automatic Issue-Solution Pair Extraction from Community Live ChatsACM Distinguished Paper
Research Papers
Lin Shi Institute of Software at Chinese Academy of Sciences, Ziyou Jiang Institute of Software at Chinese Academy of Sciences, Ye Yang Stevens Institute of Technology, Xiao Chen Institute of Software at Chinese Academy of Sciences, YuMin Zhang Institute of Software Chinese Academy of Sciences, Fangwen Mu Institute of Software Chinese Academy of Sciences, Hanzhi Jiang Institute of Software at Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences
Pre-print
18:40
10m
Talk
Understanding Code Fragments with Issue Reports
NIER track
Zexuan Li Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University
18:50
10m
Talk
An Empirical Study on Obsolete Issue Reports
NIER track
Zexuan Li Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University
19:00 - 20:00
Using KnowledgeResearch Papers at Koala
Chair(s): Dalal Alrajeh Imperial College London
19:00
20m
Talk
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and CostACM Distinguished Paper
Research Papers
Malte Mues TU Dortmund University, Falk Howar TU Dortmund University
19:20
20m
Talk
Reducing Bug Triaging Confusion by Learning from Mistakes with a Bug Tossing Knowledge GraphACM Distinguished Paper
Research Papers
Yanqi Su Australian National University, Zhenchang Xing Australian National University, Xin Peng Fudan University, Xin Xia Huawei Software Engineering Application Technology Lab, Chong Wang Fudan University, Xiwei Xu CSIRO’s Data61, Liming Zhu CSIRO’s Data61; UNSW
19:40
20m
Talk
ASE: A Value Set Decision Procedure for Symbolic Execution
Research Papers
Alireza S. Abyaneh University of Salzburg, Christoph Kirsch University of Salzburg; Czech Technical University
Pre-print
20:00 - 21:00
Ask Me Anything - Tao XieSocial/Networking at Koala
Chair(s): Rahul Gopinath CISPA, Germany
20:00
60m
Live Q&A
Ask Me Anything - Tao Xie
Social/Networking
Tao Xie Peking University
21:00 - 22:00
APIs Research Papers at Koala
Chair(s): Timo Kehrer Humboldt University of Berlin
21:00
20m
Talk
Finding Replacements for Missing APIs in Library Update
Research Papers
Kaifeng Huang Fudan University, Bihuan Chen Fudan University, China, Linghao Pan Fudan University, Shuai Wu Fudan University, Xin Peng Fudan University
21:20
20m
Talk
Adversarial Attacks to API Recommender Systems: Time to Wake Up and Smell the Coffee?
Research Papers
Phuong T. Nguyen University of L’Aquila, Claudio Di Sipio University of L'Aquila, Juri Di Rocco University of L'Aquila, Massimiliano Di Penta University of Sannio, Italy, Davide Di Ruscio University of L'Aquila
Pre-print
22:00 - 23:00
ApplicationsResearch Papers / Industry Showcase / NIER track at Koala
Chair(s): ingo Mueller Monash University
22:00
20m
Talk
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search
Research Papers
Yixing Luo Peking University, Xiaoyi Zhang National Institute of Informatics, Japan, Paolo Arcaini National Institute of Informatics , Zhi Jin Peking University, Haiyan Zhao Peking University, Fuyuki Ishikawa National Institute of Informatics, Rongxin Wu Xiamen University, Tao Xie Peking University
22:20
10m
Talk
Evaluating Semantic Autocompletion of Business Processes with Domain Experts
Industry Showcase
Maayan Goldstein Nokia Bell Labs, Israel, Cecilia Gonzalez-Alvarez Nokia Bell Labs
22:30
10m
Talk
Learning-based Assistant for Migrating Data of Enterprise Information Systems
Industry Showcase
Sayandeep Mitra Tata Consultancy Services, Debayan Mukherjee Tata Consultancy Services, Atreya Bandyopadhyay Tata Consultancy Services, Rajdip Chowdhury Tata Consultancy Services, Raveendra Kumar Medicherla Tata Consultancy Services, Indrajit Bhattacharya Tata Consultancy Services, Ravindra Naik TCS Research, TRDDC, India
22:40
10m
Talk
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems
NIER track
Thomas Laurent Lero & University College Dublin, Paolo Arcaini National Institute of Informatics , Fuyuki Ishikawa National Institute of Informatics, Anthony Ventresque University College Dublin

Wed 17 Nov

Displayed time zone: Hobart change

08:00 - 09:00
VerificationResearch Papers at Koala
Chair(s): Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina
08:00
20m
Talk
Distribution Models for Falsification and Verification of DNNs
Research Papers
Felipe Toledo , David Shriver University of Virginia, Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia
Pre-print
08:20
20m
Talk
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools
Research Papers
Ugur Koc University of Maryland, College Park, Austin Mordahl The University of Texas at Dallas, Shiyi Wei The University of Texas at Dallas, Jeffrey S. Foster Tufts University, Adam Porter University of Maryland
08:40
20m
Talk
Efficient SMT-Based Model Checking for Signal Temporal Logic
Research Papers
Jia Lee POSTECH, Geunyeol Yu Pohang University of Science and Technology (POSTECH), Kyungmin Bae Pohang University of Science and Technology (POSTECH)
09:00 - 10:00
09:00
20m
Talk
Faster Mutation Analysis with Fewer Processes and Smaller Overheads
Research Papers
Bo Wang Beijing Jiaotong University, Sirui Lu Peking University, Yingfei Xiong Peking University, Feng Liu Beijing Jiaotong University
09:20
20m
Talk
FRUGAL: Unlocking Semi-supervised Learning for Software Analytics
Research Papers
Huy Tu North Carolina State University, USA, Tim Menzies North Carolina State University
09:40
10m
Talk
Automatically Deciding on the Integration of Commits Based on Their Descriptions
Industry Showcase
Samuel Cristo da Fonseca Sidia R&D, Mateus C. Lucena Sidia R&D , Tiago M. Reis Sidia R&D, Pedro F. Cabral Sidia R&D, Walmir A. Silva Sidia R&D, Flavia de S. Santos Sidia R&D, Felipe T. Giuntini Sidia R&D, Juliano Sales Sidia R&D
09:50
10m
Talk
SigRec: Automatic Recovery of Function Signatures in Smart Contracts
Journal-first Papers
Ting Chen University of Electronic Science and Technology of China, zihao li The Hong Kong Polytechnic Universituy, Xiapu Luo Hong Kong Polytechnic University, XiaoFeng Wang Indiana University Bloomington, Ting Wang Penn State University, Hongwei Li University of Electronic Science and Technology of China, Xiaosong Zhang University of Electronic Science and Technology of China
Link to publication DOI
10:00 - 11:00
Ask Me Anything - Myra CohenSocial/Networking at Koala
Chair(s): Muhammad Ali Gulzar Virginia Tech, USA
10:00
60m
Live Q&A
Ask Me Anything - Myra Cohen
Social/Networking
Myra Cohen Iowa State University
11:00 - 12:00
Large Scale SystemsIndustry Showcase / Research Papers at Koala
Chair(s): ingo Mueller Monash University
11:00
20m
Talk
Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings
Research Papers
Hanzhang Wang eBay, Zhengkai Wu University of Illinois at Urbana-Champaign, Huai Jiang eBay, USA, Yichao Huang eBay, Jiamu Wang eBay, Selcuk Kopru eBay, Tao Xie Peking University
11:20
10m
Talk
Lessons learned from hyper-parameter tuning for microservice candidate identification
Industry Showcase
Rahul Yedida North Carolina State University, Rahul Krishna IBM Research, Anup K. Kalia IBM Research, Tim Menzies North Carolina State University, Jin Xiao IBM Research, Maja Vukovic IBM Research
11:30
10m
Talk
BeeSwarm: Enabling Parallel Scaling Performance Measurement in Continuous Integration for HPC Applications
Industry Showcase
Jacob Tronge Kent State University, qiang guan Kent State University, Jieyang Chen , Patricia Grubel Los Alamos National Laboratory, Tim Randles Los Alamos National Laboratory, Rusty Davis Los Alamos National Laboratory, Quincy Wofford Los Alamos National Laboratory, Steven Anaya Los Alamos National Laboratory
12:00 - 13:00
Testing ApplicationsIndustry Showcase / NIER track / Research Papers at Koala
Chair(s): Scott Barnett
12:00
20m
Talk
Automated Testing for Machine Translation via Constituency Invariance
Research Papers
Pin Ji Nanjing University, Yang Feng Nanjing University, Jia Liu Nanjing University, Zhihong Zhao Nanjing Tech Unniversity, Baowen Xu Nanjing University
12:20
10m
Talk
Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification
NIER track
Yun Tang Nanyang Technological University, Yuan Zhou Nanyang Technological University, Tianwei Zhang Nanyang Technological University, Fenghua Wu Nanyang Technological University, Yang Liu Nanyang Technological University, Gang Wang Alibaba Group
12:30
10m
Talk
Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning
Industry Showcase
Yushi Cao Nanyang Technological University, YAN ZHENG Nanyang Technological University, Shang-Wei Lin Nanyang Technological University, Singapore, Yang Liu Nanyang Technological University, Yon Shin Teo Continental Automotive Singapore Pte. Ltd., Yuxuan Toh Continental Automotive Singapore Pte. Ltd., Vinay Vishnumurthy Adiga Continental Automotive Singapore Pte. Ltd.
19:00 - 20:00
Android and Python Research Papers at Koala
Chair(s): Li Li Monash University
19:00
20m
Talk
Finding the Missing Piece: Permission Specification Analysis for Android NDK
Research Papers
Hao Zhou The Hong Kong Polytechnic University, Haoyu Wang Beijing University of Posts and Telecommunications, Shuohan Wu The Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University, Yajin Zhou Zhejiang University, Ting Chen University of Electronic Science and Technology of China, Ting Wang Pennsylvania State University
19:20
20m
Talk
Characterizing and Detecting Configuration Compatibility Issues in Android Apps
Research Papers
Huaxun Huang Hong Kong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Lili Wei Hong Kong University of Science and Technology, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology
19:40
20m
Talk
Where to Start: Studying Type Annotation Practices in Python
Research Papers
Wuxia Jin Xi'an Jiaotong University, Dinghong Zhong Xi'an Jiaotong University, Zifan Ding Xi'an Jiaotong University, Ming Fan Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University
20:00 - 21:00
Ask Me Anything - Abhik RoychoudhurySocial/Networking at Koala
Chair(s): Yi Li Nanyang Technological University, Singapore
20:00
60m
Live Q&A
Ask Me Anything - Abhik Roychoudhury
Social/Networking
Abhik Roychoudhury National University of Singapore
21:00 - 22:00
Fuzzing and SmellsResearch Papers at Koala
Chair(s): Xiaoyuan Xie School of Computer Science, Wuhan University, China
21:00
20m
Talk
InstruGuard: Find and Fix Instrumentation Errors for Coverage-based Greybox Fuzzing
Research Papers
Yuwei Liu Institute of Software, Chinese Academy of Sciences, Yanhao Wang QiAnXin Technology Research Institute, Purui Su Institute of Software/CAS China, Yuanping Yu Institute of Software, Chinese Academy of Sciences, Xiangkun Jia Institute of Software Chinese Academy of Sciences
21:20
20m
Talk
RULF: Rust Library Fuzzing via API Dependency Graph TraversalACM Distinguished Paper
Research Papers
Jianfeng Jiang Fudan University, Hui Xu Fudan University, Yangfan Zhou Fudan University
Pre-print
21:40
20m
Talk
PyNose: A Test Smell Detector For Python
Research Papers
Tongjie Wang University of California, Irvine, Yaroslav Golubev JetBrains Research, Oleg Smirnov JetBrains Research, Saint Petersburg State University, Jiawei Li University of California, Irvine, Timofey Bryksin JetBrains Research; HSE University, Iftekhar Ahmed University of California, Irvine
Pre-print
22:00 - 23:00
PerformanceResearch Papers / Journal-first Papers / Tool Demonstrations at Koala
Chair(s): Ming Wen Huazhong University of Science and Technology
22:00
20m
Talk
"What makes my queries slow?": Subgroup Discovery for SQL Workload Analysis
Research Papers
Youcef Remil Infologic, INSA Lyon, Anes Bendimerad Infologic, Romain Mathonat Infologic, Philippe Chaleat Infologic, Mehdi Kaytoue INFOLOGIC
22:20
20m
Talk
AID: Efficient Prediction of Aggregated Intensity of Dependency in Large-scale Cloud Systems
Research Papers
Tianyi Yang The Chinese University of Hong Kong, Jiacheng Shen The Chinese University of Hong Kong, Yuxin Su The Chinese University of Hong Kong, Xiao Ling Huawei Technologies, Yongqiang Yang Huawei Technologies, Michael Lyu The Chinese University of Hong Kong
22:40
10m
Talk
Assessment of Off-the-Shelf SE-specific Sentiment Analysis Tools: An Extended Replication Study
Journal-first Papers
Nicole Novielli University of Bari, Fabio Calefato University of Bari, Filippo Lanubile University of Bari, Alexander Serebrenik Eindhoven University of Technology
22:50
5m
Talk
EvoMe: A Software Evolution Management Engine Based on Differential Factbase
Tool Demonstrations
Xiuheng Wu Nanyang Technological University, Mengyang Li Nanyang Technological University, Yi Li Nanyang Technological University, Singapore
Pre-print
22:55
5m
Talk
RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information
Tool Demonstrations
Zarina Kurbatova JetBrains Research, Vladimir Kovalenko JetBrains Research, Ioana Savu Delft University of Technology, Bob Brockbernd Delft University of Technology, Dan Andreescu Delft University of Technology, Matei Anton Delft University of Technology, Roman Venediktov Higher School of Economics, Elena Tikhomirova JetBrains Research, Timofey Bryksin JetBrains Research; HSE University
Pre-print

Thu 18 Nov

Displayed time zone: Hobart change

09:00 - 10:00
Testing IIResearch Papers at Koala
Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal
09:00
20m
Talk
Nekara: Generalized Concurrency Testing
Research Papers
Udit Agarwal IIIT Delhi, Pantazis Deligiannis Microsoft Research, Cheng Huang Microsoft, Kumseok Jung University of British Columbia, Akash Lal Microsoft Research, Immad Naseer Microsoft, Matthew Parkinson Microsoft Research, UK, Arun Thangamani Microsoft Research, Jyothi Vedurada IIT Hyderabad, Yunpeng Xiao Microsoft
09:20
20m
Talk
QDiff: Differential Testing of Quantum Software Stacks
Research Papers
Jiyuan Wang University of California at Los Angeles, Qian Zhang University of California at Los Angeles, Guoqing Harry Xu University of California at Los Angeles, Miryung Kim University of California at Los Angeles, USA
09:40
20m
Talk
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs
Research Papers
Chenguang Zhu University of Texas at Austin, Ripon Saha Fujitsu Laboratories of America, Inc., Mukul R. Prasad Fujitsu Research of America, Inc., Sarfraz Khurshid The University of Texas at Austin
10:00 - 11:00
Ask Me Anything - Miryung KimSocial/Networking at Koala
Chair(s): Preetha Chatterjee Drexel University, USA
10:00
60m
Live Q&A
Ask Me Anything - Miryung Kim
Social/Networking
Miryung Kim University of California at Los Angeles, USA
11:00 - 12:00
AppsResearch Papers at Koala
Chair(s): Chunyang Chen Monash University
11:00
20m
Talk
Automated Repair for Size-Based Inaccessibility Issues in Mobile Apps
Research Papers
Ali S. Alotaibi University of Southern California, Paul T. Chiou University of Southern California, William G.J. Halfond University of Southern California
11:20
20m
Talk
Mining Cross-Domain Apps for Software Evolution: A Feature-based Approach
Research Papers
MD KAFIL UDDIN Swinburne University of Technology, Qiang He Swinburne University of Technology, Jun Han Swinburne University of Technology, Caslon Chua Swinburne University of Technology
11:40
20m
Talk
UI Test Migration Across Mobile Platforms
Research Papers
Saghar Talebipour University of Southern California, Yixue Zhao University of Massachusetts Amherst, Luka Dojcilovic University of Southern California, Chenggang Li University of Southern California, Nenad Medvidović University of Southern California, USA
Pre-print
18:00 - 19:00
ConfigurationResearch Papers at Koala
Chair(s): Maria Kechagia University College London
18:00
20m
Talk
Learning Patterns in Configuration
Research Papers
Ranjita Bhagwan Microsoft Research, Sonu Mehta Microsoft Research, Arjun Radhakrishna Microsoft, Sahil Garg
18:20
20m
Talk
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems
Research Papers
Wensheng Tang The Hong Kong University of Science and Technology, Yikun Hu The Hong Kong University of Science and Technology, Gang Fan Hong Kong University of Science and Technology, Peisen Yao Hong Kong University of Science and Technology; Ant Group, Rongxin Wu Xiamen University, Guangyuan Bai Tencent Inc., Pengcheng Wang Tencent, China, Charles Zhang Hong Kong University of Science and Technology
18:40
20m
Talk
Evolutionary-Guided Synthesis of Verified Pareto Optimal Policies
Research Papers
Simos Gerasimou University of York, UK, Javier Camara University of Málaga, Radu Calinescu University of York, UK, Naif Alasmari University of York, Faisal Alhwikem University of York, UK, Xinwei Fang University of York, UK
19:00 - 20:00
Bugs IIResearch Papers / NIER track / Tool Demonstrations at Koala
Chair(s): Annibale Panichella Delft University of Technology
19:00
20m
Talk
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers
Research Papers
Xutong Ma State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China, Jiwei Yan Institute of Software at Chinese Academy of Sciences, China, Wei Wang State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China, Jun Yan Institute of Software at Chinese Academy of Sciences, China, Jian Zhang Institute of Software at Chinese Academy of Sciences, China, Zongyan Qiu Peking University
19:20
20m
Talk
Understanding and Detecting Performance Bugs in Markdown Compilers
Research Papers
Penghui Li The Chinese University of Hong Kong, Yinxi Liu The Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong
Pre-print
19:40
10m
Talk
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs
NIER track
Pengzhan Zhao Kyushu University, Jianjun Zhao Kyushu University, Zhongtao Miao Kyushu University, Shuhan Lan Kyushu University
19:50
5m
Talk
Muskit: A Mutation Analysis Tool for Quantum Software Testing
Tool Demonstrations
Eñaut Mendiluze Simula Research Laboratory, Norway, Shaukat Ali Simula Research Laboratory, Norway, Paolo Arcaini National Institute of Informatics , Tao Yue Nanjing University of Aeronautics and Astronautics
19:55
5m
Talk
JTDog: a Gradle Plugin for Dynamic Test Smell Detection
Tool Demonstrations
Masayuki Taniguchi Osaka University, Shinsuke Matsumoto Osaka University, Shinji Kusumoto Osaka University
21:00 - 22:00
RepositoriesResearch Papers at Koala
Chair(s): Zeqi Lin Microsoft Research, China
21:00
20m
Talk
Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining
Research Papers
Christof Tinnes Saarland University, Timo Kehrer Humboldt University of Berlin, Mitchell Joblin Siemens AG, Uwe Hohenstein Siemens AG, Andreas Biesdorf Siemens AG, Sven Apel Saarland University
21:20
20m
Talk
Unsupervised Labeling and Extraction of Phrase-based Concepts in Vulnerability Descriptions
Research Papers
Sofonias Yitagesu Tianjin University, Zhenchang Xing Australian National University, Xiaowang Zhang Tianjin University, Zhiyong Feng Tianjin University, Li Xiaohong TianJin University, Linyi Han Tianjin University
21:40
20m
Talk
A Compositional Deadlock Detector for Android Java
Research Papers
James Brotherston , Paul Brunet University College London, Nikos Gorogiannis Facebook, Max Kanovich University College London
22:00 - 23:00
ModellingResearch Papers at Koala
Chair(s): Nimrod Busany Tel Aviv University
22:00
20m
Talk
Modeling Team Dynamics for the Characterization and Prediction of Delays in User Stories
Research Papers
Elvan Kula Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Georgios Gousios Facebook & Delft University of Technology
Pre-print
22:20
20m
Talk
DeepMemory: Model-based Memorization Analysis of Deep Neural Language Models
Research Papers
Derui Zhu Technical University of Munich, Jinfu Chen Centre for Software Excellence, Huawei, Canada, Weiyi Shang Concordia University, Xuebing Zhou Huawei Munich Research Center, Jens Grossklags Technical University of Munich, Ahmed E. Hassan Queen's University
22:40
20m
Talk
Automated Verification of Go Programs via Bounded Model CheckingACM Distinguished Paper
Research Papers
Nicolas Dilley University of Kent, Julien Lange Royal Holloway University of London
Pre-print

Tue 16 Nov

Displayed time zone: Hobart change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Koala

Wed 17 Nov

Displayed time zone: Hobart change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Koala

Thu 18 Nov

Displayed time zone: Hobart change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Koala