WoSSCA 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
ECOOP and ISSTA 2018 (series) / WoSSCA 2018 (series) / Mövenpick Hotel Amsterdam City Centre /

Room information: Zurich II

VenueMövenpick Hotel Amsterdam City Centre
Room nameZurich II
Floor0
Capacity50
Additional informationThere is no additional information of this room available.
Program

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

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: Welcome & Keynote: TorlakISSTA Keynotes at Zurich II
Chair(s): Frank TipNortheastern University
09:00 - 09:15
Welcome
ISSTA Keynotes
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
ISSTA Keynotes
Emina TorlakUniversity of Washington
11:00 - 12:30: Secure and SoundISSTA Technical Papers at Zurich II
Chair(s): Cristian CadarImperial College London
11:00 - 11:20
Talk		Lightweight Verification of Array Indexing
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
Magnus MadsenAalborg University, Ondřej LhotákUniversity of Waterloo, Canada
12:20 - 12:30
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álezUniversity of California, Davis
14:00 - 14:20
Talk		Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
16:00 - 17:30: Machine LearningISSTA Technical Papers at Zurich II
Chair(s): Alex OrsoGeorgia Institute of Technology
16:00 - 16:20
Talk		Compiler Fuzzing through Deep LearningDistinguished Paper
ISSTA Technical Papers
Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh
16:20 - 16:40
Talk		Deep Specification Mining
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: MobileISSTA Technical Papers at Zurich II
Chair(s): Andreas ZellerSaarland University
09:00 - 09:20
Talk		Automatically Translating Bug Reports into Test Cases for Mobile Apps
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
Farnaz BehrangGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
10:00 - 10:20
Talk		Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeDistinguished Paper
ISSTA Technical Papers
Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity of British Columbia
10:20 - 10:30
Q&A in groups
ISSTA Technical Papers
11:00 - 12:30: Static AnalysisISSTA Technical Papers at Zurich II
Chair(s): Karim AliUniversity of Alberta
11:00 - 11:20
Talk		Repositioning of Static Analysis Alarms
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
Luc BläserHochschule für Technik Rapperswil
12:20 - 12:30
Q&A in groups
ISSTA Technical Papers
14:00 - 15:30: Keynote: Visser, Khurshid, and Pasareanu & AwardsISSTA Keynotes 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
ISSTA Keynotes
Willem VisserStellenbosch University, Sarfraz KhurshidUniversity of Texas at Austin, Corina S PasareanuNASA Ames Research Center
15:00 - 15:07
Impact Paper Awards
ISSTA Keynotes
Tevfik BultanUniversity of California, Santa Barbara
15:07 - 15:14
Distinguished Paper Awards
ISSTA Keynotes
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
15:14 - 15:21
Talk		Distinguished Artifact Award
ISSTA Keynotes
Nico RosnerUniversity of California, Santa Barbara, Ben HermannUniversity of Paderborn
15:21 - 15:28
Best Tool Demonstration Award
ISSTA Keynotes
Hamid BagheriUniversity of Nebraska-Lincoln, USA, Kathryn StoleeNorth Carolina State University
16:00 - 17:30: Test and Oracle GenerationISSTA Technical Papers 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
ISSTA Technical Papers
Filip KřikavaCzech Technical University, Jan VitekNortheastern University
16:20 - 16:40
Talk		Translating Code Comments to Procedure Specifications
ISSTA Technical Papers
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 InputsDistinguished Paper
ISSTA Technical Papers
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
ISSTA Technical Papers

Wed 18 Jul
Times are displayed in 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 BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
09:00 - 10:00
Talk		Pluggable Type Systems Reconsidered
ISSTA Keynotes
Michael D. ErnstUniversity of Washington, USA
10:00 - 10:30
ISSTA 2019 Preview
ISSTA Keynotes
Anders MøllerAarhus University, Dongmei ZhangMicrosoft Research, China
11:00 - 12:30: Porting and RepairISSTA Technical Papers 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
ISSTA Technical Papers
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
ISSTA Technical Papers
Kareem KhazemUniversity College London, Earl T. 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
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
14:00 - 15:30: Optimization and PerformanceISSTA Technical Papers 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
ISSTA Technical Papers
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
ISSTA Technical Papers
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
ISSTA Technical Papers
Hui GuoUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
15:00 - 15:20
Talk		piCoq: Parallel Regression Proving for Large-Scale Verification Projects
ISSTA Technical Papers
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
ISSTA Technical Papers
16:00 - 17:00: Tool DemosISSTA Tool Demonstrations 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++ ProgramsBest Tool Demo
ISSTA Tool Demonstrations
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, Tomáš VojnarBrno University of Technology
16:10 - 16:20
LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
ISSTA Tool Demonstrations
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
ISSTA Tool Demonstrations
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
ISSTA Tool Demonstrations
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
ISSTA Tool Demonstrations
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
ISSTA Tool Demonstrations
Vinh The NguyenTexas Tech University, Tommy DangTexas Tech University, Akbar Siami NaminTexas Tech University

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

