Zurich II - SALAD 2018

VenueMövenpick Hotel Amsterdam City Centre

Room nameZurich II

Floor0

Capacity50

Room InformationNo extra information available

Program

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, ViennaSelect other time zone

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 programSpecify 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

Mon 16 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Welcome & Keynote: TorlakISSTA Keynotes at Zurich II Chair(s): Frank Tip Northeastern University

09:00 15m		Welcome ISSTA Keynotes Tijs van der Storm CWI, Frank Tip Northeastern University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:15 60m Talk		Solver-Aided Programming for All ISSTA Keynotes Emina Torlak University of Washington

11:00 - 12:30	Secure and SoundISSTA Technical Papers at Zurich II Chair(s): Cristian Cadar Imperial College London

11:00 20m Talk		Lightweight Verification of Array Indexing ISSTA Technical Papers Martin Kellogg University of Washington, Seattle, Vlastimil Dort Charles University, Suzanne Millstein University of Washington, Michael D. Ernst University of Washington, USA
11:20 20m Talk		Eliminating Timing Side-channel Leaks Using Program Repair ISSTA Technical Papers Meng Wu Virginia Tech, Shengjian (Daniel) Guo Virginia Tech, Patrick Schaumont Virginia Tech, Chao Wang University of Southern California
11:40 20m Talk		Symbolic Path Cost Analysis for Side-Channel Detection ISSTA Technical Papers Tegan Brennan , Seemanta Saha University of California Santa Barbara, Tevfik Bultan University of California, Santa Barbara, Corina S. Păsăreanu NASA Ames Research Center
12:00 20m Talk		Safe and Sound Program Analysis with Flix ISSTA Technical Papers Magnus Madsen Aalborg University, Ondřej Lhoták University of Waterloo, Canada
12:20 10m		Q&A in groups ISSTA Technical Papers

14:00 - 15:30	Testing and Fault LocalizationISSTA Technical Papers at Zurich II Chair(s): Cindy Rubio-González University of California, Davis

14:00 20m Talk		Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach ISSTA Technical Papers Seung Yeob Shin SnT Centre/University of Luxembourg, Shiva Nejati SnT Centre/University of Luxembourg, Mehrdad Sabetzadeh SnT Centre/University of Luxembourg, Lionel C. Briand SnT Centre/University of Luxembourg, Frank Zimmer SES Techcom
14:20 20m Talk		Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization ISSTA Technical Papers Jaekwon Lee University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Woosung Jung Seoul National University of Education, Yves Le Traon University of Luxembourg
14:40 20m Talk		Automated Test Mapping and Coverage for Network Topologies ISSTA Technical Papers Per Erik Strandberg Westermo Research and Development AB, Thomas Ostrand , Elaine Weyuker Mälardalen University, Daniel Sundmark Mälardalen University, Wasif Afzal Mälardalen University
15:00 20m Talk		Evaluating Test-Suite Reduction in Real-World Software Evolution ISSTA Technical Papers August Shi University of Illinois at Urbana-Champaign, Alex Gyori Facebook, Muhammad Suleman Mahmood University of Illinois at Urbana-Champaign, Peiyuan Zhao University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign
15:20 10m		Q&A in groups ISSTA Technical Papers

16:00 - 17:30	Machine LearningISSTA Technical Papers at Zurich II Chair(s): Alex Orso Georgia Institute of Technology

16:00 20m Talk		Compiler Fuzzing through Deep Learning ISSTA Technical Papers Chris Cummins University of Edinburgh, Pavlos Petoumenos University of Edinburgh, Alastair Murray Codeplay Software, Hugh Leather University of Edinburgh
16:20 20m Talk		Deep Specification Mining ISSTA Technical Papers Tien-Duy B. Le School of Information Systems, Singapore Management University, David Lo Singapore Management University
16:40 20m Talk		Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing ISSTA Technical Papers Anurag Dwarakanath Accenture Labs, Manish Ahuja Accenture Labs, Samarth Sikand Accenture Labs, Raghotham M Rao Accenture Labs, R.P. Jagadeesh Chandra Bose Accenture Labs, Neville Dubash Accenture Labs, Sanjay Podder
17:00 20m Talk		An Empirical Study on TensorFlow Program Bugs ISSTA Technical Papers Yuhao Zhang Peking University, Yifan Chen Peking University, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Yingfei Xiong Peking University, Lu Zhang Peking University Pre-print
17:20 10m		Q&A in groups ISSTA Technical Papers

