Write a Blog >>
SEAMS 2018
Mon 28 - Tue 29 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *
VenueCongress center Gothia Towers
Room nameH1 room
Floor2
Capacity245
Additional information

Conference hall, capacity 245 participants, theater seating

Program

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

Wed 30 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Software Repair I* ICSE * Technical Papers / * ICSE * Journal first papers at H1 room
Chair(s): Lars GrunskeHumboldt-Universität zu Berlin
11:00 - 11:20
Talk
Context-Aware Patch Generation for Better Automated Program Repair
* ICSE * Technical Papers
Ming WenThe Hong Kong University of Science and Technology, Junjie ChenPeking University, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Dan HaoPeking University, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology
Pre-print
11:20 - 11:40
Talk
Towards Practical Program Repair with On-Demand Candidate Generation
* ICSE * Technical Papers
Jinru Hua, Mengshi ZhangUniversity of Texas at Austin, USA, Kaiyuan Wang, Sarfraz KhurshidUniversity of Texas at Austin
File Attached
11:40 - 12:00
Talk
A Correlation Study between Automated Program Repair and Test-Suite Metrics
* ICSE * Journal first papers
Jooyong YiInnopolis University, Shin Hwei Tan, Sergey MechtaevNational University of Singapore, Marcel BöhmeMonash University, Abhik RoychoudhuryNational University of Singapore
Pre-print
12:00 - 12:20
Talk
Do Automated Program Repair Techniques Repair Hard and Important Bugs?
* ICSE * Journal first papers
Manish MotwaniUniversity of Massachusetts, Amherst, Sandhya Sankaranarayanan, René JustUniversity of Massachusetts, USA, Yuriy BrunUniversity of Massachusetts, Amherst
Link to publication DOI Pre-print
12:20 - 12:30
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 OrsoGeorgia Tech
14:00 - 14:20
Talk
Semantic Program Repair Using a Reference Implementation
* ICSE * Technical Papers
Sergey MechtaevNational University of Singapore, Manh-Dung Nguyen, Yannic NollerHumboldt-Universität zu Berlin, Lars GrunskeHumboldt-Universität zu Berlin, Abhik RoychoudhuryNational University of Singapore
File Attached
14:20 - 14:40
Talk
Automated Repair of Mobile Friendly Problems in Web Pages
* ICSE * Technical Papers
Sonal MahajanUniversity of Southern California, USA, Negarsadat Abolhassani, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
14:40 - 15:00
Talk
Static Automated Program Repair for Heap PropertiesAward
* ICSE * Technical Papers
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
Pre-print File Attached
15:00 - 15:20
Talk
Overfitting in Semantics-based Automated Program Repair
* ICSE * Journal first papers
Xuan-Bach D. LeSingapore Management University, Singapore, Ferdian Thung, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University
Pre-print
15:20 - 15:30
Talk
Q&A in groups
* ICSE * Technical Papers
16:00 - 17:30: Test Generation* ICSE * Technical Papers at H1 room
Chair(s): Federica SarroUniversity College London
16:00 - 16:20
Talk
Augusto: Exploiting Popular Functionalities for the Generation of Semantic GUI Tests with Oracles
* ICSE * Technical Papers
Leonardo MarianiUniversity of Milano Bicocca, Mauro PezzèUniversity of Milano-Bicocca, Italy, Daniele Zuddas
Pre-print
16:20 - 16:40
Talk
Towards Optimal Concolic TestingAward
* ICSE * Technical Papers
Xinyu WangZhejiang University, Jun SunSingapore University of Technology and Design, Zhenbang ChenCollege of Computer, National University of Defense Technology, Peixin Zhang, Jingyi WangSingapore University of Technology and Design, Yun Lin
Pre-print
16:40 - 17:00
Talk
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
* ICSE * Technical Papers
Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi RayColumbia University, New York
17:00 - 17:20
Talk
Precise Concolic Unit Testing of C Programs with Alarm Filtering Using Symbolic Calling Contexts
* ICSE * Technical Papers
17:20 - 17:30
Talk
Q&A in groups
* ICSE * Technical Papers

