VenueWyndham Lake Buena Vista Disney Springs Resort
Room nameHorizons 10-11
Floor0
Room InformationNo extra information available
Program

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

Conference Day
Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Concurrency and RacesResearch Papers at Horizons 10-11
Chair(s): Willem VisserStellenbosch University
10:30
22m
Talk
CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Research Papers
JieLu , Feng LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Xiaobing FengICT CAS
10:52
22m
Talk
Testing Multithreaded Programs via Thread Speed Control
Research Papers
Dongjie Chen, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University
11:15
22m
Talk
Data Race Detection on Compressed Traces
Research Papers
Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
11:37
22m
Talk
Practical AJAX Race Detection for JavaScript Web Applications
Research Papers
Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Saba AlimadadiNortheastern University, Frank TipNortheastern University
13:30 - 15:00
PerformanceResearch Papers / Journal-First at Horizons 10-11
Chair(s): Zhendong SuETH Zurich
13:30
22m
Talk
CHiP: A Configurable Hybrid Parallel Covering Array Constructor
Journal-First
DOI
13:52
22m
Talk
Learning to Sample: Exploiting Similarities Across Environments to Learn Performance Models for Configurable Systems
Research Papers
Pooyan JamshidiUniversity of South Carolina, Miguel VelezCarnegie Mellon University, USA, Christian KaestnerCarnegie Mellon University, Norbert SiegmundBauhaus-University Weimar
14:15
22m
Talk
Performance Comprehension at WiredTiger
Research Papers
Alexandra (Sasha) FedorovaUniversity of British Columbia, Craig MustardUniversity of British Columbia, Canada, Ivan BeschastnikhComputer Science, University of British Columbia, Julia RubinUniversity of British Columbia, Augustine WongUniversity of British Columbia, Canada, Svetozar MiucinUniversity of British Columbia, Canada, Louis YeUniversity of British Columbia, Canada
14:37
22m
Talk
MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Research Papers
Junhee LeeKorea University, South Korea, Seongjoon HongKorea University, Hakjoo OhKorea University
15:30 - 17:00
Developer StudiesResearch Papers / Journal-First at Horizons 10-11
Chair(s): Thomas LaTozaGeorge Mason University
15:30
22m
Talk
Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code
Journal-First
DOI
15:52
22m
Talk
How Do Developers Utilize Source Code from Stack Overflow?
Journal-First
Yuhao Wu, Shaowei WangQueen's University, Cor-Paul BezemerUniversity of Alberta, Canada, Katsuro InoueOsaka University
DOI
16:15
22m
Talk
Towards a Theory of Software Development Expertise
Research Papers
Sebastian BaltesUniversity of Trier, Stephan DiehlComputer Science, University Trier, Germany
Pre-print
16:37
22m
Full-paper
What Makes a Code Change Easier to Review? An Empirical Investigation on Code Change Reviewability
Research Papers
Achyudh RamUniversity of Waterloo, Anand Ashok SawantDelft University of Technology, Marco CastelluccioMozilla Foundation, UK, Alberto BacchelliUniversity of Zurich
Link to publication DOI Pre-print Media Attached
17:15 - 18:45
SIGSOFT Town Hall MeetingSocial at Horizons 10-11
17:15
90m
Meeting
SIGSOFT Town Hall Meeting
Social
Thomas ZimmermannMicrosoft Research