Tue 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	MobileISSTA Technical Papers at Zurich II Chair(s): Andreas Zeller Saarland University

09:00 20m Talk		Automatically Translating Bug Reports into Test Cases for Mobile Apps ISSTA Technical Papers Mattia Fazzini Georgia Institute of Technology, Martin Prammer Georgia Institute of Technology, Marcelo d'Amorim Federal University of Pernambuco, Alessandro Orso Georgia Tech
09:20 20m Talk		CiD: Automating the Detection of API-related Compatibility Issues in Android Apps ISSTA Technical Papers Li Li Monash University, Australia, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Haoyu Wang , Jacques Klein University of Luxembourg, SnT
09:40 20m Talk		Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments ISSTA Technical Papers Farnaz Behrang Georgia Institute of Technology, Alessandro Orso Georgia Tech
10:00 20m Talk		Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe ISSTA Technical Papers Lina Qiu University of British Columbia, Yingying Wang , Julia Rubin University of British Columbia
10:20 10m		Q&A in groups ISSTA Technical Papers

11:00 - 12:30	Static AnalysisISSTA Technical Papers at Zurich II Chair(s): Karim Ali University of Alberta

11:00 20m Talk		Repositioning of Static Analysis Alarms ISSTA Technical Papers Tukaram Muske Tata Consultancy Services Ltd, Rohith Talluri Tata Consultancy Services Ltd, Alexander Serebrenik Eindhoven University of Technology
11:20 20m Talk		Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots ISSTA Technical Papers Neville Grech University of Athens, George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens
11:40 20m Talk		Static Analysis of Java Dynamic Proxies ISSTA Technical Papers George Fourtounis University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens
12:00 20m Talk		Practical Detection of Concurrency Issues at Coding Time ISSTA Technical Papers Luc Bläser Hochschule für Technik Rapperswil
12:20 10m		Q&A in groups ISSTA Technical Papers

14:00 - 15:30	Keynote: Visser, Khurshid, and Pasareanu & AwardsISSTA Keynotes at Zurich II Chair(s): Tevfik Bultan University of California, Santa Barbara, Frank Tip Northeastern University

14:00 60m Talk		Test input generation with Java PathFinder: Then and Now ISSTA Keynotes Willem Visser Stellenbosch University, Sarfraz Khurshid University of Texas at Austin, Corina S. Păsăreanu NASA Ames Research Center
15:00 7m		Impact Paper Awards ISSTA Keynotes Tevfik Bultan University of California, Santa Barbara
15:07 7m		Distinguished Paper Awards ISSTA Keynotes Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
15:14 7m Talk		Distinguished Artifact Award ISSTA Keynotes Nico Rosner University of California, Santa Barbara, Ben Hermann University of Paderborn
15:21 7m		Best Tool Demonstration Award ISSTA Keynotes Hamid Bagheri University of Nebraska-Lincoln, USA, Kathryn Stolee North Carolina State University

16:00 - 17:30	Test and Oracle GenerationISSTA Technical Papers at Zurich II Chair(s): Sarfraz Khurshid University of Texas at Austin

16:00 20m Talk		Tests from Traces: Automated Unit Test Extraction for R ISSTA Technical Papers Filip Křikava Czech Technical University, Jan Vitek Northeastern University
16:20 20m Talk		Translating Code Comments to Procedure Specifications ISSTA Technical Papers Arianna Blasi Università della Svizzera italiana (USI) and IMDEA Software Institute, Alberto Goffi Università della Svizzera italiana (USI), Konstantin Kuznetsov Saarland University, CISPA, Alessandra Gorla IMDEA Software Institute, Michael D. Ernst University of Washington, USA, Mauro Pezzè University of Milano-Bicocca, Italy, Sergio Delgado Castellanos IMDEA Software Institute
16:40 20m Talk		PerfFuzz: Automatically Generating Pathological Inputs ISSTA Technical Papers Caroline Lemieux University of California, Berkeley, Rohan Padhye University of California, Berkeley, Koushik Sen University of California, Berkeley, Dawn Song
17:20 10m		Q&A in groups ISSTA Technical Papers