Thu 31 May
Times are displayed in 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 SerebrenikEindhoven University of Technology
11:00 - 11:20
Talk
How Modern News Aggregators Help Development Communities Shape and Share Knowledge
* ICSE * Technical Papers
Mauricio AnicheDelft University of Technology, Netherlands, Christoph TreudeThe University of Adelaide, Igor SteinmacherFederal University of Technology - Paraná / Northern Arizona University, Igor WieseFederal University of Technology - Paraná (UTFPR), Gustavo PintoUFPA, Margaret-Anne StoreyUniversity of Victoria, Marco GerosaNorthern Arizona University
Pre-print
11:20 - 11:40
Talk
Adding Sparkle to Social Coding: An Empirical Study of Repository Badges in the npm Ecosystem
* ICSE * Technical Papers
Asher TrockmanUniversity of Evansville, Shurui ZhouCarnegie Mellon University, USA, Christian K{\"a}stnerCarnegie Mellon University, Bogdan VasilescuCarnegie Mellon University
Pre-print Media Attached
11:40 - 12:00
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 RoblesUniversidad Rey Juan Carlos, Germán Poo-Caamaño, Xin YangUnionbigdata.com, Hajimu Iida, Katsuro InoueOsaka University
Pre-print File Attached
12:00 - 12:20
Talk
Collaborative Model-Driven Software Engineering: a Classification Framework and a Research Map
* ICSE * Journal first papers
Mirco FranzagoUniversity of L'Aquila, Italy, Ivano MalavoltaVrije Universiteit Amsterdam, Davide Di RuscioUniversity of L'Aquila, Henry MucciniUniversity of L'Aquila
Link to publication DOI Pre-print
12:20 - 12:30
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 StoreyUniversity of Victoria
14:00 - 14:20
Talk
Statistical Learning of API Fully Qualified Names in Code Snippets of Online Forums
* ICSE * Technical Papers
Hung Phan, Hoan NguyenIowa State University, Ngoc Tran, Linh Truong, Anh Nguyen, Tien N. NguyenThe University of Texas - Dallas
14:20 - 14:40
Talk
When Not to Comment: Questions and Tradeoffs with API Documentation for C++ Projects
* ICSE * Technical Papers
Andrew HeadUC Berkeley, Caitlin SadowskiGoogle, Emerson Murphy-HillNorth Carolina State University, Andrea Knight
Pre-print
14:40 - 15:00
Talk
Deuce: A Lightweight User Interface for Structured Editing
* ICSE * Technical Papers
Brian HempelUniversity of Chicago, Justin Lubin, Grace Lu, Ravi ChughUniversity of Chicago
Pre-print Media Attached
15:00 - 15:20
Talk
From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation
* ICSE * Technical Papers
Chunyang ChenNanyang Technological University, Singapore, Ting SuNanyang Technological University, Singapore, Guozhu MengNanyang Technological University, Singapore, Zhenchang XingAustralia National University, Yang LiuNanyang Technological University, Singapore
Pre-print
15:20 - 15:30
Talk
Q&A in groups
* ICSE * Technical Papers

Fri 1 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Software Comprehension* ICSE * Technical Papers / * ICSE * Journal first papers at H1 room
Chair(s): Margaret BurnettOregon State University
09:00 - 09:20
Talk
Debugging Data Flows in Reactive Programs
* ICSE * Technical Papers
Pre-print
09:20 - 09:40
Talk
Do You Remember This Source Code?
* ICSE * Technical Papers
Jacob KrügerHarz University of Applied Sciences, Germany, Jens Wiemann, Wolfram FenskeUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany, Thomas LeichHarz University of Applied Sciences, Germany
09:40 - 10:00
Talk
Inferring Hierarchical Motifs from Execution Traces
* ICSE * Technical Papers
Saba AlimadadiNortheastern University, Ali MesbahUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
10:00 - 10:20
Talk
A Comparison of Program Comprehension Strategies by Blind and Sighted Programmers
* ICSE * Journal first papers
10:20 - 10:30
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 MaozTel Aviv University
11:00 - 11:20
Research paper
Deep Code Search
* ICSE * Technical Papers
Xiaodong GuThe Hong Kong University of Science and Technology, Hongyu ZhangThe University of Newcastle, Sunghun KimHong Kong University of Science and Technology
Pre-print
11:20 - 11:40
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 KimUniversity of Luxembourg, David LoSingapore Management University, Jacques KleinUniversity of Luxembourg, SnT, Kisub KimUniversity of Luxembourg, SnT, Yves Le TraonUniversity of Luxembourg
Link to publication DOI Pre-print Media Attached
11:40 - 12:00
Talk
FaCoY – A Code-to-Code Search Engine
* ICSE * Technical Papers
Kisub KimUniversity of Luxembourg, SnT, Dongsun KimUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Eunjong ChoiNara Institute of Science and Technology, Li LiUniversity of Luxembourg, Luxembourg, Jacques KleinUniversity of Luxembourg, SnT, Yves Le TraonUniversity of Luxembourg
Link to publication DOI Pre-print Media Attached
12:00 - 12:20
Talk
Generalized Data Structure SynthesisAward
* ICSE * Technical Papers
Calvin LoncaricUniversity of Washington, Michael D. ErnstUniversity of Washington, USA, Emina TorlakUniversity of Washington
DOI Pre-print Media Attached
12:20 - 12:30
Talk
Q&A in groups
* ICSE * Technical Papers
14:00 - 15:30: Inference and Invariants* ICSE * Technical Papers at H1 room
Chair(s): Robert FeldtChalmers University of Technology
14:00 - 14:20
Talk
Inferring and Asserting Distributed System Invariants
* ICSE * Technical Papers
Stewart Grant, Hendrik Cech, Ivan BeschastnikhUniversity of British Columbia
Link to publication Media Attached
14:20 - 14:40
Talk
DroidStar: Callback Typestates for Android Classes
* ICSE * Technical Papers
Arjun RadhakrishnaMicrosoft, Nicholas Lewchenko, Shawn Meier, Sergio MoverUniversity of Colorado Boulder, Krishna Chaitanya Sripada, Damien ZuffereyMPI-SWS, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Pavol CernyUniversity of Colorado Boulder
14:40 - 15:00
Talk
Debugging with Intelligence via Probabilistic Inference
* ICSE * Technical Papers
Zhaogui XuNanjing University, China, Shiqing MaPurdue University, USA, Xiangyu ZhangPurdue University, Shuofei ZhuNanjing University, China, Baowen Xu
15:00 - 15:20
Talk
Reducer-Based Construction of Conditional Verifiers
* ICSE * Technical Papers
Pre-print File Attached
15:20 - 15:30
Talk
Q&A in groups
* ICSE * Technical Papers

Wed 30 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 30 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change