Zurich II -

VenueMövenpick Hotel Amsterdam City Centre

Room nameZurich II

Floor0

Room number

Capacity50

Additional informationThere is no additional information of this room available.

Program

Mon 16 Jul

09:00 - 10:30: ISSTA Keynotes - Welcome & Keynote: Torlak at Zurich II
Chair(s): Frank TipNortheastern University

09:00 - 09:15

Welcome

Tijs van der StormCWI, Frank TipNortheastern University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

09:15 - 10:15
Talk

Solver-Aided Programming for All

Emina TorlakUniversity of Washington

11:00 - 12:30: ISSTA Technical Papers - Secure and Sound at Zurich II
Chair(s): Cristian CadarImperial College London

11:00 - 11:20
Talk

Lightweight Verification of Array Indexing

Martin KelloggUniversity of Washington, Seattle, Vlastimil DortCharles University, Suzanne MillsteinUniversity of Washington, Michael D. ErnstUniversity of Washington, USA

11:20 - 11:40
Talk

Eliminating Timing Side-channel Leaks Using Program Repair

Meng WuVirginia Tech, Shengjian (Daniel) GuoVirginia Tech, Patrick SchaumontVirginia Tech, Chao WangUniversity of Southern California

11:40 - 12:00
Talk

Symbolic Path Cost Analysis for Side-Channel Detection

Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara, Corina S PasareanuNASA Ames Research Center

12:00 - 12:20
Talk

Safe and Sound Program Analysis with Flix

Magnus MadsenAalborg University, Ondřej LhotákUniversity of Waterloo, Canada

12:20 - 12:30

Q&A in groups

14:00 - 15:30: ISSTA Technical Papers - Testing and Fault Localization at Zurich II
Chair(s): Cindy Rubio-GonzalezUniversity of California, Davis

14:00 - 14:20
Talk

Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach

Seung Yeob ShinSnT Centre/University of Luxembourg, Shiva NejatiSnT Centre/University of Luxembourg, Mehrdad SabetzadehSnT Centre/University of Luxembourg, Lionel C. BriandSnT Centre/University of Luxembourg, Frank ZimmerSES Techcom

14:20 - 14:40
Talk

Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization

Jaekwon LeeUniversity of Luxembourg, Luxembourg, Dongsun KimUniversity of Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Woosung JungSeoul National University of Education, Yves Le TraonUniversity of Luxembourg

14:40 - 15:00
Talk

Automated Test Mapping and Coverage for Network Topologies

Per Erik StrandbergWestermo Research and Development AB, Thomas Ostrand, Elaine WeyukerMälardalen University, Daniel SundmarkMälardalen University, Wasif AfzalMälardalen University

15:00 - 15:20
Talk

Evaluating Test-Suite Reduction in Real-World Software Evolution

August ShiUniversity of Illinois at Urbana-Champaign, Alex GyoriFacebook, Muhammad Suleman MahmoodUniversity of Illinois at Urbana-Champaign, Peiyuan ZhaoUniversity of Illinois at Urbana-Champaign, Darko MarinovUniversity of Illinois at Urbana-Champaign

15:20 - 15:30

Q&A in groups

16:00 - 17:30: ISSTA Technical Papers - Machine Learning at Zurich II
Chair(s): Alex OrsoGeorgia Institute of Technology

16:00 - 16:20
Talk

Compiler Fuzzing through Deep Learning

Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh

16:20 - 16:40
Talk

Deep Specification Mining

Tien-Duy B. LeSchool of Information Systems, Singapore Management University, David LoSingapore Management University

16:40 - 17:00
Talk

Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing

Anurag DwarakanathAccenture Labs, Manish AhujaAccenture Labs, Samarth SikandAccenture Labs, Raghotham M RaoAccenture Labs, R.P. Jagadeesh Chandra BoseAccenture Labs, Neville DubashAccenture Labs, Sanjay Podder

17:00 - 17:20
Talk

An Empirical Study on TensorFlow Program Bugs

Yuhao ZhangPeking University, Yifan ChenPeking University, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Yingfei XiongPeking University, Lu ZhangPeking University

Pre-print

17:20 - 17:30

Q&A in groups

Tue 17 Jul

09:00 - 10:30: ISSTA Technical Papers - Mobile at Zurich II
Chair(s): Andreas ZellerSaarland University

