ICPC 2018
Sun 27 - Mon 28 May 2018
Gothenburg, Sweden
co-located with
* ICSE 2018 *
Toggle navigation
Attending
Venue: Congress center Gothia Towers
* ICSE 2018 *
Registration
Accommodation, Hotels, Sharing rooms
Gothenburg
Travel
Travel and participation support
Social Events
Excursions and Side Program
Support Opportunities and Exibitions
Resources
ICSE Morning Run
Football
Sponsors and Supporters
Lunch and Coffee Break menus
Photos
Program
ICPC Program
Your Program
ICPC 2018 Program
Sun 27 May
Mon 28 May
Tracks
ICPC 2018
Technical Research
Early Research Achievement
Tool Demonstration
Industry
Organization
ICPC 2018 Committees
ICPC 2018 Organization Committee
ICPC 2018 Steering Committee
Track Committees
Technical Research
Early Research Achievement
Tool Demonstration
Industry
Contributors
People Index
Search
Series
Series
ICPC 2025
ICPC 2024
ICPC 2023
ICPC 2022
ICPC 2021
ICPC 2020
ICPC 2019
ICPC 2018
Sign in
Sign up
* ICSE 2018 *
(
series
) /
ICPC 2018
(
series
) /
Congress center Gothia Towers
/
Room information: H1 room
Venue
Congress center Gothia Towers
Room name
H1 room
Floor
2
Capacity
245
Room Information
Conference hall, capacity 245 participants, theater seating
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Wed 30 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Software Repair I
* ICSE * Journal first papers
/
* ICSE * Technical Papers
at
H1 room
Chair(s):
Lars Grunske
Humboldt-Universität zu Berlin
11:00
20m
Talk
Context-Aware Patch Generation for Better Automated Program Repair
* ICSE * Technical Papers
Ming Wen
The Hong Kong University of Science and Technology
,
Junjie Chen
Peking University
,
Rongxin Wu
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
,
Dan Hao
Peking University
,
Shing-Chi Cheung
Department of Computer Science and Engineering, The Hong Kong University of Science and Technology
Pre-print
11:20
20m
Talk
Towards Practical Program Repair with On-Demand Candidate Generation
* ICSE * Technical Papers
Jinru Hua
,
Mengshi Zhang
University of Texas at Austin, USA
,
Kaiyuan Wang
,
Sarfraz Khurshid
University of Texas at Austin
File Attached
11:40
20m
Talk
A Correlation Study between Automated Program Repair and Test-Suite Metrics
* ICSE * Journal first papers
Jooyong Yi
Innopolis University
,
Shin Hwei Tan
,
Sergey Mechtaev
National University of Singapore
,
Marcel Böhme
Monash University
,
Abhik Roychoudhury
National University of Singapore
Pre-print
12:00
20m
Talk
Do Automated Program Repair Techniques Repair Hard and Important Bugs?
* ICSE * Journal first papers
Manish Motwani
University of Massachusetts, Amherst
,
Sandhya Sankaranarayanan
,
René Just
University of Massachusetts, USA
,
Yuriy Brun
University of Massachusetts, Amherst
Link to publication
DOI
Pre-print
12:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
14:00 - 15:30
Software Repair II
* ICSE * Technical Papers
/
* ICSE * Journal first papers
at
H1 room
Chair(s):
Alessandro Orso
Georgia Tech
14:00
20m
Talk
Semantic Program Repair Using a Reference Implementation
* ICSE * Technical Papers
Sergey Mechtaev
National University of Singapore
,
Manh-Dung Nguyen
,
Yannic Noller
Humboldt-Universität zu Berlin
,
Lars Grunske
Humboldt-Universität zu Berlin
,
Abhik Roychoudhury
National University of Singapore
File Attached
14:20
20m
Talk
Automated Repair of Mobile Friendly Problems in Web Pages
* ICSE * Technical Papers
Sonal Mahajan
University of Southern California, USA
,
Negarsadat Abolhassani
,
Phil McMinn
University of Sheffield
,
William G.J. Halfond
University of Southern California
14:40
20m
Talk
Static Automated Program Repair for Heap Properties
* ICSE * Technical Papers
Rijnard van Tonder
Carnegie Mellon University
,
Claire Le Goues
Carnegie Mellon University
Pre-print
File Attached
15:00
20m
Talk
Overfitting in Semantics-based Automated Program Repair
* ICSE * Journal first papers
Xuan-Bach D. Le
Singapore Management University, Singapore
,
Ferdian Thung
,
David Lo
Singapore Management University
,
Claire Le Goues
Carnegie Mellon University
Pre-print
15:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
16:00 - 17:30
Test Generation
* ICSE * Technical Papers
at
H1 room
Chair(s):
Federica Sarro
University College London
16:00
20m
Talk
Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles
* ICSE * Technical Papers
Leonardo Mariani
University of Milano Bicocca
,
Mauro Pezzè
University of Milano-Bicocca, Italy
,
Daniele Zuddas
Pre-print
16:20
20m
Talk
Towards Optimal Concolic Testing
* ICSE * Technical Papers
Xinyu Wang
Zhejiang University
,
Jun Sun
Singapore University of Technology and Design
,
Zhenbang Chen
College of Computer, National University of Defense Technology
,
Peixin Zhang
,
Jingyi Wang
Singapore University of Technology and Design
,
Yun Lin
Pre-print
16:40
20m
Talk
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
* ICSE * Technical Papers
Yuchi Tian
,
Kexin Pei
,
Suman Jana
,
Baishakhi Ray
Columbia University, New York
17:00
20m
Talk
Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts
* ICSE * Technical Papers
Yunho Kim
KAIST
,
Yunja Choi
,
Moonzoo Kim
KAIST
17:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
Thu 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Communities and Ecosystems
* ICSE * Technical Papers
/
* ICSE * Journal first papers
at
H1 room
Chair(s):
Alexander Serebrenik
Eindhoven University of Technology
11:00
20m
Talk
How Modern News Aggregators Help Development Communities Shape and Share Knowledge
* ICSE * Technical Papers
Maurício Aniche
Delft University of Technology, Netherlands
,
Christoph Treude
The University of Adelaide
,
Igor Steinmacher
Federal University of Technology - Paraná / Northern Arizona University
,
Igor Wiese
Federal University of Technology - Paraná (UTFPR)
,
Gustavo Pinto
UFPA
,
Margaret-Anne Storey
University of Victoria
,
Marco Gerosa
Northern Arizona University
Pre-print
11:20
20m
Talk
Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem
* ICSE * Technical Papers
Asher Trockman
University of Evansville
,
Shurui Zhou
,
Christian Kästner
Carnegie Mellon University
,
Bogdan Vasilescu
Carnegie Mellon University
Pre-print
Media Attached
11:40
20m
Talk
"Was my contribution fairly reviewed?" A framework and an empirical study of fairness in Modern Code Reviews
* ICSE * Technical Papers
Daniel M. German
,
Gregorio Robles
Universidad Rey Juan Carlos
,
Germán Poo-Caamaño
,
Xin Yang
Unionbigdata.com
,
Hajimu Iida
,
Katsuro Inoue
Osaka University
Pre-print
File Attached
12:00
20m
Talk
Collaborative Model-Driven Software Engineering: a Classification Framework and a Research Map
* ICSE * Journal first papers
Mirco Franzago
University of L'Aquila, Italy
,
Ivano Malavolta
Vrije Universiteit Amsterdam
,
Davide Di Ruscio
University of L'Aquila
,
Henry Muccini
University of L'Aquila
Link to publication
DOI
Pre-print
12:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
14:00 - 15:30
Human and Social Aspects of Computing II
* ICSE * Technical Papers
at
H1 room
Chair(s):
Margaret-Anne Storey
University of Victoria
14:00
20m
Talk
Statistical Learning of API Fully Qualified Names in Code Snippets of Online Forums
* ICSE * Technical Papers
Hung Phan
,
Hoan Nguyen
Iowa State University
,
Ngoc Tran
,
Linh Truong
,
Anh Nguyen
,
Tien N. Nguyen
The University of Texas - Dallas
14:20
20m
Talk
When Not to Comment: Questions and Tradeoffs with API Documentation for C++ Projects
* ICSE * Technical Papers
Andrew Head
UC Berkeley
,
Caitlin Sadowski
Google
,
Emerson Murphy-Hill
North Carolina State University
,
Andrea Knight
Pre-print
14:40
20m
Talk
Deuce: A Lightweight User Interface for Structured Editing
* ICSE * Technical Papers
Brian Hempel
University of Chicago
,
Justin Lubin
,
Grace Lu
,
Ravi Chugh
University of Chicago
Pre-print
Media Attached
15:00
20m
Talk
From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation
* ICSE * Technical Papers
Chunyang Chen
Nanyang Technological University, Singapore
,
Ting Su
Nanyang Technological University, Singapore
,
Guozhu Meng
Nanyang Technological University, Singapore
,
Zhenchang Xing
Australia National University
,
Yang Liu
Nanyang Technological University, Singapore
Pre-print
15:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
Fri 1 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Software Comprehension
* ICSE * Journal first papers
/
* ICSE * Technical Papers
at
H1 room
Chair(s):
Margaret Burnett
Oregon State University
09:00
20m
Talk
Debugging Data Flows in Reactive Programs
* ICSE * Technical Papers
Herman Banken
,
Georgios Gousios
TU Delft
,
Erik Meijer
Pre-print
09:20
20m
Talk
Do You Remember This Source Code?
* ICSE * Technical Papers
Jacob Krüger
Harz University of Applied Sciences, Germany
,
Jens Wiemann
,
Wolfram Fenske
University of Magdeburg, Germany
,
Gunter Saake
University of Magdeburg, Germany
,
Thomas Leich
Harz University of Applied Sciences, Germany
09:40
20m
Talk
Inferring Hierarchical Motifs from Execution Traces
* ICSE * Technical Papers
Saba Alimadadi
Northeastern University
,
Ali Mesbah
University of British Columbia
,
Karthik Pattabiraman
University of British Columbia
10:00
20m
Talk
A Comparison of Program Comprehension Strategies by Blind and Sighted Programmers
* ICSE * Journal first papers
Ameer Armaly
,
Paige Rodeghero
University of Notre Dame
,
Collin McMillan
10:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
11:00 - 12:30
Code Search, Synthesis, Performance
* ICSE * Technical Papers
/
* ICSE * Journal first papers
at
H1 room
Chair(s):
Shahar Maoz
Tel Aviv University
11:00
20m
Research paper
Deep Code Search
* ICSE * Technical Papers
Xiaodong Gu
The Hong Kong University of Science and Technology
,
Hongyu Zhang
The University of Newcastle
,
Sunghun Kim
Hong Kong University of Science and Technology
Pre-print
11:20
20m
Talk
Augmenting and Structuring User Queries to Support Efficient Free-Form Code Search
* ICSE * Journal first papers
Raphaël Sirres
,
Tegawendé F. Bissyandé
University of Luxembourg, Luxembourg
,
Dongsun Kim
University of Luxembourg
,
David Lo
Singapore Management University
,
Jacques Klein
University of Luxembourg, SnT
,
Kisub Kim
University of Luxembourg, SnT
,
Yves Le Traon
University of Luxembourg
Link to publication
DOI
Pre-print
Media Attached
11:40
20m
Talk
FaCoY – A Code-to-Code Search Engine
* ICSE * Technical Papers
Kisub Kim
University of Luxembourg, SnT
,
Dongsun Kim
University of Luxembourg
,
Tegawendé F. Bissyandé
University of Luxembourg, Luxembourg
,
Eunjong Choi
Nara Institute of Science and Technology
,
Li Li
University of Luxembourg, Luxembourg
,
Jacques Klein
University of Luxembourg, SnT
,
Yves Le Traon
University of Luxembourg
Link to publication
DOI
Pre-print
Media Attached
12:00
20m
Talk
Generalized Data Structure Synthesis
* ICSE * Technical Papers
Calvin Loncaric
University of Washington
,
Michael D. Ernst
University of Washington, USA
,
Emina Torlak
University of Washington
DOI
Pre-print
Media Attached
12:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
14:00 - 15:30
Inference and Invariants
* ICSE * Technical Papers
at
H1 room
Chair(s):
Robert Feldt
Chalmers University of Technology
14:00
20m
Talk
Inferring and Asserting Distributed System Invariants
* ICSE * Technical Papers
Stewart Grant
,
Hendrik Cech
,
Ivan Beschastnikh
University of British Columbia
Link to publication
Media Attached
14:20
20m
Talk
DroidStar: Callback Typestates for Android Classes
* ICSE * Technical Papers
Arjun Radhakrishna
Microsoft
,
Nicholas Lewchenko
,
Shawn Meier
,
Sergio Mover
University of Colorado Boulder
,
Krishna Chaitanya Sripada
,
Damien Zufferey
MPI-SWS
,
Bor-Yuh Evan Chang
University of Colorado Boulder
,
Pavol Cerny
University of Colorado Boulder
14:40
20m
Talk
Debugging with Intelligence via Probabilistic Inference
* ICSE * Technical Papers
Zhaogui Xu
Nanjing University, China
,
Shiqing Ma
Purdue University, USA
,
Xiangyu Zhang
Purdue University
,
Shuofei Zhu
Nanjing University, China
,
Baowen Xu
15:00
20m
Talk
Reducer-Based Construction of Conditional Verifiers
* ICSE * Technical Papers
Dirk Beyer
LMU Munich
,
Marie-Christine Jakobs
LMU, Munich, Germany
,
Thomas Lemberger
,
Heike Wehrheim
Pre-print
File Attached
15:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
Wed 30 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
H1 room
* ICSE * Journal first papers + * ICSE * Technical Papers
Software Repair I
* ICSE * Technical Papers + * ICSE * Journal first papers
Software Repair II
* ICSE * Technical Papers
Test Generation
Thu 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
H1 room
* ICSE * Technical Papers + * ICSE * Journal first papers
Communities and Ecosystems
* ICSE * Technical Papers
Human and Social Aspects of Computing II
Fri 1 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
H1 room
* ICSE * Journal first papers + * ICSE * Technical Papers
Software Comprehension
* ICSE * Technical Papers + * ICSE * Journal first papers
Code Search, Synthesis, Performance
* ICSE * Technical Papers
Inference and Invariants
Wed 30 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
H1 room
* ICSE * Technical Papers
Context-Aware Patch Generation for Better Automated Program Repair
11:00 - 11:20
* ICSE * Technical Papers
Towards Practical Program Repair with On-Demand Candidate Generation
11:20 - 11:40
* ICSE * Journal first papers
A Correlation Study between Automated Program Repair and Test-Suite Metrics
11:40 - 12:00
* ICSE * Journal first papers
Do Automated Program Repair Techniques Repair Hard and Important Bugs?
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Semantic Program Repair Using a Reference Implementation
14:00 - 14:20
* ICSE * Technical Papers
Automated Repair of Mobile Friendly Problems in Web Pages
14:20 - 14:40
* ICSE * Technical Papers
Static Automated Program Repair for Heap Properties
14:40 - 15:00
* ICSE * Journal first papers
Overfitting in Semantics-based Automated Program Repair
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30
* ICSE * Technical Papers
Augusto: Exploiting Popular Functionalities for the Generation of Seman ...
16:00 - 16:20
* ICSE * Technical Papers
Towards Optimal Concolic Testing
16:20 - 16:40
* ICSE * Technical Papers
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
16:40 - 17:00
* ICSE * Technical Papers
Precise Concolic Unit Testing of C Programs with Alarm Filtering Using ...
17:00 - 17:20
* ICSE * Technical Papers
Q&A in groups
17:20 - 17:30
Thu 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
H1 room
* ICSE * Technical Papers
How Modern News Aggregators Help Development Communities Shape and Shar ...
11:00 - 11:20
* ICSE * Technical Papers
Adding Sparkle to Social Coding: An Empirical Study of Repository Badge ...
11:20 - 11:40
* ICSE * Technical Papers
"Was my contribution fairly reviewed?" A framework and an empirical stu ...
11:40 - 12:00
* ICSE * Journal first papers
Collaborative Model-Driven Software Engineering: a Classification Frame ...
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Statistical Learning of API Fully Qualified Names in Code Snippets of O ...
14:00 - 14:20
* ICSE * Technical Papers
When Not to Comment: Questions and Tradeoffs with API Documentation for ...
14:20 - 14:40
* ICSE * Technical Papers
Deuce: A Lightweight User Interface for Structured Editing
14:40 - 15:00
* ICSE * Technical Papers
From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bo ...
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30
Fri 1 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
H1 room
* ICSE * Technical Papers
Debugging Data Flows in Reactive Programs
09:00 - 09:20
* ICSE * Technical Papers
Do You Remember This Source Code?
09:20 - 09:40
* ICSE * Technical Papers
Inferring Hierarchical Motifs from Execution Traces
09:40 - 10:00
* ICSE * Journal first papers
A Comparison of Program Comprehension Strategies by Blind and Sighted P ...
10:00 - 10:20
* ICSE * Technical Papers
Q&A in groups
10:20 - 10:30
* ICSE * Technical Papers
Deep Code Search
11:00 - 11:20
* ICSE * Journal first papers
Augmenting and Structuring User Queries to Support Efficient Free-Form ...
11:20 - 11:40
* ICSE * Technical Papers
FaCoY – A Code-to-Code Search Engine
11:40 - 12:00
* ICSE * Technical Papers
Generalized Data Structure Synthesis
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Inferring and Asserting Distributed System Invariants
14:00 - 14:20
* ICSE * Technical Papers
DroidStar: Callback Typestates for Android Classes
14:20 - 14:40
* ICSE * Technical Papers
Debugging with Intelligence via Probabilistic Inference
14:40 - 15:00
* ICSE * Technical Papers
Reducer-Based Construction of Conditional Verifiers
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30
x
Thu 12 Dec 00:30