Conference Day
Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Mobile AppsResearch Papers / Journal-First at Horizons 10-11
Chair(s): Shane McIntoshMcGill University
10:30
22m
Talk
Getting the Most from Map Data Structures in Android
Journal-First
Rubén Saborido InfantesDepartment of Computer Science and Software Engineering, Concordia University, Montreal, Rodrigo MoralesConcordia University, Foutse KhomhPolytechnique Montréal, Yann-Gaël GuéhéneucConcordia University and Polytechnique Montréal, Giuliano AntoniolPolytechnique Montréal
DOI
10:52
22m
Talk
Successes, Challenges, and Rethinking – An Industrial Investigation on Crowdsourced Mobile Application Testing
Journal-First
Ruizhi Gao, Yabin Wang, Yang FengUniversity of California, Irvine, Zhenyu ChenNanjing University, W. Eric Wong
DOI
11:15
22m
Talk
AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests
Research Papers
Gang HuColumbia University, USA, Linjie Zhu, Junfeng YangColumbia University
11:37
22m
Talk
Winning the App Production Rally
Research Papers
Ehsan NoeiUniversity of Toronto, Daniel Alencar Da Costa Queen's University, Kingston, Ontario, Ying ZouQueen's University, Kingston, Ontario
13:30 - 15:00
Software Maintenance IResearch Papers / Journal-First at Horizons 10-11
Chair(s): Christian BirdMicrosoft Research
13:30
22m
Talk
Use and Misuse of Continuous Integration Features: An Empirical Study of Projects that (mis)use Travis CI
Journal-First
Keheliya GallabaMcGill University, Shane McIntoshMcGill University
DOI
13:52
22m
Research paper
One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows
Research Papers
Yang ZhangNational University of Defense Technology, China, Bogdan VasilescuCarnegie Mellon University, Huaimin Wang, Vladimir FilkovUniversity of California at Davis, USA
Pre-print
14:15
22m
Talk
Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data
Research Papers
Feifei TuPeking University, China, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Qimu ZhengPeking University, China, Minghui ZhouPeking University
14:37
22m
Talk
Do the Dependency Conflicts in My Project Matter?
Research Papers
Ying WangNortheastern University, China, Ming WenThe Hong Kong University of Science and Technology, Zhenwei LiuNortheastern University, China, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Rui WangNortheastern University, China, Bo YangNortheastern University, China, Hai YuNortheastern University, China, Zhiliang ZhuNortheastern University, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology
15:30 - 17:00
Symbolic Execution and Constraint SolvingResearch Papers at Horizons 10-11
Chair(s): Satish ChandraFacebook
15:30
22m
Talk
Concurrency Verification with Maximal Path Causality
Research Papers
Qiuping YiTexas A&M University, Jeff HuangTexas A&M University
15:52
22m
Talk
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Research Papers
Shengjian (Daniel) GuoVirginia Tech, Meng WuVirginia Tech, Chao WangUSC
16:15
22m
Talk
Symbolic Execution with Existential Second-Order Constraints
Research Papers
Sergey MechtaevNational University of Singapore, Alberto GriggioFondazione Bruno Kessler, Alessandro CimattiFondazione Bruno Kessler, Abhik RoychoudhuryNational University of Singapore
DOI Pre-print
16:37
22m
Talk
Parameterized Model Counting for String and Numeric Constraints
Research Papers
Abdulbaki AydinMicrosoft, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tegan Brennan, Miroslav GavrilovUniversity of California at Santa Barbara, USA, Tevfik BultanUniversity of California, Santa Barbara, Fang YuNational Chengchi University

Conference Day
Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
ModelsResearch Papers / Journal-First at Horizons 10-11
Chair(s): Maurício AnicheDelft University of Technology, Netherlands
10:30
22m
Talk
The modular and feature toggle architectures of Google Chrome
Journal-First
DOI
10:52
22m
Talk
Applications of Psychological Science for Actionable Analytics
Research Papers
Di ChenNorth Carolina State University, USA, Wei Fu, Rahul KrishnaNC State University, Tim MenziesNorth Carolina State University
11:15
22m
Talk
Putback-Based Bidirectional Model Transformations
Research Papers
Xiao HeUniversity of Science and Technology Beijing, China, Zhenjiang HuNational Institute of Informatics
11:37
22m
Talk
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
Research Papers
Regina HebigChalmers University of Technology & University of Gothenburg, Christoph SeidlTechnische Universität Braunschweig, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, John Kook PedersenIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark
13:30 - 15:00
Software Maintenance IIResearch Papers / Journal-First at Horizons 10-11
Chair(s): Emerson Murphy-HillNorth Carolina State University
13:30
22m
Talk
Automating Change-level Self-admitted Technical Debt Determination
Journal-First
Meng Yan, Xin XiaMonash University, Emad ShihabConcordia University, David LoSingapore Management University, Jianwei Yin, Xiaohu Yang
DOI
13:52
22m
Talk
Large-Scale Study of Substitutability in the Presence of Effects
Research Papers
Jackson MaddoxIowa State University, USA, Yuheng LongIowa State University, Hridesh RajanIowa State University
14:15
22m
Talk
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Research Papers
Yu GaoInstitute of Software, Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Feng QinOhio State University, USA, Chushu GaoInstitute of Software, Chinese Academy of Sciences, Dong WangInstitute of Software at Chinese Academy of Sciences, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Ruirui HuangAlibaba Group, China, Li ZhouAlibaba Group, China, Yongming WuAlibaba Group, China
14:37
22m
Talk
Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
Research Papers
Thanh NguyenIowa State University, Ngoc Tran, Hung Phan, Trong NguyenIowa State University, USA, Linh Truong, Trong NguyenIowa State University, USA, Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas
15:30 - 17:00
Ecosystems and CrowdsourcingJournal-First / Research Papers at Horizons 10-11
Chair(s): Peter RigbyConcordia University, Montreal, Canada
15:30
22m
Talk
Comparison of release engineering practices in a large mature company and a startup
Journal-First
Eero Laukkanen, Maria PaasivaaraIT University of Copenhagen, Denmark & Aalto University, Finland, Juha Itkonen, Casper LasseniusAalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway
DOI
15:52
22m
Talk
Microtask Programming
Journal-First
Thomas LaTozaGeorge Mason University, Arturo Di Lecce, Fabio Ricci, W. Ben Towne, Andre van der Hoek University of California, Irvine
DOI
16:14
22m
Talk
Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem
Research Papers
Marat ValievCarnegie Mellon University, USA, Bogdan VasilescuCarnegie Mellon University, Jim HerbslebCarnegie Mellon University

Conference Day
Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Conference Day
Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change