09:00 - 09:20
Talk

Automatically Translating Bug Reports into Test Cases for Mobile Apps

Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech

09:20 - 09:40
Talk

CiD: Automating the Detection of API-related Compatibility Issues in Android Apps

Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT

09:40 - 10:00
Talk

Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments

Farnaz BehrangGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech

10:00 - 10:20
Talk

Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe

Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity of British Columbia

10:20 - 10:30

Q&A in groups

11:00 - 12:30: ISSTA Technical Papers - Static Analysis at Zurich II
Chair(s): Karim AliUniversity of Alberta

11:00 - 11:20
Talk

Repositioning of Static Analysis Alarms

Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology

11:20 - 11:40
Talk

Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots

Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens

11:40 - 12:00
Talk

Static Analysis of Java Dynamic Proxies

George FourtounisUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens

12:00 - 12:20
Talk

Practical Detection of Concurrency Issues at Coding Time

Luc BläserHochschule für Technik Rapperswil

12:20 - 12:30

Q&A in groups

14:00 - 15:30: ISSTA Keynotes - Keynote: Visser, Khurshid, and Pasareanu & Awards at Zurich II
Chair(s): Frank TipNortheastern University, Tevfik BultanUniversity of California, Santa Barbara

14:00 - 15:00
Talk

Test input generation with Java PathFinder: Then and Now

Willem VisserStellenbosch University, Sarfraz KhurshidUniversity of Texas at Austin, Corina S PasareanuNASA Ames Research Center

15:00 - 15:07

Impact Paper Awards

Tevfik BultanUniversity of California, Santa Barbara

15:07 - 15:14

Distinguished Paper Awards

Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

15:14 - 15:21
Talk

Distinguished Artifact Award

Nico RosnerUniversity of California, Santa Barbara, Ben HermannUniversity of Paderborn

15:21 - 15:28

Best Tool Demonstration Award

Hamid BagheriUniversity of Nebraska-Lincoln, USA, Kathryn StoleeNorth Carolina State University

16:00 - 17:30: ISSTA Technical Papers - Test and Oracle Generation at Zurich II
Chair(s): Sarfraz KhurshidUniversity of Texas at Austin

16:00 - 16:20
Talk

Tests from Traces: Automated Unit Test Extraction for R

Filip KrikavaCzech Technical University, Jan VitekNortheastern University

16:20 - 16:40
Talk

Translating Code Comments to Procedure Specifications

Arianna BlasiUniversità della Svizzera italiana (USI) and IMDEA Software Institute, Alberto GoffiUniversità della Svizzera italiana (USI), Konstantin KuznetsovSaarland University, CISPA, Alessandra GorlaIMDEA Software Institute, Michael D. ErnstUniversity of Washington, USA, Mauro PezzèUniversity of Milano-Bicocca, Italy, Sergio Delgado CastellanosIMDEA Software Institute

16:40 - 17:00
Talk

PerfFuzz: Automatically Generating Pathological Inputs

Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song

17:20 - 17:30

Q&A in groups

Wed 18 Jul

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

09:00 - 10:00
Talk

Pluggable Type Systems Reconsidered

Michael D. ErnstUniversity of Washington, USA

10:00 - 10:30

ISSTA 2019 Preview

Anders MøllerAarhus University, Dongmei ZhangMicrosoft Research, China

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

11:00 - 11:20
Talk

Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications

Mohammad M. AlmasiUniversity of Manitoba, Hadi HemmatiUniversity of Calgary, Gordon FraserUniversity of Passau, Phil McMinnUniversity of Sheffield, Janis BenefeldsSEB Life and Pensions Holding AB

11:20 - 11:40
Talk

Making Data-Driven Porting Decisions with Tuscan

Kareem KhazemUniversity College London, Earl BarrUniversity College London, Petr HosekGoogle, Inc.

11:40 - 12:00
Talk

Comparing developer-provided to user-provided tests for fault localization and automated program repair

René JustUniversity of Massachusetts, USA, Chris ParninNCSU, Ian DrososUniversity of California, San Diego, Michael D. ErnstUniversity of Washington, USA

12:00 - 12:20
Talk

Shaping Program Repair Space with Existing Patches and Similar Code

Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking University

Pre-print

12:20 - 12:30

Q&A in groups

