MSR 2020
Mon 29 - Tue 30 June 2020
co-located with
ICSE 2020
Toggle navigation
Attending
Venue:
Updates re Impact of Coronavirus
ICSE 2020
Registration
Conference Timeline
Code of Conduct
Diversity and Inclusion Plan
Terms and Conditions
Privacy Policy
ICSE Virtual
Presenter Information
K-Culture Experience
Social Events
Virtual Sponsor Booths
Going Virtual Announcements
ICSE Rescheduled
Brief ICSE Virtual
Travel Support
Program
Complete Program
Your Program
Mon 29 Jun
Tue 30 Jun
Tracks
MSR 2020
Ask Me Anything
Technical Papers
Data Showcase
Mining Challenge
Registered Reports
Education
Keynote
FOSS Award
MSR Challenge Proposals
MSR Awards
MSR Plenary
Organization
MSR 2020 Committees
Most Influential Paper (MIP) Award
Organizing Committee
Track Committees
Technical Papers
Data Showcase
Mining Challenge
Registered Reports
Education
FOSS Award
MSR Awards
Contributors
People Index
Search
Series
Series
MSR 2025
MSR 2024
MSR 2023
MSR 2022
MSR 2021
MSR 2020
MSR 2019
MSR 2018
Sign in
Sign up
ICSE 2020
(
series
) /
MSR 2020
(
series
) /
/
Room information: Goguryeo
Venue
Room name
Goguryeo
Floor
0
Room Information
This room is named after the ancient Korean kingdom of
Goguryeo
.
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(UTC) Coordinated Universal Time
.
Use conference time zone: (UTC) Coordinated Universal Time
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Tue 7 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
02:10 - 03:00
Special topic: Work Life Balance
ICSE Ask Me Anything
at
Goguryeo
02:10
50m
Social Event
Ask Me Anything - Jon Whittle
ICSE Ask Me Anything
Jon Whittle
Monash University
File Attached
07:00 - 08:00
I2-Security
ICSE New Ideas and Emerging Results
/
ICSE Technical Papers
at
Goguryeo
Chair(s):
Andrea Stocco
Università della Svizzera italiana
07:00
12m
Talk
Targeted Greybox Fuzzing with Static Lookahead Analysis
Technical
ICSE Technical Papers
Valentin Wüstholz
ConsenSys Diligence
,
Maria Christakis
MPI-SWS
Pre-print
07:12
12m
Talk
HyDiff: Hybrid Differential Software Analysis
Technical
ICSE Technical Papers
Yannic Noller
Humboldt-Universität zu Berlin
,
Corina S. Pasareanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
,
Marcel Böhme
Monash University
,
Youcheng Sun
Queen's University Belfast
,
Hoang Lam Nguyen
Humboldt-Universität zu Berlin
,
Lars Grunske
Humboldt-Universität zu Berlin
Pre-print
07:24
12m
Talk
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty
Technical
ICSE Technical Papers
Xiyue Zhang
Peking University
,
Xiaofei Xie
Nanyang Technological University
,
Lei Ma
Kyushu University
,
Xiaoning Du
Nanyang Technological University
,
Qiang Hu
Kyushu University, Japan
,
Yang Liu
Nanyang Technological University, Singapore
,
Jianjun Zhao
Kyushu University
,
Meng Sun
Peking University
Pre-print
07:36
12m
Talk
One Size Does Not Fit All: A Grounded Theory and Online Survey Study of Developer Preferences for Security Warning Types
Technical
ICSE Technical Papers
Anastasia Danilova
University of Bonn
,
Alena Naiakshina
University of Bonn
,
Matthew Smith
University of Bonn, Fraunhofer FKIE
07:48
6m
Talk
Hey, my data are mine! Active data to empower the user
NIER
ICSE New Ideas and Emerging Results
Gian Luca Scoccia
University of L'Aquila
,
Matteo Maria Fiore
University of L'Aquila
,
Patrizio Pelliccione
University of L'Aquila and Chalmers | University of Gothenburg
,
Marco Autili
University of L'Aquila, Italy
,
Paola Inverardi
University of L'Aquila
,
Alejandro Russo
Chalmers University of Technology, Sweden
07:54
6m
Talk
Threat modeling: from infancy to maturity
NIER
ICSE New Ideas and Emerging Results
Koen Yskout
imec - DistriNet, KU Leuven
,
Thomas Heyman
Toreon
,
Dimitri Van Landuyt
Katholieke Universiteit Leuven
,
Laurens Sion
imec-DistriNet, KU Leuven
,
Kim Wuyts
imec-DistriNet, KU Leuven
,
Wouter Joosen
Katholieke Universiteit Leuven
Pre-print
08:05 - 09:05
I5-Deep Learning Testing and Debugging
ICSE Technical Papers
/
ICSE Demonstrations
at
Goguryeo
Chair(s):
Pooyan Jamshidi
University of South Carolina
08:05
12m
Talk
DISSECTOR: Input Validation for Deep Learning Applications by Crossing-layer Dissection
Technical
ICSE Technical Papers
Huiyan Wang
State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China
,
Jingwei Xu
Nanjing University
,
Chang Xu
Nanjing University
,
Xiaoxing Ma
Nanjing University
,
Jian Lu
Nanjing University
08:17
12m
Talk
White-box Fairness Testing through Adversarial Sampling
Technical
ICSE Technical Papers
Peixin Zhang
Zhejiang University
,
Jingyi Wang
National University of Singapore, Singapore
,
Jun Sun
Singapore Management University
,
Guoliang Dong
Computer College of Zhejiang University
,
Xinyu Wang
Zhejiang University
,
Xingen Wang
Zhejiang University
,
Jin Song Dong
National University of Singapore
,
Dai Ting
Huawei Corporation
08:29
3m
Talk
FeatureNET: Diversity-driven Generation of Deep Learning Models
Demo
ICSE Demonstrations
Salah Ghamizi
SntT - University of Luxembourg
,
Maxime Cordy
SnT, University of Luxembourg
,
Mike Papadakis
University of Luxembourg
,
Yves Le Traon
University of Luxembourg
08:32
3m
Talk
EvalDNN: A Toolbox for Evaluating Deep Neural Network Models
Demo
ICSE Demonstrations
Yongqiang TIAN
The Hong Kong University of Science and Technology
,
Zhihua Zeng
Zhejiang University
,
Ming Wen
Huazhong University of Science and Technology, China
,
Yepang Liu
Southern University of Science and Technology
,
Tzu-yang Kuo
The Hong Kong University of Science and Technology
,
Shing-Chi Cheung
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
08:35
12m
Talk
Taxonomy of Real Faults in Deep Learning Systems
Technical
ICSE Technical Papers
Nargiz Humbatova
Università della Svizzera italiana
,
Gunel Jahangirova
Università della Svizzera italiana
,
Gabriele Bavota
Università della Svizzera italiana
,
Vincenzo Riccio
Università della Svizzera italiana
,
Andrea Stocco
Università della Svizzera italiana
,
Paolo Tonella
Università della Svizzera italiana
08:47
12m
Talk
An Empirical Study on Program Failures of Deep Learning Jobs
Technical
ICSE Technical Papers
Ru Zhang
Microsoft Research
,
Wencong Xiao
Alibaba
,
Hongyu Zhang
University of Newcastle, Australia
,
Yu Liu
Microsoft Research
,
Haoxiang Lin
Microsoft Research
,
Mao Yang
Microsoft Research
DOI
Pre-print
09:10 - 10:00
Students meeting students-ICSE Quiz
ICSE Students Meeting Students
at
Goguryeo
Chair(s):
Faeq Alrimawi
,
Ali Farahani
,
Fanny Rivera Ortiz
University College Dublin & Lero
09:10
50m
Social Event
ICSE Quiz
ICSE Students Meeting Students
15:00 - 16:00
A2-Testing and Debugging 1
ICSE New Ideas and Emerging Results
/
ICSE Journal First
/
ICSE Technical Papers
/
ICSE Software Engineering in Practice
at
Goguryeo
Chair(s):
Na Meng
Virginia Tech
15:00
12m
Talk
Studying the Use of Java Logging Utilities in the Wild
Technical
ICSE Technical Papers
Boyuan Chen
York University
,
Zhen Ming (Jack) Jiang
York University
Authorizer link
Pre-print
15:12
12m
Talk
Causal Testing: Understanding Defects' Root Causes
Technical
ICSE Technical Papers
Brittany Johnson
University of Massachusetts Amherst
,
Yuriy Brun
University of Massachusetts Amherst
,
Alexandra Meliou
University of Massachusetts Amherst
Link to publication
DOI
Pre-print
Media Attached
15:24
8m
Talk
Studying the Characteristics of Logging Practices in Mobile Apps: A Case Study on F-Droid.
J1
ICSE Journal First
Yi Zeng
Concordia University
,
Jinfu Chen
Concordia University, Canada
,
Weiyi Shang
Concordia University
,
Tse-Hsun (Peter) Chen
Concordia University
Authorizer link
Pre-print
15:32
6m
Talk
Automatically Predicting Bug Severity Early in the Development Process
NIER
ICSE New Ideas and Emerging Results
Jude Arokiam
Ontario Tech University
,
Jeremy Bradbury
Ontario Tech University
15:38
8m
Talk
A Survey on Adaptive Random Testing
J1
ICSE Journal First
Rubing Huang
Jiangsu University
,
Weifeng Sun
Jiangsu University
,
Yinyin Xu
Jiangsu University
,
Haibo Chen
Jiangsu University
,
Dave Towey
University of Nottingham Ningbo China
,
Xin Xia
Monash University
15:46
12m
Talk
Code Level Model-Checking in the Software Development Workflow
SEIP
ICSE Software Engineering in Practice
Nathan Chong
Amazon
,
Byron Cook
Amazon
,
Konstantinos Kallas
University of Pennsylvania
,
Kareem Khazem
Amazon
,
Felipe R. Monteiro
Amazon
,
Daniel Schwartz-Narbonne
Amazon, n.n.
,
Serdar Tasiran
Amazon, n.n.
,
Michael Tautschnig
Amazon Web Services
,
Mark R. Tuttle
Amazon
Pre-print
Media Attached
16:05 - 17:05
A5-Testing and Debugging 2
ICSE Demonstrations
/
ICSE New Ideas and Emerging Results
/
ICSE Technical Papers
at
Goguryeo
Chair(s):
Marcelo d'Amorim
Federal University of Pernambuco
16:05
12m
Talk
Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution
Technical
ICSE Technical Papers
Hui Guo
University of California, Davis
,
Cindy Rubio-González
University of California, Davis
16:17
12m
Talk
A Study on the Lifecycle of Flaky Tests
Technical
ICSE Technical Papers
Wing Lam
University of Illinois at Urbana-Champaign
,
Kıvanç Muşlu
Microsoft
,
Hitesh Sajnani
Microsoft
,
Suresh Thummalapenta
Microsoft
16:29
6m
Talk
Is Your Quantum Program Bug-Free?
NIER
ICSE New Ideas and Emerging Results
Andriy Miranskyy
Ryerson University
,
Lei Zhang
Ryerson University
,
Javad Doliskani
Ryerson University, Toronto, Canada
Pre-print
16:35
3m
Talk
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
Demo
ICSE Demonstrations
Bruno Lima
Faculty of Engineering, University of Porto and INESC TEC
,
João Pascoal Faria
Faculty of Engineering, University of Porto and INESC TEC
16:38
12m
Talk
Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference
Technical
ICSE Technical Papers
Valentin Manès
CSRC, KAIST
,
Soomin Kim
KAIST
,
Sang Kil Cha
KAIST
16:50
3m
Talk
PG-KLEE: Trading Soundness for Coverage
Demo
ICSE Demonstrations
Richard Rutledge
Georgia Institute of Technology
,
Alessandro Orso
Georgia Tech
16:53
6m
Talk
Blending Kinematic and Software Models for Tighter Reachability Analysis
NIER
ICSE New Ideas and Emerging Results
Carl Hildebrandt
University of Virginia
,
Sebastian Elbaum
University of Virginia, USA
,
Nicola Bezzo
University of Virginia
Wed 8 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
00:00 - 01:00
P8-SEET - Novel Approaches in SE Education and Others
ICSE Software Engineering Education and Training
at
Goguryeo
Chair(s):
Casper Lassenius
Aalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway
00:00
12m
Talk
Enriching Programming Student Feedback with Audio Comments
SEET
ICSE Software Engineering Education and Training
Jake Renzella
Deakin University
,
Andrew Cain
Deakin University
00:12
12m
Talk
GidgetML: An Adaptive Serious Game for Enhancing First Year Programming Labs
SEET
ICSE Software Engineering Education and Training
Michael Miljanovic
Ontario Tech University
,
Jeremy Bradbury
Ontario Tech University
00:24
6m
Experience report
Exploiting Group Shuffling Dynamics to Convey the Importance of Good Software Design
SEET
ICSE Software Engineering Education and Training
Jose Benedetto
PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE
,
Jaime Navon
PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE
00:30
12m
Talk
Authentic Individual Assessment for Team-based Software Engineering Projects
SEET
ICSE Software Engineering Education and Training
Laura Tubino
Deakin University
,
Andrew Cain
Deakin University
,
Jean-Guy Schneider
Deakin University
,
Dhananjay Thiruvady
Deakin University
,
Niroshinie Fernando
Deakin University
00:42
12m
Talk
Adopting Industry Agile Practices in Large-scale Capstone Education
SEET
ICSE Software Engineering Education and Training
Jean-Guy Schneider
Deakin University
,
Peter Eklund
Deakin University
,
Kevin Lee
Deakin University
,
Feifei Chen
Deakin University
,
Andrew Cain
Deakin University
,
Mohamed Abdelrazek
Deakin University
01:05 - 02:05
P11-Natural Language Artifacts
ICSE Journal First
/
ICSE Technical Papers
at
Goguryeo
Chair(s):
Jane Cleland-Huang
University of Notre Dame
01:05
8m
Talk
Neural Network Based Classification of Self-admitted Technical Debt: From Performance to Explainability and Deployability
J1
ICSE Journal First
Xiaoxue Ren
Zhejiang University
,
Zhenchang Xing
Australia National University
,
Xin Xia
Monash University
,
David Lo
Singapore Management University
,
Xinyu Wang
Zhejiang University
,
John Grundy
Monash University
01:13
8m
Talk
Domain-specific Machine Translation with Recurrent Neural Network for Software Localization
J1
ICSE Journal First
Xu Wang
College of Engineering & Computer ScienceAustralian National University, Canberra, Australia
,
Chunyang Chen
Monash University
,
Zhenchang Xing
Australia National University
01:21
12m
Talk
Mitigating Turnover with Code Review Recommendation: Balancing Expertise, Workload, and Knowledge Distribution
Technical
ICSE Technical Papers
Ehsan Mirsaeedi
Concordia University
,
Peter Rigby
Concordia University, Montreal, Canada
09:10 - 10:00
Ask me about impact (or anything) - Andreas Zeller
ICSE Ask Me Anything
at
Goguryeo
09:10
50m
Live Q&A
Ask Me Anything - Andreas Zeller
ICSE Ask Me Anything
Andreas Zeller
CISPA Helmholtz Center for Information Security
Media Attached
15:00 - 16:00
A8-Machine Learning and Models
ICSE Journal First
/
ICSE Technical Papers
at
Goguryeo
Chair(s):
Liliana Pasquale
University College Dublin & Lero
15:00
8m
Talk
Improving Vulnerability Inspection Efficiency Using Active Learning
J1
ICSE Journal First
Zhe Yu
NORTH CAROLINA STATE UNIVERSITY
,
Chris Theisen
Microsoft
,
Laurie Williams
North Carolina State University
,
Tim Menzies
North Carolina State University
15:08
8m
Talk
How Bugs Are Born: A Model to Identify How Bugs Are Introduced in Software Components
J1
ICSE Journal First
Gema Rodríguez-Pérez
University of Waterloo, Canada
,
Gregorio Robles
Universidad Rey Juan Carlos
,
Alexander Serebrenik
Eindhoven University of Technology
,
Andy Zaidman
TU Delft
,
Daniel M. German
University of Victoria
,
Jesus M. Gonzalez-Barahona
Universidad Rey Juan Carlos
DOI
Pre-print
15:16
8m
Talk
How to “DODGE” Complex Software Analytics
J1
ICSE Journal First
Amritanshu Agrawal
Wayfair
,
Wei Fu
Landing AI
,
Di Chen
North Carolina State University, USA
,
Xipeng Shen
North Carolina State University
,
Tim Menzies
North Carolina State University
15:24
12m
Talk
Importance-Driven Deep Learning System Testing
Technical
ICSE Technical Papers
Simos Gerasimou
University of York, UK
,
Hasan Ferit Eniser
MPI-SWS
,
Alper Sen
Bogazici University, Turkey
,
Alper Çakan
Bogazici University, Turkey
15:36
12m
Talk
Quickly Generating Diverse Valid Test Inputs with Reinforcement Learning
Technical
ICSE Technical Papers
Sameer Reddy
University of California, Berkeley
,
Caroline Lemieux
University of California, Berkeley
,
Rohan Padhye
Carnegie Mellon University
,
Koushik Sen
University of California, Berkeley
15:48
8m
Talk
Impact of Discretization Noise of the Dependent variable on Machine Learning Classifiers in Software Engineering
J1
ICSE Journal First
Gopi Krishnan Rajbahadur
Queen's University
,
Shaowei Wang
Mississippi State University
,
Yasutaka Kamei
Kyushu University
,
Ahmed E. Hassan
Queen's University
16:05 - 17:05
A11-Performance and Analysis
ICSE New Ideas and Emerging Results
/
ICSE Journal First
/
ICSE Technical Papers
/
ICSE Demonstrations
at
Goguryeo
Chair(s):
Pooyan Jamshidi
University of South Carolina
16:05
3m
Talk
Nimbus: Improving the Developer Experience for Serverless Applications
Demo
ICSE Demonstrations
Robert Chatley
Imperial College London
,
Thomas Allerton
Starling Bank
Pre-print
16:08
8m
Talk
Testing with Fewer Resources: An Adaptive Approach to Performance-Aware Test Case Generation
J1
ICSE Journal First
Giovanni Grano
University of Zurich
,
Christoph Laaber
University of Zurich
,
Annibale Panichella
Delft University of Technology
,
Sebastiano Panichella
Zurich University of Applied Sciences
Link to publication
DOI
Pre-print
16:16
8m
Talk
What's Wrong with My Benchmark Results? Studying Bad Practices in JMH Benchmarks
J1
ICSE Journal First
Diego Costa
Concordia University, Canada
,
Cor-Paul Bezemer
University of Alberta, Canada
,
Philipp Leitner
Chalmers University of Technology & University of Gothenburg
,
Artur Andrzejak
Heidelberg University
16:24
12m
Talk
Towards the Use of the Readily Available Tests from the Release Pipeline as Performance Tests. Are We There Yet?
Technical
ICSE Technical Papers
Zishuo Ding
University of Waterloo, Canada
,
Jinfu Chen
Concordia University, Canada
,
Weiyi Shang
Concordia University
Pre-print
16:36
8m
Talk
ModGuard: Identifying Integrity & Confidentiality Violations in Java Modules
J1
ICSE Journal First
Andreas Dann
Paderborn University
,
Ben Hermann
Paderborn University
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication
DOI
16:44
6m
Talk
Program Debloating via Stochastic Optimization
NIER
ICSE New Ideas and Emerging Results
Qi Xin
Georgia Institute of Technology
,
Myeongsoo Kim
Georgia Institute of Technology
,
Qirun Zhang
Georgia Institute of Technology, USA
,
Alessandro Orso
Georgia Tech
16:50
8m
Talk
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems
J1
ICSE Journal First
Marco Paolieri
University of Southern California
,
Marco Biagi
University of Florence
,
Laura Carnevali
University of Florence
,
Enrico Vicario
University of Florence
Thu 9 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
00:00 - 01:00
P14-Testing
ICSE Technical Papers
/
ICSE Software Engineering in Practice
at
Goguryeo
Chair(s):
Shin Yoo
Korea Advanced Institute of Science and Technology
00:00
12m
Talk
Seenomaly: Vision-Based Linting of GUI Animation Effects Against Design-Don’t Guidelines
Technical
ICSE Technical Papers
Dehai Zhao
Australian National University
,
Zhenchang Xing
Australia National University
,
Chunyang Chen
Monash University
,
Xiwei (Sherry) Xu
Data 61
,
Liming Zhu
CSIRO's Data61 and UNSW
,
Guoqiang Li
Shanghai Jiao Tong University
,
Jinshui Wang
School of Information Science and Engineering, Fujian University of Technology, Fuzhou, China
00:12
12m
Talk
Fuzz Testing based Data Augmentation to Improve Robustness of Deep Neural Networks
Technical
ICSE Technical Papers
Xiang Gao
National University of Singapore, Singapore
,
Ripon Saha
Fujitsu Laboratories of America, Inc.
,
Mukul Prasad
Fujitsu Laboratories of America
,
Abhik Roychoudhury
National University of Singapore, Singapore
00:24
12m
Talk
Modeling and Ranking Flaky Tests at Apple
SEIP
ICSE Software Engineering in Practice
Emily Kowalczyk
Apple Inc.
,
Karan Nair
Apple
,
Zebao Gao
Apple
,
Leopold Silberstein
Apple Inc.
,
Teng Long
Apple
,
Atif Memon
Apple Inc.
00:36
12m
Talk
Testing File System Implementations on Layered Models
Technical
ICSE Technical Papers
Dongjie Chen
Nanjing University
,
Yanyan Jiang
Nanjing University
,
Chang Xu
Nanjing University
,
Xiaoxing Ma
Nanjing University
,
Jian Lu
Nanjing University
00:48
12m
Talk
A Cost-efficient Approach to Building in Continuous Integration
Technical
ICSE Technical Papers
Xianhao Jin
Virginia Tech, USA
,
Francisco Servant
Virginia Tech
Pre-print
01:05 - 02:05
P17-Software Development
ICSE Journal First
/
ICSE Technical Papers
/
ICSE Demonstrations
at
Goguryeo
Chair(s):
Minghui Zhou
Peking University
01:05
8m
Talk
Improving the Pull Requests Review Process Using Learning-to-rank Algorithms
J1
ICSE Journal First
Guoliang Zhao
Computer Science of Queen's University
,
Daniel Alencar Da Costa
University of Otago
,
Ying Zou
Queen's University, Kingston, Ontario
01:13
8m
Talk
Understanding the motivations, challenges and needs of Blockchain software developers: a survey
J1
ICSE Journal First
Amiangshu Bosu
Wayne State University
,
Anindya Iqbal
Bangladesh University of Engineering and Technology Dhaka, Bangladesh
,
Rifat Shahriyar
Bangladesh University of Engineering and Technology Dhaka, Bangladesh
,
Partho Chakraborty
Bangladesh University of Engineering and Technology Dhaka, Bangladesh
01:21
12m
Talk
Gap between Theory and Practice : An Empirical Study of Security Patches in Solidity
Technical
ICSE Technical Papers
Sungjae Hwang
KAIST
,
Sukyoung Ryu
KAIST
01:33
12m
Talk
A Tale from the Trenches: Cognitive Biases and Software Development
Technical
ICSE Technical Papers
Souti Chattopadhyay
Graduate Student
,
Nicholas Nelson
Oregon State University
,
Audrey Au
Oregon State University
,
Natalia Morales
Oregon State University
,
Christopher Sanchez
Oregon State University
,
Rahul Pandita
Phase Change Software
,
Anita Sarma
Oregon State University
01:45
3m
Talk
VITALSE: Visualizing Eye Tracking and Biometric Data
Demo
ICSE Demonstrations
Devjeet Roy
Washington State University
,
Sarah Fakhoury
Washington State University
,
Venera Arnaoudova
Washington State University
Pre-print
02:10 - 03:00
Ask me about tips for grant writing, etc
ICSE Ask Me Anything
at
Goguryeo
02:10
50m
Social Event
Ask Me Anything - John Grundy
ICSE Ask Me Anything
John Grundy
Monash University
07:00 - 08:00
I14-SEET - Industry Relevant Teaching and Others
ICSE Software Engineering Education and Training
at
Goguryeo
Chair(s):
Letizia Jaccheri
Norwegian University of Science and Technology
07:00
12m
Talk
Addressing the Double Challenge of Learning and Teaching Enterprise Technologies through Peer Teaching
SEET
ICSE Software Engineering Education and Training
Richard Glassey
KTH Royal Institute of Technology
,
Olle Bälter
KTH Royal Institute of Technology
,
Philipp Haller
KTH Royal Institute of Technology
,
Mattias Wiggberg
KTH Royal Institute of Technology
07:12
12m
Talk
Characterizing the Pedagogical Benefits of Adaptive Feedback for Compilation Errors by Novice Programmers
SEET
ICSE Software Engineering Education and Training
Umair Z. Ahmed
National University of Singapore
,
Nisheeth Srivastava
Indian Institute of Technology, Kanpur
,
Renuka Sindhgatta
Queensland University of Technology, Australia
,
Amey Karkare
IIT Kanpur
07:24
12m
Talk
VeriSIM: A Learning Environment for Comprehending Class and Sequence Diagrams using Design Tracing
SEET
ICSE Software Engineering Education and Training
Prajish Prasad
IIT Bombay
,
Sridhar Iyer
IIT Bombay
07:36
12m
Talk
Towards an Open Repository for Teaching Software Modeling applying Active Learning Strategies
SEET
ICSE Software Engineering Education and Training
Williamson Silva
UFAM
,
Bruno Gadelha
UFAM
,
Igor Steinmacher
Northern Arizona University
,
Tayana Conte
Universidade Federal do Amazonas
07:48
12m
Talk
What prevents Finnish women from applying to software engineering roles? A preliminary analysis of survey data
SEET
ICSE Software Engineering Education and Training
Annika Wolff
LUT University
,
Antti Knutas
LUT University
,
Paula Savolainen
Turku University of Applied Sciences
Pre-print
08:05 - 09:05
I17-Contracts and Analysis
ICSE Demonstrations
/
ICSE Technical Papers
/
ICSE Software Engineering in Practice
/
ICSE Journal First
at
Goguryeo
Chair(s):
Jaechang Nam
Handong Global University
08:05
10m
Talk
How to reduce risk effectively in fixed price software development
SEIP
ICSE Software Engineering in Practice
Volker Gruhn
University Duisburg-Essen
,
Niklas Spitczok von Brisinski
adesso AG
08:15
10m
Talk
Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smart Contracts
Demo
ICSE Demonstrations
Zhiqiang Yang
Oxford-Hainan Blockchain Research Institute
,
Han Liu
Tsinghua University
,
Yue Li
Oxford-Hainan Blockchain Research Institute
,
Huixuan Zheng
Oxford-Hainan Blockchain Research Institute
,
Lei Wang
Oxford-Hainan Blockchain Research Institute
,
Bangdao Chen
Oxford-Hainan Blockchain Research Institute
08:25
10m
Talk
Escape from Escape Analysis of Golang
SEIP
ICSE Software Engineering in Practice
Cong Wang
Tsinghua University
,
Mingrui Zhang
Tsinghua University, Beijing, China
,
Yu Jiang
,
Huafeng Zhang
Huawei Technologies, Hangzhou, China
,
Zhenchang Xing
Australia National University
,
Ming Gu
08:35
10m
Talk
Smart Contract Development: Challenges and Opportunities
J1
ICSE Journal First
Weiqin Zou
Nanjing University
,
David Lo
Singapore Management University
,
Pavneet Singh Kochhar
Microsoft
,
Xuan-Bach D. Le
Singapore Management University, Singapore
,
Xin Xia
Monash University
,
Yang Feng
Nanjing University
,
Zhenyu Chen
Nanjing University
,
Baowen Xu
Nanjing University
08:45
10m
Talk
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Technical
ICSE Technical Papers
Thomas Durieux
KTH Royal Institute of Technology, Sweden
,
João F. Ferreira
INESC-ID and IST, University of Lisbon
,
Rui Abreu
Instituto Superior Técnico, U. Lisboa & INESC-ID
,
Pedro Cruz
IST, University of Lisbon, Portugal
Pre-print
08:55
10m
Talk
An Extended Abstract of “METRIC+: A Metamorphic Relation Identification Technique Based on Input Plus Output Domains”
J1
ICSE Journal First
Chang-ai Sun
University of Science and Technology Beijing
,
An Fu
University of Science and Technology Beijing
,
Pak-Lok Poon
School of Engineering & Technology, Central Queensland University, Australia
,
Xiaoyuan Xie
School of Computer Science, Wuhan University, China
,
Huai Liu
Swinburne University of Technology
,
Tsong Yueh Chen
Swinburne University of Technology
Fri 10 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
07:00 - 08:00
I20-Android Testing
ICSE Technical Papers
at
Goguryeo
Chair(s):
Shing-Chi Cheung
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
07:00
12m
Talk
Multiple-Entry Testing of Android Applications by Constructing Activity Launching Contexts
Technical
ICSE Technical Papers
Jiwei Yan
Institute of Software, Chinese Academy of Sciences
,
Hao Liu
Beijing University of Technology
,
Linjie Pan
Institute of Software, Chinese Academy of Sciences
,
Jun Yan
Institute of Software, Chinese Academy of Sciences
,
Jian Zhang
Institute of Software, Chinese Academy of Sciences
,
Bin Liang
Renmin University of China, China
07:12
12m
Talk
Time-travel Testing of Android Apps
Technical
ICSE Technical Papers
Zhen Dong
National University of Singapore
,
Marcel Böhme
Monash University
,
Lucia Cojocaru
Politehnica University of Bucharest
,
Abhik Roychoudhury
National University of Singapore, Singapore
07:24
12m
Talk
Collaborative Bug Finding for Android Apps
Technical
ICSE Technical Papers
Shin Hwei Tan
Southern University of Science and Technology
,
Ziqiang Li
Southern University of Science and Technology
Media Attached
File Attached
07:36
12m
Talk
An Empirical Assessment of Security Risks of Global Android Banking Apps
Technical
ICSE Technical Papers
Sen Chen
Nanyang Technological University, Singapore
,
Lingling Fan
Nanyang Technological University, Singapore
,
Guozhu Meng
Institute of Information Engineering, Chinese Academy of Sciences
,
Ting Su
ETH Zurich, Switzerland
,
Jason Minhui Xue
The University of Adelaide
,
Yinxing Xue
,
Yang Liu
Nanyang Technological University, Singapore
,
Lihua Xu
New York University Shanghai
Pre-print
07:48
12m
Talk
RoScript: A Visual Script Driven Truly Non-Intrusive Robotic Testing System for Touch Screen Applications
Technical
ICSE Technical Papers
Ju Qian
Nanjing University of Aeronautics and Astronautics
,
Zhengyu Shang
Nanjing University of Aeronautics and Astronautics
,
Shuoyan Yan
Nanjing University of Aeronautics and Astronautics
,
Yan Wang
,
Lin Chen
Nanjing University
08:05 - 09:05
I23-Code Artifact Analysis
ICSE Journal First
/
ICSE Technical Papers
at
Goguryeo
Chair(s):
Benoit Baudry
KTH Royal Institute of Technology
08:05
12m
Talk
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Technical
ICSE Technical Papers
Qingkai Shi
The Hong Kong University of Science and Technology
,
Rongxin Wu
Department of Cyber Space Security, Xiamen University
,
Gang Fan
Hong Kong University of Science and Technology
,
Charles Zhang
The Hong Kong University of Science and Technology
08:17
12m
Talk
Pipelining Bottom-up Data Flow Analysis
Technical
ICSE Technical Papers
Qingkai Shi
The Hong Kong University of Science and Technology
,
Charles Zhang
The Hong Kong University of Science and Technology
08:29
8m
Talk
An Empirical Validation of Oracle Improvement
J1
ICSE Journal First
Gunel Jahangirova
Università della Svizzera italiana
,
David Clark
University College London
,
Mark Harman
,
Paolo Tonella
Università della Svizzera italiana
08:37
8m
Talk
Is Static Analysis Able to Identify Unnecessary Source Code?
J1
ICSE Journal First
Roman Haas
CQSE GmbH
,
Rainer Niedermayr
CQSE GmbH
,
Tobias Roehm
CQSE GmbH
,
Sven Apel
Saarland University
Pre-print
08:45
8m
Talk
Memory and Resource Leak Defects and Their Repairs in Java Projects
J1
ICSE Journal First
Mohammadreza Ghanavati
Heidelberg University
,
Diego Costa
Concordia University, Canada
,
Janos Seboek
Heidelberg University
,
David Lo
Singapore Management University
,
Artur Andrzejak
Heidelberg University
08:53
8m
Talk
Towards Understanding and Detecting Fake Reviews in App Stores
J1
ICSE Journal First
Daniel Martens
University of Hamburg
,
Walid Maalej
University of Hamburg
15:00 - 16:00
A20-SEET - Novel Approaches in SE Education
ICSE Software Engineering Education and Training
at
Goguryeo
Chair(s):
Seonah Lee
Gyeongsang National University
15:00
12m
Talk
Using Public and Free Platform-as-a-Service (PaaS) based Lightweight Projects for Software Architecture Education
SEET
ICSE Software Engineering Education and Training
Zheng Li
University of Concepción
15:12
12m
Talk
An Interactive Learning Method to Engage Students in Modeling
SEET
ICSE Software Engineering Education and Training
Stephan Krusche
Technische Universität München
,
Nadine von Frankenberg
Technical University of Munich
,
Lara Marie Reimer
Technical University of Munich
,
Bernd Bruegge
TU Munich
15:24
12m
Talk
Turn up the Heat!: Using Heat Maps to Visualize Suspicious Code to Help Students Successfully Complete Programming Problems Faster
SEET
ICSE Software Engineering Education and Training
Bob Edmison
Virginia Tech
,
Stephen Edwards
Virginia Tech
15:36
6m
Experience report
Teaching Software Engineering for AI-Enabled Systems
SEET
ICSE Software Engineering Education and Training
Christian Kästner
Carnegie Mellon University
,
Eunsuk Kang
Carnegie Mellon University
15:42
12m
Talk
Innovation and Active Learning for Training Mobile App Developers
SEET
ICSE Software Engineering Education and Training
Fabio Binder
Pontifícia Universidade Católica do Paraná (PUCPR)
,
Regina Albuquerque
Pontifícia Universidade Católica do Paraná (PUCPR)
,
Sheila Reinehr
Pontifícia Universidade Católica do Paraná (PUCPR)
,
Andreia Malucelli
Pontifícia Universidade Católica do Paraná (PUCPR)
16:05 - 17:05
A23-Requirements
ICSE Journal First
/
ICSE Technical Papers
/
ICSE New Ideas and Emerging Results
at
Goguryeo
Chair(s):
Dalal Alrajeh
Imperial College London
16:05
12m
Talk
Caspar: Extracting and Synthesizing User Stories of Problems from App Reviews
Technical
ICSE Technical Papers
Hui Guo
North Carolina State University
,
Munindar P. Singh
North Carolina State University
16:17
8m
Talk
Dealing with Non-Functional Requirements in Model-Driven Development: A Survey
J1
ICSE Journal First
David Ameller
Universitat Politècnica de Catalunya
,
Xavier Franch
Universitat Politècnica de Catalunya
,
Cristina Gómez
Universitat Politècnica de Catalunya
,
Silverio Martínez-Fernández
UPC-BarcelonaTech
,
João Araújo
Universidade Nova de Lisboa
,
Stefan Biffl
Vienna University of Technology
,
Jordi Cabot
ICREA - UOC
,
Vittorio Cortellesa
University of L’Aquila
,
Daniel Mendez
Technische Universität München
,
Ana Moreira
FCT / Universidade Nova de Lisboa
,
Henry Muccini
University of L'Aquila, Italy
,
Antonio Vallecillo
University of Málaga, Spain
,
Manuel Wimmer
Johannes Kepler University Linz
,
Vasco Amaral
Universidade Nova de Lisboa
,
Wolfang Böhm
Technische Universität München
,
Hugo Brunelière
Inria, Mines Nantes & LINA
,
Lola Burgueño
Universidad de Malaga
,
Miguel Goulao
NOVA-LINCS, FCT/UNL
,
Sabine Teufl
Fortiss GmbH
,
Luca Berardinelli
Johannes Kepler University Linz
16:25
8m
Talk
Locating Latent Design Information in Developer Discussions: A Study on Pull Requests
J1
ICSE Journal First
Giovanni Viviani
University of British Columbia
,
Michalis Famelis
Université de Montréal
,
Xin Xia
Monash University
,
Calahan Janik-Jones
University of Toronto
,
Gail Murphy
University of British Columbia
16:33
8m
Talk
Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys
J1
ICSE Journal First
Stefan Wagner
University of Stuttgart
Link to publication
DOI
Pre-print
16:41
8m
Talk
Corba: Crowdsourcing to Obtain Requirements from Regulations and Breaches
J1
ICSE Journal First
Hui Guo
North Carolina State University
,
Ozgur Kafali
University of Kent
,
Anne-Liz Jeukeng
University of Florida
,
Laurie Williams
North Carolina State University
,
Munindar P. Singh
North Carolina State University
16:49
6m
Talk
With Registered Reports Towards Large Scale Data Curation
NIER
ICSE New Ideas and Emerging Results
Steffen Herbold
University of Göttingen
Pre-print
17:10 - 18:00
Birds of a feather: Reviewing SE research papers
ICSE Birds of a Feather
at
Goguryeo
Chair(s):
Matthew B Dwyer
University of Virginia
,
Mei Nagappan
University of Waterloo
,
Paul Ralph
Dalhousie University
,
Romain Robbes
Free University of Bozen-Bolzano
17:10
50m
Social Event
Birds of a feather: Reviewing SE research papers
ICSE Birds of a Feather
Media Attached
Sat 11 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
00:00 - 01:00
P26-Deep Learning Testing and Debugging
ICSE Technical Papers
at
Goguryeo
Chair(s):
Tim Menzies
North Carolina State University
00:00
12m
Talk
ReluDiff: Differential Verification of Deep Neural Networks
Technical
ICSE Technical Papers
Brandon Paulsen
University of Southern California
,
Jingbo Wang
University of Southern California
,
Chao Wang
USC
Pre-print
00:12
12m
Talk
Structure-Invariant Testing for Machine Translation
Technical
ICSE Technical Papers
Pinjia He
ETH Zurich
,
Clara Meister
ETH Zurich
,
Zhendong Su
ETH Zurich, Switzerland
00:24
12m
Talk
Automatic Testing and Improvement of Machine Translation
Technical
ICSE Technical Papers
Zeyu Sun
Peking University
,
Jie M. Zhang
University College London, UK
,
Mark Harman
Facebook and University College London
,
Mike Papadakis
University of Luxembourg
,
Lu Zhang
Peking University, China
00:36
12m
Talk
Testing DNN Image Classifier for Confusion & Bias Errors
Technical
ICSE Technical Papers
Yuchi Tian
Columbia University
,
Ziyuan Zhong
Columbia University
,
Vicente Ordonez
University of Virginia
,
Gail Kaiser
Columbia University
,
Baishakhi Ray
Columbia University, New York
00:48
12m
Talk
Repairing Deep Neural Networks: Fix Patterns and Challenges
Technical
ICSE Technical Papers
Md Johirul Islam
Iowa State University
,
Rangeet Pan
Iowa State University, USA
,
Giang Nguyen
Dept. of Computer Science, Iowa State University
,
Hridesh Rajan
Iowa State University, USA
01:05 - 02:05
P29-Android and Web Testing
ICSE Demonstrations
/
ICSE Technical Papers
/
ICSE Software Engineering in Practice
at
Goguryeo
Chair(s):
Hironori Washizaki
Waseda University
01:05
12m
Talk
SLACC: Simion-based Language Agnostic Code Clones
Technical
ICSE Technical Papers
George Mathew
North Carolina State University
,
Chris Parnin
North Carolina State University
,
Kathryn Stolee
North Carolina State University
Pre-print
01:17
8m
Talk
Near-Duplicate Detection in Web App Model Inference
Technical
ICSE Technical Papers
Rahulkrishna Yandrapally
University of British Columbia, Canada
,
Andrea Stocco
Università della Svizzera italiana
,
Ali Mesbah
University of British Columbia
Pre-print
01:25
12m
Talk
JSidentify: A Hybrid Framework for Detecting Plagiarism Among JavaScript Code in Online Mini Games
SEIP
ICSE Software Engineering in Practice
Qun Xia
Tencent Inc.
,
Zhongzhu Zhou
,
Zhihao Li
Tencent Inc.
,
Bin Xu
Tencent Inc.
,
Wei Zou
Tencent Inc.
,
Zishun Chen
Tencent Inc.
,
Huafeng Ma
Tencent Inc.
,
Gangqiang Liang
Tencent Inc.
,
Haochuan Lu
Fudan University
,
Shiyu Guo
Tencent Inc.
,
Ting Xiong
Tencent Inc.
,
Yuetang Deng
Tencent, Inc.
,
Tao Xie
Peking University
01:37
12m
Talk
Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep Learning
Technical
ICSE Technical Papers
Jieshan Chen
Australian National University
,
Chunyang Chen
Monash University
,
Zhenchang Xing
Australia National University
,
Xiwei (Sherry) Xu
Data 61
,
Liming Zhu
CSIRO's Data61 and UNSW
,
Guoqiang Li
Shanghai Jiao Tong University
,
Jinshui Wang
School of Information Science and Engineering, Fujian University of Technology, Fuzhou, China
01:49
3m
Talk
DroidMutator: An Effective Mutation Analysis Tool for Android Applications
Demo
ICSE Demonstrations
Jian Liu
East China Normal University
,
Xusheng Xiao
Case Western Reserve University
,
Lihua Xu
New York University Shanghai
,
Liang Dou
East China Normal University
,
Andy Podgurski
Case Western University
01:52
3m
Talk
BigTest: Symbolic Execution Based Systematic Test Generation Tool for Apache Spark
Demo
ICSE Demonstrations
Muhammad Ali Gulzar
University of California, Los Angeles
,
Madan Musuvathi
Microsoft Research
,
Miryung Kim
University of California, Los Angeles
15:00 - 16:00
A26-Bugs and Repair
ICSE Journal First
/
ICSE Technical Papers
at
Goguryeo
Chair(s):
Davide Falessi
California Polytechnic State University
15:00
12m
Talk
Simulee: Detecting CUDA Synchronization Bugs via Memory-Access Modeling
Technical
ICSE Technical Papers
Mingyuan Wu
Southern University of Science and Technology
,
Yicheng Ouyang
Southern University of Science and Technology
,
Husheng Zhou
The University of Texas at Dallas
,
Lingming Zhang
The University of Texas at Dallas
,
Cong Liu
UT Dallas
,
Yuqun Zhang
Southern University of Science and Technology
15:12
8m
Talk
Fine-Grained Dynamic Resource Allocation for Big-Data Applications
J1
ICSE Journal First
Luciano Baresi
Politecnico di Milano
,
Alberto Leva
Politecnico di Milano
,
Giovanni Quattrocchi
Politecnico di Milano
15:20
8m
Talk
The Assessor's Dilemma: Improving Bug Repair via Empirical Game Theory
J1
ICSE Journal First
Carlos Gavidia-Calderon
University College London
,
Federica Sarro
University College London, UK
,
Mark Harman
Facebook and University College London
,
Earl T. Barr
University College London, UK
Link to publication
DOI
Pre-print
Media Attached
15:28
8m
Talk
FixMiner: Mining Relevant Fix Patterns for Automated Program Repair
J1
ICSE Journal First
Anil Koyuncu
University of Luxembourg, Luxembourg
,
Kui Liu
Huawei Software Engineering Application Technology Lab
,
Tegawendé F. Bissyandé
SnT, University of Luxembourg
,
Dongsun Kim
Furiosa.ai
,
Jacques Klein
University of Luxembourg, SnT
,
Martin Monperrus
KTH Royal Institute of Technology
,
Yves Le Traon
University of Luxembourg
Pre-print
15:36
8m
Talk
IntRepair: Informed Repairing of Integer Overflows
J1
ICSE Journal First
Paul Muntean
TU Munich
,
Martin Monperrus
KTH Royal Institute of Technology
,
Hao Sun
Unaffiliated
,
Jens Grossklags
Technical University of Munich
,
Claudia Eckert
Technical University of Munich
15:44
12m
Talk
DLFix: Context-based Code Transformation Learning for Automated Program Repair
Technical
ICSE Technical Papers
Yi Li
New Jersey Institute of Technology, USA
,
Shaohua Wang
New Jersey Institute of Technology, USA
,
Tien N. Nguyen
University of Texas at Dallas
16:05 - 17:05
A29-Code Analysis and Verification
ICSE Technical Papers
/
ICSE New Ideas and Emerging Results
at
Goguryeo
Chair(s):
Elena Sherman
Boise State University
16:05
12m
Talk
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
Technical
ICSE Technical Papers
Manuel Benz
University of Paderborn
,
Erik Krogh Kristensen
GitHub
,
Linghui Luo
Paderborn University, Germany
,
Nataniel Borges Jr.
CISPA Helmholtz Center for Information Security
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
,
Andreas Zeller
CISPA Helmholtz Center for Information Security
Media Attached
File Attached
16:17
12m
Talk
Verifying Object Construction
Technical
ICSE Technical Papers
Martin Kellogg
University of Washington, Seattle
,
Manli Ran
University of California, Riverside
,
Manu Sridharan
University of California Riverside
,
Martin Schäf
Amazon Web Services, USA
,
Michael D. Ernst
University of Washington, USA
16:29
6m
Talk
Predictive Constraint Solving and Analysis
NIER
ICSE New Ideas and Emerging Results
Alyas Almaawi
The University of Texas at Austin
,
Nima Dini
University of Texas at Austin
,
Cagdas Yelen
The University of Texas at Austin
,
Milos Gligoric
The University of Texas at Austin
,
Sasa Misailovic
University of Illinois at Urbana-Champaign
,
Sarfraz Khurshid
University of Texas at Austin, USA
16:35
12m
Talk
When APIs are Intentionally Bypassed: An Exploratory Study of API Workarounds
Technical
ICSE Technical Papers
Maxime Lamothe
Concordia University
,
Weiyi Shang
Concordia University
Pre-print
16:47
12m
Talk
Demystify Official API Usage Directives with Crowdsourced API Misuse Scenarios, Erroneous Code Examples and Patches
Technical
ICSE Technical Papers
Xiaoxue Ren
Zhejiang University
,
Zhenchang Xing
Australia National University
,
Jiamou Sun
Australian National University
,
Xin Xia
Monash University
,
JianLing Sun
Zhejiang University
Mon 13 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
07:00 - 09:00
Session 1: Keynote and Q+A of paper presentations
FormaliSE
at
Goguryeo
07:00
60m
Talk
SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers
FormaliSE
K:
Shahar Maoz
Tel Aviv University
08:00
60m
Live Q&A
Q&A to authors of pre-recorded paper presentations
FormaliSE
15:00 - 17:00
Session 2: Keynote and Q+A of paper presentations
FormaliSE
at
Goguryeo
15:00
60m
Talk
On the Probabilistic Analysis of Neural Networks
FormaliSE
K:
Corina S. Pasareanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
16:00
60m
Live Q&A
Q&A to authors of pre-recorded paper presentations
FormaliSE
Tue 7 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Goguryeo
ICSE Ask Me Anything
Special topic: Work Life Balance
ICSE New Ideas and Emerging Results + ICSE Technical Papers
I2-Security
ICSE Technical Papers + ICSE Demonstrations
I5-Deep Learning Testing and Debugging
ICSE Students Meeting Students
Students meeting students-ICSE Quiz
ICSE New Ideas and Emerging Results + ICSE Journal First + ICSE Technical Papers + ICSE Software Engineering in Practice
A2-Testing and Debugging 1
ICSE Demonstrations + ICSE New Ideas and Emerging Results + ICSE Technical Papers
A5-Testing and Debugging 2
Wed 8 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Goguryeo
ICSE Software Engineering Education and Training
P8-SEET - Novel Approaches in SE Education and Others
ICSE Journal First + ICSE Technical Papers
P11-Natural Language Artifacts
ICSE Ask Me Anything
Ask me about impact (or anything) - Andreas Zeller
ICSE Journal First + ICSE Technical Papers
A8-Machine Learning and Models
ICSE New Ideas and Emerging Results + ICSE Journal First + ICSE Technical Papers + ICSE Demonstrations
A11-Performance and Analysis
Thu 9 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
Goguryeo
ICSE Technical Papers + ICSE Software Engineering in Practice
P14-Testing
ICSE Journal First + ICSE Technical Papers + ICSE Demonstrations
P17-Software Development
ICSE Ask Me Anything
Ask me about tips for grant writing, etc
ICSE Software Engineering Education and Training
I14-SEET - Industry Relevant Teaching and Others
ICSE Demonstrations + ICSE Technical Papers + ICSE Software Engineering in Practice + ICSE Journal First
I17-Contracts and Analysis
ICSE Ask Me Anything
Fri 10 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Goguryeo
ICSE Technical Papers
I20-Android Testing
ICSE Journal First + ICSE Technical Papers
I23-Code Artifact Analysis
ICSE Software Engineering Education and Training
A20-SEET - Novel Approaches in SE Education
ICSE Journal First + ICSE Technical Papers + ICSE New Ideas and Emerging Results
A23-Requirements
ICSE Birds of a Feather
Birds of a feather: Reviewing SE research papers
Sat 11 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Goguryeo
ICSE Technical Papers
P26-Deep Learning Testing and Debugging
ICSE Demonstrations + ICSE Technical Papers + ICSE Software Engineering in Practice
P29-Android and Web Testing
ICSE Journal First + ICSE Technical Papers
A26-Bugs and Repair
ICSE Technical Papers + ICSE New Ideas and Emerging Results
A29-Code Analysis and Verification
Mon 13 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Goguryeo
FormaliSE
Session 1: Keynote and Q+A of paper presentations
FormaliSE
Session 2: Keynote and Q+A of paper presentations
Tue 7 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Goguryeo
ICSE Ask Me Anything
Ask Me Anything - Jon Whittle
02:10 - 03:00
ICSE Technical Papers
Technical
Targeted Greybox Fuzzing with Static Lookahead Analysis
07:00 - 07:12
ICSE Technical Papers
Technical
HyDiff: Hybrid Differential Software Analysis
07:12 - 07:24
ICSE Technical Papers
Technical
Towards Characterizing Adversarial Defects of Deep Learning Software fr ...
07:24 - 07:36
ICSE Technical Papers
Technical
One Size Does Not Fit All: A Grounded Theory and Online Survey Study of ...
07:36 - 07:48
ICSE New Ideas and Emerging Results
NIER
Hey, my data are mine! Active data to empower the user
07:48 - 07:54
ICSE New Ideas and Emerging Results
NIER
Threat modeling: from infancy to maturity
07:54 - 08:00
ICSE Technical Papers
Technical
DISSECTOR: Input Validation for Deep Learning Applications by Crossing- ...
08:05 - 08:17
ICSE Technical Papers
Technical
White-box Fairness Testing through Adversarial Sampling
08:17 - 08:29
ICSE Demonstrations
Demo
FeatureNET: Diversity-driven Generation of Deep Learning Models
08:29 - 08:32
ICSE Demonstrations
Demo
EvalDNN: A Toolbox for Evaluating Deep Neural Network Models
08:32 - 08:35
ICSE Technical Papers
Technical
Taxonomy of Real Faults in Deep Learning Systems
08:35 - 08:47
ICSE Technical Papers
Technical
An Empirical Study on Program Failures of Deep Learning Jobs
08:47 - 08:59
ICSE Students Meeting Students
ICSE Quiz
09:10 - 10:00
ICSE Technical Papers
Technical
Studying the Use of Java Logging Utilities in the Wild
15:00 - 15:12
ICSE Technical Papers
Technical
Causal Testing: Understanding Defects' Root Causes
15:12 - 15:24
ICSE Journal First
J1
Studying the Characteristics of Logging Practices in Mobile Apps: A Cas ...
15:24 - 15:32
ICSE New Ideas and Emerging Results
NIER
Automatically Predicting Bug Severity Early in the Development Process
15:32 - 15:38
ICSE Journal First
J1
A Survey on Adaptive Random Testing
15:38 - 15:46
ICSE Software Engineering in Practice
SEIP
Code Level Model-Checking in the Software Development Workflow
15:46 - 15:58
ICSE Technical Papers
Technical
Efficient Generation of Error-Inducing Floating-Point Inputs via Symbol ...
16:05 - 16:17
ICSE Technical Papers
Technical
A Study on the Lifecycle of Flaky Tests
16:17 - 16:29
ICSE New Ideas and Emerging Results
NIER
Is Your Quantum Program Bug-Free?
16:29 - 16:35
ICSE Demonstrations
Demo
DCO Analyzer: Local Controllability and Observability Analysis and Enfo ...
16:35 - 16:38
ICSE Technical Papers
Technical
Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference
16:38 - 16:50
ICSE Demonstrations
Demo
PG-KLEE: Trading Soundness for Coverage
16:50 - 16:53
ICSE New Ideas and Emerging Results
NIER
Blending Kinematic and Software Models for Tighter Reachability Analysis
16:53 - 16:59
Wed 8 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Goguryeo
ICSE Software Engineering Education and Training
SEET
Enriching Programming Student Feedback with Audio Comments
00:00 - 00:12
ICSE Software Engineering Education and Training
SEET
GidgetML: An Adaptive Serious Game for Enhancing First Year Programming ...
00:12 - 00:24
ICSE Software Engineering Education and Training
SEET
Exploiting Group Shuffling Dynamics to Convey the Importance of Good So ...
00:24 - 00:30
ICSE Software Engineering Education and Training
SEET
Authentic Individual Assessment for Team-based Software Engineering Pro ...
00:30 - 00:42
ICSE Software Engineering Education and Training
SEET
Adopting Industry Agile Practices in Large-scale Capstone Education
00:42 - 00:54
ICSE Journal First
J1
Neural Network Based Classification of Self-admitted Technical Debt: Fr ...
01:05 - 01:13
ICSE Journal First
J1
Domain-specific Machine Translation with Recurrent Neural Network for S ...
01:13 - 01:21
ICSE Technical Papers
Technical
Mitigating Turnover with Code Review Recommendation: Balancing Expertis ...
01:21 - 01:33
ICSE Ask Me Anything
Ask Me Anything - Andreas Zeller
09:10 - 10:00
ICSE Journal First
J1
Improving Vulnerability Inspection Efficiency Using Active Learning
15:00 - 15:08
ICSE Journal First
J1
How Bugs Are Born: A Model to Identify How Bugs Are Introduced in Softw ...
15:08 - 15:16
ICSE Journal First
J1
How to “DODGE” Complex Software Analytics
15:16 - 15:24
ICSE Technical Papers
Technical
Importance-Driven Deep Learning System Testing
15:24 - 15:36
ICSE Technical Papers
Technical
Quickly Generating Diverse Valid Test Inputs with Reinforcement Learning
15:36 - 15:48
ICSE Journal First
J1
Impact of Discretization Noise of the Dependent variable on Machine Lea ...
15:48 - 15:56
ICSE Demonstrations
Demo
Nimbus: Improving the Developer Experience for Serverless Applications
16:05 - 16:08
ICSE Journal First
J1
Testing with Fewer Resources: An Adaptive Approach to Performance-Aware ...
16:08 - 16:16
ICSE Journal First
J1
What's Wrong with My Benchmark Results? Studying Bad Practices in JMH B ...
16:16 - 16:24
ICSE Technical Papers
Technical
Towards the Use of the Readily Available Tests from the Release Pipelin ...
16:24 - 16:36
ICSE Journal First
J1
ModGuard: Identifying Integrity & Confidentiality Violations in Java Mo ...
16:36 - 16:44
ICSE New Ideas and Emerging Results
NIER
Program Debloating via Stochastic Optimization
16:44 - 16:50
ICSE Journal First
J1
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems
16:50 - 16:58
Thu 9 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
Goguryeo
ICSE Technical Papers
Technical
Seenomaly: Vision-Based Linting of GUI Animation Effects Against Design ...
00:00 - 00:12
ICSE Technical Papers
Technical
Fuzz Testing based Data Augmentation to Improve Robustness of Deep Neur ...
00:12 - 00:24
ICSE Software Engineering in Practice
SEIP
Modeling and Ranking Flaky Tests at Apple
00:24 - 00:36
ICSE Technical Papers
Technical
Testing File System Implementations on Layered Models
00:36 - 00:48
ICSE Technical Papers
Technical
A Cost-efficient Approach to Building in Continuous Integration
00:48 - 01:00
ICSE Journal First
J1
Improving the Pull Requests Review Process Using Learning-to-rank Algor ...
01:05 - 01:13
ICSE Journal First
J1
Understanding the motivations, challenges and needs of Blockchain softw ...
01:13 - 01:21
ICSE Technical Papers
Technical
Gap between Theory and Practice : An Empirical Study of Security Patche ...
01:21 - 01:33
ICSE Technical Papers
Technical
A Tale from the Trenches: Cognitive Biases and Software Development
01:33 - 01:45
ICSE Demonstrations
Demo
VITALSE: Visualizing Eye Tracking and Biometric Data
01:45 - 01:48
ICSE Ask Me Anything
Ask Me Anything - John Grundy
02:10 - 03:00
ICSE Software Engineering Education and Training
SEET
Addressing the Double Challenge of Learning and Teaching Enterprise Tec ...
07:00 - 07:12
ICSE Software Engineering Education and Training
SEET
Characterizing the Pedagogical Benefits of Adaptive Feedback for Compil ...
07:12 - 07:24
ICSE Software Engineering Education and Training
SEET
VeriSIM: A Learning Environment for Comprehending Class and Sequence Di ...
07:24 - 07:36
ICSE Software Engineering Education and Training
SEET
Towards an Open Repository for Teaching Software Modeling applying Acti ...
07:36 - 07:48
ICSE Software Engineering Education and Training
SEET
What prevents Finnish women from applying to software engineering roles ...
07:48 - 08:00
ICSE Software Engineering in Practice
SEIP
How to reduce risk effectively in fixed price software development
08:05 - 08:15
ICSE Demonstrations
Demo
Seraph: Enabling Cross-Platform Security Analysis For EVM and WASM Smar ...
08:15 - 08:25
ICSE Software Engineering in Practice
SEIP
Escape from Escape Analysis of Golang
08:25 - 08:35
ICSE Journal First
J1
Smart Contract Development: Challenges and Opportunities
08:35 - 08:45
ICSE Technical Papers
Technical
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart C ...
08:45 - 08:55
ICSE Journal First
J1
An Extended Abstract of “METRIC+: A Metamorphic Relation Identification ...
08:55 - 09:05
Fri 10 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Goguryeo
ICSE Technical Papers
Technical
Multiple-Entry Testing of Android Applications by Constructing Activity ...
07:00 - 07:12
ICSE Technical Papers
Technical
Time-travel Testing of Android Apps
07:12 - 07:24
ICSE Technical Papers
Technical
Collaborative Bug Finding for Android Apps
07:24 - 07:36
ICSE Technical Papers
Technical
An Empirical Assessment of Security Risks of Global Android Banking Apps
07:36 - 07:48
ICSE Technical Papers
Technical
RoScript: A Visual Script Driven Truly Non-Intrusive Robotic Testing Sy ...
07:48 - 08:00
ICSE Technical Papers
Technical
Conquering the Extensional Scalability Problem for Value-Flow Analysis ...
08:05 - 08:17
ICSE Technical Papers
Technical
Pipelining Bottom-up Data Flow Analysis
08:17 - 08:29
ICSE Journal First
J1
An Empirical Validation of Oracle Improvement
08:29 - 08:37
ICSE Journal First
J1
Is Static Analysis Able to Identify Unnecessary Source Code?
08:37 - 08:45
ICSE Journal First
J1
Memory and Resource Leak Defects and Their Repairs in Java Projects
08:45 - 08:53
ICSE Journal First
J1
Towards Understanding and Detecting Fake Reviews in App Stores
08:53 - 09:01
ICSE Software Engineering Education and Training
SEET
Using Public and Free Platform-as-a-Service (PaaS) based Lightweight Pr ...
15:00 - 15:12
ICSE Software Engineering Education and Training
SEET
An Interactive Learning Method to Engage Students in Modeling
15:12 - 15:24
ICSE Software Engineering Education and Training
SEET
Turn up the Heat!: Using Heat Maps to Visualize Suspicious Code to Help ...
15:24 - 15:36
ICSE Software Engineering Education and Training
SEET
Teaching Software Engineering for AI-Enabled Systems
15:36 - 15:42
ICSE Software Engineering Education and Training
SEET
Innovation and Active Learning for Training Mobile App Developers
15:42 - 15:54
ICSE Technical Papers
Technical
Caspar: Extracting and Synthesizing User Stories of Problems from App R ...
16:05 - 16:17
ICSE Journal First
J1
Dealing with Non-Functional Requirements in Model-Driven Development: A ...
16:17 - 16:25
ICSE Journal First
J1
Locating Latent Design Information in Developer Discussions: A Study on ...
16:25 - 16:33
ICSE Journal First
J1
Status Quo in Requirements Engineering: A Theory and a Global Family of ...
16:33 - 16:41
ICSE Journal First
J1
Corba: Crowdsourcing to Obtain Requirements from Regulations and Breaches
16:41 - 16:49
ICSE New Ideas and Emerging Results
NIER
With Registered Reports Towards Large Scale Data Curation
16:49 - 16:55
ICSE Birds of a Feather
Birds of a feather: Reviewing SE research papers
17:10 - 18:00
Sat 11 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Goguryeo
ICSE Technical Papers
Technical
ReluDiff: Differential Verification of Deep Neural Networks
00:00 - 00:12
ICSE Technical Papers
Technical
Structure-Invariant Testing for Machine Translation
00:12 - 00:24
ICSE Technical Papers
Technical
Automatic Testing and Improvement of Machine Translation
00:24 - 00:36
ICSE Technical Papers
Technical
Testing DNN Image Classifier for Confusion & Bias Errors
00:36 - 00:48
ICSE Technical Papers
Technical
Repairing Deep Neural Networks: Fix Patterns and Challenges
00:48 - 01:00
ICSE Technical Papers
Technical
SLACC: Simion-based Language Agnostic Code Clones
01:05 - 01:17
ICSE Technical Papers
Technical
Near-Duplicate Detection in Web App Model Inference
01:17 - 01:25
ICSE Software Engineering in Practice
SEIP
JSidentify: A Hybrid Framework for Detecting Plagiarism Among JavaScrip ...
01:25 - 01:37
ICSE Technical Papers
Technical
Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Co ...
01:37 - 01:49
ICSE Demonstrations
Demo
DroidMutator: An Effective Mutation Analysis Tool for Android Applications
01:49 - 01:52
ICSE Demonstrations
Demo
BigTest: Symbolic Execution Based Systematic Test Generation Tool for A ...
01:52 - 01:55
ICSE Technical Papers
Technical
Simulee: Detecting CUDA Synchronization Bugs via Memory-Access Modeling
15:00 - 15:12
ICSE Journal First
J1
Fine-Grained Dynamic Resource Allocation for Big-Data Applications
15:12 - 15:20
ICSE Journal First
J1
The Assessor's Dilemma: Improving Bug Repair via Empirical Game Theory
15:20 - 15:28
ICSE Journal First
J1
FixMiner: Mining Relevant Fix Patterns for Automated Program Repair
15:28 - 15:36
ICSE Journal First
J1
IntRepair: Informed Repairing of Integer Overflows
15:36 - 15:44
ICSE Technical Papers
Technical
DLFix: Context-based Code Transformation Learning for Automated Program ...
15:44 - 15:56
ICSE Technical Papers
Technical
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
16:05 - 16:17
ICSE Technical Papers
Technical
Verifying Object Construction
16:17 - 16:29
ICSE New Ideas and Emerging Results
NIER
Predictive Constraint Solving and Analysis
16:29 - 16:35
ICSE Technical Papers
Technical
When APIs are Intentionally Bypassed: An Exploratory Study of API Worka ...
16:35 - 16:47
ICSE Technical Papers
Technical
Demystify Official API Usage Directives with Crowdsourced API Misuse Sc ...
16:47 - 16:59
Mon 13 Jul
Displayed time zone:
(UTC) Coordinated Universal Time
change
Room
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Goguryeo
FormaliSE
SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers
07:00 - 08:00
FormaliSE
Q&A to authors of pre-recorded paper presentations
08:00 - 09:00
FormaliSE
On the Probabilistic Analysis of Neural Networks
15:00 - 16:00
FormaliSE
Q&A to authors of pre-recorded paper presentations
16:00 - 17:00
x
Sun 13 Oct 06:57