Wed 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Keynote: Ernst & ISSTA 2019 PreviewISSTA Keynotes at Zurich II Chair(s): Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

09:00 60m Talk		Pluggable Type Systems Reconsidered ISSTA Keynotes Michael D. Ernst University of Washington, USA
10:00 30m		ISSTA 2019 Preview ISSTA Keynotes Anders Møller Aarhus University, Dongmei Zhang Microsoft Research, China

11:00 - 12:30	Porting and RepairISSTA Technical Papers at Zurich II Chair(s): Julian Dolby IBM Thomas J. Watson Research Center

11:00 20m Talk		Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications ISSTA Technical Papers Mohammad M. Almasi University of Manitoba, Hadi Hemmati University of Calgary, Gordon Fraser University of Passau, Phil McMinn University of Sheffield, Janis Benefelds SEB Life and Pensions Holding AB
11:20 20m Talk		Making Data-Driven Porting Decisions with Tuscan ISSTA Technical Papers Kareem Khazem University College London, Earl T. Barr University College London, Petr Hosek Google, Inc.
11:40 20m Talk		Comparing developer-provided to user-provided tests for fault localization and automated program repair ISSTA Technical Papers René Just University of Massachusetts, USA, Chris Parnin NCSU, Ian Drosos University of California, San Diego, Michael D. Ernst University of Washington, USA
12:00 20m Talk		Shaping Program Repair Space with Existing Patches and Similar Code ISSTA Technical Papers Jiajun Jiang Peking University, Yingfei Xiong Peking University, Hongyu Zhang The University of Newcastle, Qing Gao Peking University, Xiangqun Chen Peking University Pre-print
12:20 10m		Q&A in groups ISSTA Technical Papers

14:00 - 15:30	Optimization and PerformanceISSTA Technical Papers at Zurich II Chair(s): Tevfik Bultan University of California, Santa Barbara

14:00 20m Talk		Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications ISSTA Technical Papers Yingjun Lyu University of Southern California, Ding Li NEC Labs, William G.J. Halfond University of Southern California
14:20 20m Talk		Badger: Complexity Analysis with Fuzzing and Symbolic Execution ISSTA Technical Papers Yannic Noller Humboldt-Universität zu Berlin, Rody Kersten Synopsys, Inc., Corina S. Păsăreanu NASA Ames Research Center
14:40 20m Talk		Exploiting Community Structure for Floating-Point Precision Tuning ISSTA Technical Papers Hui Guo University of California, Davis, Cindy Rubio-González University of California, Davis
15:00 20m Talk		piCoq: Parallel Regression Proving for Large-Scale Verification Projects ISSTA Technical Papers Karl Palmskog University of Texas at Austin, Ahmet Celik University of Texas at Austin, USA, Milos Gligoric University of Texas at Austin
15:20 10m		Q&A in groups ISSTA Technical Papers

16:00 - 17:00	Tool DemosISSTA Tool Demonstrations at Zurich II Chair(s): Saba Alimadadi Northeastern University