14:00 - 15:30: ISSTA Technical Papers - Optimization and Performance at Zurich II
Chair(s): Tevfik BultanUniversity of California, Santa Barbara

14:00 - 14:20
Talk

Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications

Yingjun LyuUniversity of Southern California, Ding LiNEC Labs, William G.J. HalfondUniversity of Southern California

14:20 - 14:40
Talk

Badger: Complexity Analysis with Fuzzing and Symbolic Execution

Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina S PasareanuNASA Ames Research Center

14:40 - 15:00
Talk

Exploiting Community Structure for Floating-Point Precision Tuning

Hui GuoUniversity of California, Davis, Cindy Rubio-GonzalezUniversity of California, Davis

15:00 - 15:20
Talk

piCoq: Parallel Regression Proving for Large-Scale Verification Projects

Karl PalmskogUniversity of Texas at Austin, Ahmet CelikUniversity of Texas at Austin, USA, Milos GligoricUniversity of Texas at Austin

15:20 - 15:30

Q&A in groups

16:00 - 17:00: ISSTA Tool Demonstrations - Tool Demos at Zurich II
Chair(s): Saba AlimadadiNortheastern University

16:00 - 16:10

Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs

Jan FiedorBrno University of Technology, Monika MužikovskáBrno University of Technology, Aleš SmrčkaBrno University of Technology, Ondřej VašíčekBrno University of Technology, Tomas VojnarBrno University of Technology

16:10 - 16:20

LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps

Jiwei YanInstitute of Software, Chinese Academy of Sciences, Linjie PanInstitute of Software, Chinese Academy of Sciences, Yaqi LiInstitute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangBeihang University

16:20 - 16:30

Managing Concurrent Testing of Data Race with ComRaDe

Jian GaoSchool of Software, Tsinghua University, Xin Yang , Yu Jiang, Han Liu, Weiliang Ying , Wanting SunBeijing University of Posts and Telecommunications, Ming Gu

16:30 - 16:40

OASIs: Oracle Assessment and Improvement Tool

Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler

16:40 - 16:50

Mutode: Generic JavaScript and Node.js Mutation Testing Tool

Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia

16:50 - 17:00

MalViz: An Interactive Visualization Tool for Tracing Malware

Vinh The NguyenTexas Tech University, Tommy DangTexas Tech University, Akbar Siami NaminTexas Tech University

Thu 19 Jul

09:00 - 10:30: ECOOP Keynotes - Welcome & Keynote: De Moor at Zurich II
Chair(s): Frank TipNortheastern University

09:00 - 09:15

Welcome

Tijs van der StormCWI, Frank TipNortheastern University, Todd MillsteinUniversity of California, Los Angeles

09:15 - 10:15
Talk

Program Analysis for Everyone

Oege de MoorSemmle

11:00 - 12:40: ECOOP Research Papers - Asynchrony and Concurrency at Zurich II
Chair(s): Todd MillsteinUniversity of California, Los Angeles

11:00 - 11:25
Research paper

Fault-tolerant Distributed Reactive Programming

Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt


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 09:00 - 10:30																								ISSTA Technical Papers Secure and Sound 11:00 - 12:30																																				ISSTA Technical Papers Testing and Fault Localization 14:00 - 15:30																								ISSTA Technical Papers Machine Learning 16:00 - 17:30

Room information: Zurich II

Mon 16 Jul

Tue 17 Jul

Wed 18 Jul

Thu 19 Jul

Fri 20 Jul

Sat 21 Jul

Mon 16 Jul 2018

ISSTA Keynotes

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Tue 17 Jul 2018

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Keynotes

ISSTA Technical Papers

Wed 18 Jul 2018

ISSTA Keynotes

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Tool Demonstrations

Thu 19 Jul 2018

ECOOP Keynotes

ECOOP Research Papers

ECOOP Research Papers

ECOOP Research Papers

Fri 20 Jul 2018

ECOOP Keynotes

ECOOP Research Papers

ECOOP Research Papers

ECOOP Research Papers

Sat 21 Jul 2018

ECOOP Keynotes

ECOOP Research Papers

Mon 16 Jul 2018

Tue 17 Jul 2018

Wed 18 Jul 2018

Thu 19 Jul 2018

Fri 20 Jul 2018

Sat 21 Jul 2018