09:00 - 10:30: Welcome & Keynote: De MoorECOOP Keynotes at Zurich II
Chair(s): Frank TipNortheastern University
09:00 - 09:15
Welcome
ECOOP Keynotes
Tijs van der StormCWI, Frank TipNortheastern University, Todd MillsteinUniversity of California, Los Angeles
09:15 - 10:15
Talk		Program Analysis for Everyone
ECOOP Keynotes
Oege de MoorSemmle
11:00 - 12:40: Asynchrony and ConcurrencyECOOP Research Papers at Zurich II
Chair(s): Todd MillsteinUniversity of California, Los Angeles
11:00 - 11:25
Research paper		Fault-tolerant Distributed Reactive Programming
ECOOP Research Papers
Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt
DOI
11:25 - 11:50
Research paper		ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
ECOOP Research Papers
Hiroaki InoueMitsubishi Electric Corporation, Japan, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan
DOI
11:50 - 12:15
Research paper		Theory and Practice of Coroutines with Snapshots
ECOOP Research Papers
Aleksandar ProkopecOracle Labs, Fengyun LiuEPFL, Switzerland
DOI
12:15 - 12:40
Research paper		A Concurrent Specification of POSIX File Systems
ECOOP Research Papers
Gian NtzikImperial College London, Pedro da Rocha PintoImperial College London, Julian SutherlandImperial College London, Philippa GardnerImperial College London
DOI
13:50 - 15:30: TestingECOOP Research Papers at Zurich II
Chair(s): Alastair DonaldsonImperial College London
13:50 - 14:15
Research paper		A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
ECOOP Research Papers
Wing LamUniversity of Illinois at Urbana-Champaign, Siwakorn SrisakaokulUniversity of Illinois at Urbana-Champaign, USA, Blake BassettUniversity of Illinois at Urbana-Champaign, USA, Peyman MahdianUniversity of Illinois at Urbana-Champaign, USA, Tao Xie, Pratap LakshmanMicrosoft, India, Peli de HalleuxMicrosoft Research
DOI
14:15 - 14:40
Research paper		Learning to Accelerate Symbolic Execution via Code Transformation
ECOOP Research Papers
Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University
DOI
14:40 - 15:05
Research paper		Type Regression Testing to Detect Breaking Changes in Node.js Libraries
ECOOP Research Papers
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University
DOI
15:05 - 15:30
Research paper		Targeted Test Generation for Actor Systems
ECOOP Research Papers
Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
DOI
16:00 - 17:15: LanguagesECOOP Research Papers at Zurich II
Chair(s): Yu David LiuState University of New York, Binghamton
16:00 - 16:25
Research paper		Typed First-Class Traits
ECOOP Research Papers
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
DOI
16:25 - 16:50
Research paper		CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
ECOOP Research Papers
Stefan KrügerUniversity of Paderborn, Johannes SpäthFraunhofer IEM, Karim AliUniversity of Alberta, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira MeziniTU Darmstadt
DOI
16:50 - 17:15
Research paper		Safe Transferable Regions
ECOOP Research Papers
Gowtham KakiPurdue University, G. RamalingamMicrosoft Research
DOI

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