16:00 10m		Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs ISSTA Tool Demonstrations Jan Fiedor Brno University of Technology, Monika Mužikovská Brno University of Technology, Aleš Smrčka Brno University of Technology, Ondřej Vašíček Brno University of Technology, Tomáš Vojnar Brno University of Technology
16:10 10m		LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps ISSTA Tool Demonstrations Jiwei Yan Institute of Software, Chinese Academy of Sciences, Linjie Pan Institute of Software, Chinese Academy of Sciences, Yaqi Li Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Beihang University
16:20 10m		Managing Concurrent Testing of Data Race with ComRaDe ISSTA Tool Demonstrations Jian Gao School of Software, Tsinghua University, Xin Yang , Yu Jiang , Han Liu , Weiliang Ying , Wanting Sun Beijing University of Posts and Telecommunications, Ming Gu
16:30 10m		OASIs: Oracle Assessment and Improvement Tool ISSTA Tool Demonstrations Gunel Jahangirova Fondazione Bruno Kessler & University College London, David Clark University College London, Mark Harman Facebook and University College London, Paolo Tonella Fondazione Bruno Kessler
16:40 10m		Mutode: Generic JavaScript and Node.js Mutation Testing Tool ISSTA Tool Demonstrations Diego Rodríguez-Baquero Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
16:50 10m		MalViz: An Interactive Visualization Tool for Tracing Malware ISSTA Tool Demonstrations Vinh The Nguyen Texas Tech University, Tommy Dang Texas Tech University, Akbar Siami Namin Texas Tech University

Thu 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Welcome & Keynote: De MoorECOOP Keynotes at Zurich II Chair(s): Frank Tip Northeastern University

09:00 15m		Welcome ECOOP Keynotes Tijs van der Storm CWI, Frank Tip Northeastern University, Todd Millstein University of California, Los Angeles
09:15 60m Talk		Program Analysis for Everyone ECOOP Keynotes Oege de Moor Semmle

11:00 - 12:40	Asynchrony and ConcurrencyECOOP Research Papers at Zurich II Chair(s): Todd Millstein University of California, Los Angeles

11:00 25m Research paper		Fault-tolerant Distributed Reactive Programming ECOOP Research Papers Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Philipps-Universität Marburg, Guido Salvaneschi TU Darmstadt, Bernd Freisleben Philipps-Universität Marburg, Mira Mezini TU Darmstadt DOI
11:25 25m Research paper		ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions ECOOP Research Papers Hiroaki Inoue Mitsubishi Electric Corporation, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Atsushi Igarashi Kyoto University, Japan DOI
11:50 25m Research paper		Theory and Practice of Coroutines with Snapshots ECOOP Research Papers Aleksandar Prokopec Oracle Labs, Fengyun Liu EPFL, Switzerland DOI
12:15 25m Research paper		A Concurrent Specification of POSIX File Systems ECOOP Research Papers Gian Ntzik Imperial College London, Pedro da Rocha Pinto Imperial College London, Julian Sutherland Imperial College London, Philippa Gardner Imperial College London DOI

13:50 - 15:30	TestingECOOP Research Papers at Zurich II Chair(s): Alastair F. Donaldson Imperial College London

13:50 25m Research paper		A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects ECOOP Research Papers Wing Lam University of Illinois at Urbana-Champaign, Siwakorn Srisakaokul University of Illinois at Urbana-Champaign, USA, Blake Bassett University of Illinois at Urbana-Champaign, USA, Peyman Mahdian University of Illinois at Urbana-Champaign, USA, Tao Xie , Pratap Lakshman Microsoft, India, Peli de Halleux Microsoft Research DOI
14:15 25m Research paper		Learning to Accelerate Symbolic Execution via Code Transformation ECOOP Research Papers Junjie Chen Peking University, Wenxiang Hu Peking University, Lingming Zhang , Dan Hao Peking University, Sarfraz Khurshid University of Texas at Austin, Lu Zhang Peking University DOI
14:40 25m Research paper		Type Regression Testing to Detect Breaking Changes in Node.js Libraries ECOOP Research Papers Gianluca Mezzetti Aarhus University, Denmark, Anders Møller Aarhus University, Martin Toldam Torp Aarhus University DOI
15:05 25m Research paper		Targeted Test Generation for Actor Systems ECOOP Research Papers Sihan Li , Farah Hariri University of Illinois at Urbana-Champaign, Gul Agha University of Illinois at Urbana-Champaign, USA DOI

16:00 - 17:15	LanguagesECOOP Research Papers at Zurich II Chair(s): Yu David Liu State University of New York, Binghamton

16:00 25m Research paper		Typed First-Class Traits ECOOP Research Papers Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China DOI
16:25 25m Research paper		CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs ECOOP Research Papers Stefan Krüger University of Paderborn, Johannes Späth Fraunhofer IEM, Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira Mezini TU Darmstadt DOI
16:50 25m Research paper		Safe Transferable Regions ECOOP Research Papers Gowtham Kaki Purdue University, G. Ramalingam Microsoft Research DOI

Fri 20 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Awards & Keynote: XuECOOP Keynotes at Zurich II Chair(s): Eric Jul University of Oslo

09:00 3m Awards		Distinguished Paper Award ECOOP Keynotes Todd Millstein University of California, Los Angeles
09:03 3m Awards		Distinguished Artifact Award ECOOP Keynotes Philipp Haller KTH Royal Institute of Technology, Marianna Rapoport University of Waterloo, Maria Christakis MPI-SWS
09:06 3m Awards		Test of Time Award ECOOP Keynotes Eric Jul University of Oslo, Davide Ancona University of Genova
09:09 6m Awards		Dahl-Nygaard Awards ECOOP Keynotes Eric Jul University of Oslo
09:15 60m Talk		Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design ECOOP Keynotes Harry Xu University of California, Los Angeles

11:00 - 12:40	TypesECOOP Research Papers at Zurich II Chair(s): Philipp Haller KTH Royal Institute of Technology

11:00 25m Research paper		KafKa: Gradual Typing for Objects ECOOP Research Papers Benjamin Chung Northeastern University, Paley Li Northeastern University, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University DOI
11:25 25m Research paper		Dependent Types for Class-based Mutable Objects ECOOP Research Papers Joana Campos University of Lisbon, Portugal, Vasco T. Vasconcelos University of Lisbon, Portugal DOI
11:50 25m Research paper		Static typing of complex presence constraints in interfaces ECOOP Research Papers Nathalie Oostvogels Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel DOI
12:15 25m Research paper		Mailbox Types for Unordered Interactions ECOOP Research Papers Ugo de'Liguoro Università di Torino, Luca Padovani University of Turin, Italy DOI

13:50 - 15:30	Runtime SystemsECOOP Research Papers at Zurich II Chair(s): Christian Hammer University of Potsdam

13:50 25m Research paper		Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization ECOOP Research Papers Mohaned Qunaibit University of California, Irvine, Stefan Brunthaler Bundeswehr University Munich, Yeoul Na , Stijn Volckaert University of California, Irvine, Michael Franz University of California, Irvine DOI
14:15 25m Research paper		CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs ECOOP Research Papers Jonathan Bell George Mason University, Luís Pina George Mason University DOI Pre-print Media Attached
14:40 25m Research paper		ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications ECOOP Research Papers Julien Gascon-Samson , Kumseok Jung University of British Columbia, Shivanshu Goyal University of British Columbia, Armin Rezaiean-Asel University of British Columbia, Karthik Pattabiraman University of British Columbia DOI
15:05 25m Research paper		Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis ECOOP Research Papers Tianxiao Gu , Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yanyan Jiang Nanjing University, Chun Cao Nanjing University, Jian Lu Nanjing University DOI

16:00 - 17:15	Formal CalculiECOOP Research Papers at Zurich II Chair(s): Atsushi Igarashi Kyoto University, Japan

16:00 25m Research paper		FHJ: A Formal Model for Hierarchical Dispatching and Overriding ECOOP Research Papers Yanlin Wang University of Hong Kong, Haoyuan Zhang , Bruno C. d. S. Oliveira University of Hong Kong, China, Marco Servetto Victoria University of Wellington DOI
16:25 25m Research paper		Modeling infinite behaviour by corules ECOOP Research Papers Davide Ancona University of Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Elena Zucca University of Genova DOI
16:50 25m Research paper		The Essence of Nested Composition ECOOP Research Papers Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China, Tom Schrijvers KU Leuven DOI

Sat 21 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	Keynote: Zeller & ECOOP 2019 PreviewECOOP Keynotes at Zurich II Chair(s): Frank Tip Northeastern University

09:00 60m Talk		Parser-Directed Test Generation ECOOP Keynotes Andreas Zeller Saarland University
10:00 15m		ECOOP 2019 Preview ECOOP Keynotes Jan Vitek Northeastern University