09:00 - 10:30: Awards & Keynote: XuECOOP Keynotes at Zurich II
Chair(s): Eric JulUniversity of Oslo
09:00 - 09:03
Awards		Distinguished Paper Award
ECOOP Keynotes
Todd MillsteinUniversity of California, Los Angeles
09:03 - 09:06
Awards		Distinguished Artifact Award
ECOOP Keynotes
Philipp HallerKTH Royal Institute of Technology, Marianna RapoportUniversity of Waterloo, Maria ChristakisMPI-SWS
09:06 - 09:09
Awards		Test of Time Award
ECOOP Keynotes
Eric JulUniversity of Oslo, Davide AnconaUniversity of Genova
09:09 - 09:15
Awards		Dahl-Nygaard Awards
ECOOP Keynotes
Eric JulUniversity of Oslo
09:15 - 10:15
Talk		Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design
ECOOP Keynotes
Harry XuUniversity of California, Los Angeles
11:00 - 12:40: TypesECOOP Research Papers at Zurich II
Chair(s): Philipp HallerKTH Royal Institute of Technology
11:00 - 11:25
Research paper		KafKa: Gradual Typing for Objects
ECOOP Research Papers
Benjamin W ChungNortheastern University, Paley LiNortheastern University, Francesco Zappa NardelliInria, Jan VitekNortheastern University
DOI
11:25 - 11:50
Research paper		Dependent Types for Class-based Mutable Objects
ECOOP Research Papers
Joana CamposUniversity of Lisbon, Portugal, Vasco T. VasconcelosUniversity of Lisbon, Portugal
DOI
11:50 - 12:15
Research paper		Static typing of complex presence constraints in interfaces
ECOOP Research Papers
Nathalie OostvogelsVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
DOI
12:15 - 12:40
Research paper		Mailbox Types for Unordered Interactions
ECOOP Research Papers
Ugo de'LiguoroUniversità di Torino, Luca PadovaniUniversity of Turin, Italy
DOI
13:50 - 15:30: Runtime SystemsECOOP Research Papers at Zurich II
Chair(s): Christian HammerUniversity of Potsdam
13:50 - 14:15
Research paper		Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
ECOOP Research Papers
Mohaned QunaibitUniversity of California, Irvine, Stefan BrunthalerBundeswehr University Munich, Yeoul Na, Stijn VolckaertUniversity of California, Irvine, Michael FranzUniversity of California, Irvine
DOI
14:15 - 14:40
Research paper		CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
ECOOP Research Papers
Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University
DOI Pre-print Media Attached
14:40 - 15:05
Research paper		ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
ECOOP Research Papers
Julien Gascon-Samson, Kumseok JungUniversity of British Columbia, Shivanshu GoyalUniversity of British Columbia, Armin Rezaiean-AselUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
DOI
15:05 - 15:30
Research paper		Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
ECOOP Research Papers
Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University
DOI
16:00 - 17:15: Formal CalculiECOOP Research Papers at Zurich II
Chair(s): Atsushi IgarashiKyoto University, Japan
16:00 - 16:25
Research paper		FHJ: A Formal Model for Hierarchical Dispatching and Overriding
ECOOP Research Papers
Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Marco ServettoVictoria University of Wellington
DOI
16:25 - 16:50
Research paper		Modeling infinite behaviour by corules
ECOOP Research Papers
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
DOI
16:50 - 17:15
Research paper		The Essence of Nested Composition
ECOOP Research Papers
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven
DOI

Sat 21 Jul
Times are displayed in 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 TipNortheastern University
09:00 - 10:00
Talk		Parser-Directed Test Generation
ECOOP Keynotes
Andreas ZellerSaarland University
10:00 - 10:15
ECOOP 2019 Preview
ECOOP Keynotes
Jan VitekNortheastern University
11:00 - 12:40: Static AnalysisECOOP Research Papers at Zurich II
Chair(s): Karim AliUniversity of Alberta
11:00 - 11:25
Research paper		Defensive Points-To Analysis: Effective Soundness via LazinessDistinguished Paper
ECOOP Research Papers
Yannis SmaragdakisUniversity of Athens, George KastrinisUniversity of Athens
DOI
11:25 - 11:50
Research paper		Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
ECOOP Research Papers
John TomanUniversity of Washington, Seattle, Dan GrossmanUniversity of Washington
DOI Pre-print
11:50 - 12:15
Research paper		Definite Reference Mutability
ECOOP Research Papers
Ana MilanovaRensselaer Polytechnic Institute
DOI
12:15 - 12:40
Research paper		Efficient Reflection String Analysis via Graph Coloring
ECOOP Research Papers
Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
DOI

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Zurich II

ECOOP Keynotes

Awards & Keynote: Xu

ECOOP Research Papers

Types

ECOOP Research Papers

Runtime Systems

ECOOP Research Papers

Formal Calculi

Sat 21 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:0030
Zurich II

ECOOP Keynotes

Keynote: Zeller & ECOOP 2019 Preview

ECOOP Research Papers

Static Analysis

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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 PapersDistinguished Paper
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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 PapersDistinguished Paper
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 PapersDistinguished Paper
PerfFuzz: Automatically Generating Pathological Inputs
16:40 - 17:00
ISSTA Technical Papers
Q&A in groups
17:20 - 17:30

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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 DemonstrationsBest Tool Demo
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:0015304510:0015304511:0015304512:00153045
Zurich II
ECOOP Keynotes
Parser-Directed Test Generation
09:00 - 10:00
ECOOP Keynotes
ECOOP 2019 Preview
10:00 - 10:15
ECOOP Research PapersDistinguished Paper
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