11:00 - 12:40	Static AnalysisECOOP Research Papers at Zurich II Chair(s): Karim Ali University of Alberta

11:00 25m Research paper		Defensive Points-To Analysis: Effective Soundness via Laziness ECOOP Research Papers Yannis Smaragdakis University of Athens, George Kastrinis University of Athens DOI
11:25 25m Research paper		Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates ECOOP Research Papers John Toman University of Washington, Seattle, Dan Grossman University of Washington DOI Pre-print
11:50 25m Research paper		Definite Reference Mutability ECOOP Research Papers Ana Milanova Rensselaer Polytechnic Institute DOI
12:15 25m Research paper		Efficient Reflection String Analysis via Graph Coloring ECOOP Research Papers Neville Grech University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens DOI

Mon 16 Jul
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						16:00						30						17:00						30
Zurich II	ISSTA Keynotes Welcome & Keynote: Torlak																								ISSTA Technical Papers Secure and Sound																																				ISSTA Technical Papers Testing and Fault Localization																								ISSTA Technical Papers Machine Learning

Tue 17 Jul
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						16:00						30						17:00						30
Zurich II	ISSTA Technical Papers Mobile																								ISSTA Technical Papers Static Analysis																																				ISSTA Keynotes Keynote: Visser, Khurshid, and Pasareanu & Awards																								ISSTA Technical Papers Test and Oracle Generation

Wed 18 Jul
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						16:00						30
Zurich II	ISSTA Keynotes Keynote: Ernst & ISSTA 2019 Preview																								ISSTA Technical Papers Porting and Repair																																				ISSTA Technical Papers Optimization and Performance																								ISSTA Tool Demonstrations Tool Demos

Thu 19 Jul
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						16:00						30						17:00						30
Zurich II	ECOOP Keynotes Welcome & Keynote: De Moor																								ECOOP Research Papers Asynchrony and Concurrency																																		ECOOP Research Papers Testing																										ECOOP Research Papers Languages

Fri 20 Jul
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						16:00						30						17:00						30
Zurich II	ECOOP Keynotes Awards & Keynote: Xu																								ECOOP Research Papers Types																																		ECOOP Research Papers Runtime Systems																										ECOOP Research Papers Formal Calculi

Sat 21 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00						30						10:00						30						11:00						30						12:00						30
Zurich II	ECOOP Keynotes Keynote: Zeller & ECOOP 2019 Preview																								ECOOP Research Papers Static Analysis

Mon 16 Jul
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			16:00			15			30			45			17:00			15			30			45
Zurich II	ISSTA Keynotes Welcome 09:00 - 09:15			ISSTA Keynotes Solver-Aided Programming for All 09:15 - 10:15																					ISSTA Technical Papers Lightweight Verification of Array Indexing 11:00 - 11:20				ISSTA Technical Papers Eliminating Timing Side-channel Leaks Using Program Repair 11:20 - 11:40				ISSTA Technical Papers Symbolic Path Cost Analysis for Side-Channel Detection 11:40 - 12:00				ISSTA Technical Papers Safe and Sound Program Analysis with Flix 12:00 - 12:20				ISSTA Technical Papers Q&A in groups 12:20 - 12:30																				ISSTA Technical Papers Test Case Prioritization for Acceptance Testing of Cyber Physical Syste ... 14:00 - 14:20				ISSTA Technical Papers Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Loca ... 14:20 - 14:40				ISSTA Technical Papers Automated Test Mapping and Coverage for Network Topologies 14:40 - 15:00				ISSTA Technical Papers Evaluating Test-Suite Reduction in Real-World Software Evolution 15:00 - 15:20				ISSTA Technical Papers Q&A in groups 15:20 - 15:30								ISSTA Technical Papers Compiler Fuzzing through Deep Learning 16:00 - 16:20				ISSTA Technical Papers Deep Specification Mining 16:20 - 16:40				ISSTA Technical Papers Identifying Implementation Bugs in Machine Learning based Image Classif ... 16:40 - 17:00				ISSTA Technical Papers An Empirical Study on TensorFlow Program Bugs 17:00 - 17:20				ISSTA Technical Papers Q&A in groups 17:20 - 17:30

Tue 17 Jul
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			16:00			15			30			45			17:00			15			30			45
Zurich II	ISSTA Technical Papers Automatically Translating Bug Reports into Test Cases for Mobile Apps 09:00 - 09:20				ISSTA Technical Papers CiD: Automating the Detection of API-related Compatibility Issues in An ... 09:20 - 09:40				ISSTA Technical Papers Test Migration for Efficient Large-Scale Assessment of Mobile App Codin ... 09:40 - 10:00				ISSTA Technical Papers Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe 10:00 - 10:20				ISSTA Technical Papers Q&A in groups 10:20 - 10:30								ISSTA Technical Papers Repositioning of Static Analysis Alarms 11:00 - 11:20				ISSTA Technical Papers Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots 11:20 - 11:40				ISSTA Technical Papers Static Analysis of Java Dynamic Proxies 11:40 - 12:00				ISSTA Technical Papers Practical Detection of Concurrency Issues at Coding Time 12:00 - 12:20				ISSTA Technical Papers Q&A in groups 12:20 - 12:30																				ISSTA Keynotes Test input generation with Java PathFinder: Then and Now 14:00 - 15:00												ISSTA Keynotes Impact Paper Awards 15:00 - 15:07	ISSTA Keynotes Distinguished Paper Awards 15:07 - 15:14		ISSTA Keynotes Distinguished Artifact Award 15:14 - 15:21	ISSTA Keynotes Best Tool Demonstration Award 15:21 - 15:28								ISSTA Technical Papers Tests from Traces: Automated Unit Test Extraction for R 16:00 - 16:20				ISSTA Technical Papers Translating Code Comments to Procedure Specifications 16:20 - 16:40				ISSTA Technical Papers PerfFuzz: Automatically Generating Pathological Inputs 16:40 - 17:00								ISSTA Technical Papers Q&A in groups 17:20 - 17:30

Wed 18 Jul
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			16:00			15			30			45
Zurich II	ISSTA Keynotes Pluggable Type Systems Reconsidered 09:00 - 10:00												ISSTA Keynotes ISSTA 2019 Preview 10:00 - 10:30												ISSTA Technical Papers Search-Based Detection of Deviation Failures in the Migration of Legacy ... 11:00 - 11:20				ISSTA Technical Papers Making Data-Driven Porting Decisions with Tuscan 11:20 - 11:40				ISSTA Technical Papers Comparing developer-provided to user-provided tests for fault localizat ... 11:40 - 12:00				ISSTA Technical Papers Shaping Program Repair Space with Existing Patches and Similar Code 12:00 - 12:20				ISSTA Technical Papers Q&A in groups 12:20 - 12:30																				ISSTA Technical Papers Remove RATs from Your Code: Automated Optimization of Resource Ineffici ... 14:00 - 14:20				ISSTA Technical Papers Badger: Complexity Analysis with Fuzzing and Symbolic Execution 14:20 - 14:40				ISSTA Technical Papers Exploiting Community Structure for Floating-Point Precision Tuning 14:40 - 15:00				ISSTA Technical Papers piCoq: Parallel Regression Proving for Large-Scale Verification Projects 15:00 - 15:20				ISSTA Technical Papers Q&A in groups 15:20 - 15:30								ISSTA Tool Demonstrations Advances in the ANaConDA Framework for Dynamic Analysis and Testing of ... 16:00 - 16:10		ISSTA Tool Demonstrations LAND: A User-Friendly and Customizable Test Generation Tool for Android ... 16:10 - 16:20		ISSTA Tool Demonstrations Managing Concurrent Testing of Data Race with ComRaDe 16:20 - 16:30		ISSTA Tool Demonstrations OASIs: Oracle Assessment and Improvement Tool 16:30 - 16:40		ISSTA Tool Demonstrations Mutode: Generic JavaScript and Node.js Mutation Testing Tool 16:40 - 16:50		ISSTA Tool Demonstrations MalViz: An Interactive Visualization Tool for Tracing Malware 16:50 - 17:00

Thu 19 Jul
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			16:00			15			30			45			17:00			15			30			45
Zurich II	ECOOP Keynotes Welcome 09:00 - 09:15			ECOOP Keynotes Program Analysis for Everyone 09:15 - 10:15																					ECOOP Research Papers Fault-tolerant Distributed Reactive Programming 11:00 - 11:25					ECOOP Research Papers ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions 11:25 - 11:50					ECOOP Research Papers Theory and Practice of Coroutines with Snapshots 11:50 - 12:15					ECOOP Research Papers A Concurrent Specification of POSIX File Systems 12:15 - 12:40																			ECOOP Research Papers A Characteristic Study of Parameterized Unit Tests in .NET Open Source ... 13:50 - 14:15					ECOOP Research Papers Learning to Accelerate Symbolic Execution via Code Transformation 14:15 - 14:40					ECOOP Research Papers Type Regression Testing to Detect Breaking Changes in Node.js Libraries 14:40 - 15:05					ECOOP Research Papers Targeted Test Generation for Actor Systems 15:05 - 15:30											ECOOP Research Papers Typed First-Class Traits 16:00 - 16:25					ECOOP Research Papers CrySL: An Extensible Approach to Validating the Correct Usage of Crypto ... 16:25 - 16:50					ECOOP Research Papers Safe Transferable Regions 16:50 - 17:15

Fri 20 Jul
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			16:00			15			30			45			17:00			15			30			45
Zurich II	ECOOP Keynotes Distinguished Paper Award 09:00 - 09:03	ECOOP Keynotes Distinguished Artifact Award 09:03 - 09:06	ECOOP Keynotes Test of Time Award 09:06 - 09:09	ECOOP Keynotes Dahl-Nygaard Awards 09:09 - 09:15	ECOOP Keynotes Object-Orientation Meets Big Data: Performance Impact, Restoration, and ... 09:15 - 10:15																					ECOOP Research Papers KafKa: Gradual Typing for Objects 11:00 - 11:25					ECOOP Research Papers Dependent Types for Class-based Mutable Objects 11:25 - 11:50					ECOOP Research Papers Static typing of complex presence constraints in interfaces 11:50 - 12:15					ECOOP Research Papers Mailbox Types for Unordered Interactions 12:15 - 12:40																			ECOOP Research Papers Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Usi ... 13:50 - 14:15					ECOOP Research Papers CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stoc ... 14:15 - 14:40					ECOOP Research Papers ThingsMigrate: Platform-Independent Migration of Stateful JavaScript Io ... 14:40 - 15:05					ECOOP Research Papers Automating Object Transformations for Dynamic Software Updating via Onl ... 15:05 - 15:30											ECOOP Research Papers FHJ: A Formal Model for Hierarchical Dispatching and Overriding 16:00 - 16:25					ECOOP Research Papers Modeling infinite behaviour by corules 16:25 - 16:50					ECOOP Research Papers The Essence of Nested Composition 16:50 - 17:15

Sat 21 Jul
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
Zurich II	ECOOP Keynotes Parser-Directed Test Generation 09:00 - 10:00												ECOOP Keynotes ECOOP 2019 Preview 10:00 - 10:15												ECOOP Research Papers Defensive Points-To Analysis: Effective Soundness via Laziness 11:00 - 11:25					ECOOP Research Papers Legato: An At-Most-Once Analysis with Applications to Dynamic Configura ... 11:25 - 11:50					ECOOP Research Papers Definite Reference Mutability 11:50 - 12:15					ECOOP Research Papers Efficient Reflection String Analysis via Graph Coloring 12:15 - 12:40

Room information: Zurich II

Program Display Configuration

Mon 16 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 21 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA Keynotes

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Tue 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Keynotes

ISSTA Technical Papers

Wed 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ISSTA Keynotes

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Tool Demonstrations

Thu 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECOOP Keynotes

ECOOP Research Papers

ECOOP Research Papers

ECOOP Research Papers

Fri 20 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECOOP Keynotes

ECOOP Research Papers

ECOOP Research Papers

ECOOP Research Papers

Sat 21 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECOOP Keynotes

ECOOP Research Papers

Mon 16 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 21 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 21 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 21 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 21 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change