Blogs (61) >>
You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

17:00 - 20:00: Welcome: Peyton JonesSummer School at Zurich I
Chair(s): Jan VitekNortheastern University
17:00 - 20:00
Talk
35 years of fun with functional programming
Summer School
S: Simon Peyton JonesMicrosoft Research

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
09:15 - 10:20: KeynoteCurryOn Curry On Keynotes at Matterhorn
09:15 - 09:30
Opening Remarks
CurryOn Curry On Keynotes
Jan VitekNortheastern University, Heather MillerEcole Polytechnique Federale de Lausanne
09:30 - 10:20
Talk
WebAssembly, Past, Present, and FutureKEYNOTE
CurryOn Curry On Keynotes
10:30 - 11:00: Coffee BreakISSTA Catering at Atrium Foyer
10:30 - 11:00
Coffee Break
ISSTA Catering
11:00 - 12:30: Session 1COP at Bangkok
Chair(s): Jens LinckeHasso Plattner Institute, Tetsuo KaminaOita University
11:00 - 11:30
Talk
Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming
COP
Toni MattisHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam
11:30 - 12:00
Talk
A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems
COP
Takuo WatanabeTokyo Institute of Technology
Link to publication DOI
12:00 - 12:30
Talk
Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns
COP
Robert HirschfeldHPI, University of Potsdam, Patrick ReinHasso Plattner Institute, Marcel TaeumelHasso Plattner Institute, Tobias DürschmidHasso Plattner Institute
11:00 - 12:30: Session 1FTfJP at Hanoi
11:00 - 11:30
Full-paper
Monotonic Gradual Typing in a Common Calculus
FTfJP
Benjamin ChungNortheastern University, Jan VitekNortheastern University
Pre-print
11:30 - 12:00
Full-paper
Incremental Overload Resolution in Object-Oriented Programming Languages
FTfJP
Tamás Szabóitemis AG / TU Delft, Edlira KuciTU Darmstadt, Germany, Matthijs BijmanDelft University of Technology, Mira MeziniTU Darmstadt, Sebastian ErdwegTU Delft
Pre-print
12:00 - 12:30
Full-paper
Safely Abstracting Memory Layouts
FTfJP
Juliana FrancoMicrosoft Research, Cambridge, Alexandros TasosImperial College London, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Susan EisenbachImperial College London
Pre-print
11:00 - 12:30: Track 2CurryOn Curry On Talks at Matterhorn II
11:00 - 11:40
Talk
Adding kind-polymorphism to the Scala programming language
CurryOn Curry On Talks
Miles SabinUnderscore LLP
11:50 - 12:30
Talk
Constant-time crypto programming with FaCT
CurryOn Curry On Talks
Deian StefanUniversity of California, San Diego
11:00 - 12:30: Track 3CurryOn Curry On Talks at Matterhorn III
11:00 - 11:40
Talk
Your inner compiler engineer wants out!Chess Timer Talk
CurryOn Curry On Talks
11:50 - 12:30
Talk
Atom Heart Monad: FRP in C++
CurryOn Curry On Talks
Ivan ČukićKDE e.V.
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
12:30 - 14:00: LunchISSTA Catering at Lunch Room
12:30 - 14:00
Lunch
ISSTA Catering
13:50 - 15:20: Track 2CurryOn Curry On Talks at Matterhorn II
13:50 - 14:30
Talk
A CRDT Primer: Defanging Order Theory
CurryOn Curry On Talks
John MummVectrology Solutions
14:40 - 15:20
Talk
Better living through incrementality: Immediate static analysis feedback without loss of precision
CurryOn Curry On Talks
Tamás Szabóitemis AG / TU Delft, Sebastian ErdwegTU Delft
13:50 - 15:20: Track 3CurryOn Curry On Talks at Matterhorn III
13:50 - 14:30
Talk
Taming the C monster: Haskell FFI techniques
CurryOn Curry On Talks
14:40 - 15:20
Talk
Akka.JS and why the actor model matters even in JS's world.Chess Timer Talk
CurryOn Curry On Talks
14:00 - 15:30: Session 2COP at Bangkok
Chair(s): Tetsuo KaminaOita University, Jens LinckeHasso Plattner Institute
14:00 - 14:30
Talk
A Context-Oriented Programming Approach to Dependency Hell
COP
Yudai TanabeTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
14:30 - 15:00
Talk
Feature Visualiser: an Inspection Tool for Context-Oriented Programmers
COP
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas
15:00 - 15:30
Talk
A Declarative Language for Context Activation
COP
Nicolás CardozoUniversidad de los Andes
14:00 - 15:30: Session 2FTfJP at Hanoi
14:00 - 15:00
Talk
Towards specifications of robustness -- the things that programs do *not* doKeynote
FTfJP
Sophia DrossopoulouImperial College London
15:00 - 15:30
Full-paper
Specification Idioms from Industrial Experience
FTfJP
David CokCEA, LIST, Software Safety and Security Laboratory
Pre-print
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
14:30 - 17:00: Lecture: PasareanuSummer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:30 - 17:00
Talk
Symbolic Execution and Probabilistic Reasoning
Summer School
S: Corina S PasareanuNASA Ames Research Center
15:30 - 16:00: Coffee BreakISSTA Catering at Atrium Foyer
15:30 - 16:00
Coffee Break
ISSTA Catering
15:55 - 17:25: Track 1CurryOn Curry On Talks at Matterhorn I
15:55 - 16:35
Talk
Spoofax: Live Programming Language Design
CurryOn Curry On Talks
Eelco VisserDelft University of Technology
16:45 - 17:25
Talk
Transducing for fun and profitChess Timer Talk
CurryOn Curry On Talks
Simon BelakMetabase
15:55 - 17:25: Track 2CurryOn Curry On Talks at Matterhorn II
15:55 - 16:35
Talk
It Ain't Necessarily So
CurryOn Curry On Talks
Chris FordThoughtWorks (UK) Ltd.
16:45 - 17:25
Talk
Language Design in the Open
CurryOn Curry On Talks
15:55 - 17:25: Track 3CurryOn Curry On Talks at Matterhorn III
15:55 - 16:35
Talk
Papers we love - Elixir edition
CurryOn Curry On Talks
16:45 - 17:25
Talk
Hackett: a metaprogrammable Haskell
CurryOn Curry On Talks
Alexis KingNorthwestern University
16:00 - 18:15: Session 3FTfJP at Hanoi
16:00 - 16:25
Short-paper
Reasoning about Functional Programming in Java and C++
FTfJP
David CokCEA, LIST, Software Safety and Security Laboratory
Pre-print
16:25 - 16:50
Short-paper
A Formalism for Specification of Java API Interfaces
FTfJP
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Luca FranceschiniDIBRIS, University of Genova
Pre-print
16:50 - 17:15
Short-paper
Static Latency Tracking with Placement Types
FTfJP
Pascal WeisenburgerTechnische Universität Darmstadt, Tobias ReinhardTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
Pre-print
17:15 - 17:45
Demonstration
Tool demonstration: The VerCors Verification Toolset
FTfJP
Wytse OortwijnUniversity of Twente, The Netherlands
Pre-print
17:45 - 18:15
Full-paper
An Exercise in Verifying Sequential Programs with VerCors
FTfJP
Sebastiaan Joosten, Wytse OortwijnUniversity of Twente, The Netherlands, Mohsen SafariUniversity of Twente, The Netherlands, Marieke HuismanUniversity of Twente
Pre-print
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
19:30 - 23:00: Curry On PartyCurryOn Catering at Tobacco Theater
19:30 - 23:00
Curry On Party
CurryOn Catering

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
09:15 - 10:20: KeynoteCurryOn Curry On Keynotes at Matterhorn
09:15 - 09:30
Opening Remarks
CurryOn Curry On Keynotes
Jan VitekNortheastern University, Heather MillerEcole Polytechnique Federale de Lausanne
09:30 - 10:20
Talk
How does code sound?KEYNOTE
CurryOn Curry On Keynotes
10:30 - 11:00: Coffee BreakISSTA Catering at Atrium Foyer
10:30 - 11:00
Coffee Break
ISSTA Catering
11:00 - 12:30: Session 1VORTEX at Bangkok
Chair(s): Davide AnconaUniversity of Genova
11:00 - 11:45
Talk
Stream-based runtime verification with hardware supportKeynote
VORTEX
K: Martin LeuckerUniversity of Lübeck
11:45 - 12:30
Talk
Who is to Blame? - Runtime Verification of Distributed Objects with Active MonitorsKeynote
VORTEX
K: Wolfgang AhrendtChalmers University of Technology
11:00 - 12:30: Session 1ICOOOLPS at Hanoi
11:00 - 12:00
Talk
Polymorphic Inline Caching in JavaScriptCoreKeynote
ICOOOLPS
12:05 - 12:30
Research paper
Assessing primitives performance on multi-stage execution
ICOOOLPS
Sophie KalebaINRIA, Clément BéraRMOD - INRIA Lille Nord Europe, Stéphane Ducasse INRIA Lille
11:00 - 12:30: Track 1CurryOn Curry On Talks at Matterhorn I
11:00 - 11:40
Talk
Code into Data: Embedding programs into datastores with GraalVM
CurryOn Curry On Talks
11:50 - 12:30
Talk
Challenges in Large-Scale Mobile App Performance
CurryOn Curry On Talks
11:00 - 12:30: Track 2CurryOn Curry On Talks at Matterhorn II
11:00 - 11:40
Talk
Little Languages
CurryOn Curry On Talks
Chris LaffraUber Technologies
11:50 - 12:30
Talk
Why VM Benchmarking is Probably Misleading you
CurryOn Curry On Talks
Edd BarrettKing's College London
11:00 - 12:30: Track 3CurryOn Curry On Talks at Matterhorn III
11:00 - 11:40
Talk
Strategies for Streaming
CurryOn Curry On Talks
11:50 - 12:30
Talk
Distributed Systems Protocols and their Vulnerabilities
CurryOn Curry On Talks
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
12:30 - 14:00: LunchISSTA Catering at Lunch Room
12:30 - 14:00
Lunch
ISSTA Catering
13:50 - 15:20: Track 1CurryOn Curry On Talks at Matterhorn I
13:50 - 14:30
Talk
Rethinking Modern Web Browsers
CurryOn Curry On Talks
Ben LivshitsImperial College London, UK
14:40 - 15:20
Talk
Lessons from a Big Data Machine Learning Startup
CurryOn Curry On Talks
13:50 - 15:20: Track 2CurryOn Curry On Talks at Matterhorn II
13:50 - 14:30
Talk
Simplicity - The Road Not Taken?
CurryOn Curry On Talks
Dave ThomasKx Systems
14:40 - 15:20
Talk
Serverless Computing with FunctionsChess Timer Talk
CurryOn Curry On Talks
13:50 - 15:20: Track 3CurryOn Curry On Talks at Matterhorn III
13:50 - 14:30
Talk
SuperRecord: Practical Anonymous Records for Haskell
CurryOn Curry On Talks
14:40 - 15:20
Talk
Lector in Codigo
CurryOn Curry On Talks
14:00 - 15:30: Session 2VORTEX at Bangkok
Chair(s): Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
14:00 - 14:30
Talk
SNITCH: dynamic dependent Information flow for independent Java bytecode
VORTEX
P: Eduardo Geraldo, João Costa SecoNOVA LINCS -- Universidade Nova de Lisboa
14:30 - 15:00
Talk
Implementing security protocol monitors
VORTEX
15:00 - 15:30
Talk
On Distributed runtime verification by aggregate computing
VORTEX
Giorgio AudritoUniversità di Torino, P: Ferruccio DamianiUniversity of Turin, Volker StolzHøgskulen på Vestlandet, Mirko ViroliUniversity of Bologna
14:00 - 15:30: Session 2ICOOOLPS at Hanoi
14:00 - 14:25
Research paper
Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages
ICOOOLPS
Alexandros TasosImperial College London, Juliana FrancoMicrosoft Research, Cambridge, Tobias WrigstadUppsala University, Sophia DrossopoulouImperial College London, Susan EisenbachImperial College London
14:30 - 14:55
Research paper
Maintaining Canonical Form After Edge Deletion
ICOOOLPS
Eric FritzUniversity of Wisconsin, Milwaukee
15:00 - 15:25
Research paper
Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free
ICOOOLPS
Micha HergardenOpen University of the Netherlands, The Netherlands, Sung-Shik JongmansOpen University of the Netherlands, The Netherlands
14:00 - 17:30: Lecture: AhmedSummer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:00 - 17:30
Talk
Compiler Verification for a Multi-Language World
Summer School
S: Amal AhmedNortheastern University
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
15:30 - 16:00: Coffee BreakISSTA Catering at Atrium Foyer
15:30 - 16:00
Coffee Break
ISSTA Catering
15:55 - 17:25: Track 1CurryOn Curry On Talks at Matterhorn I
15:55 - 16:35
Talk
Do-It-Yourself Functional Reactive Programming
CurryOn Curry On Talks
Manuel ChakravartyTweag I/O & IOHK
16:45 - 17:25
Talk
DB ⋈ FP = Datafun: a new functional query language
CurryOn Curry On Talks
Michael ArntzeniusUniversity of Birmingham, UK
15:55 - 17:25: Track 2CurryOn Curry On Talks at Matterhorn II
15:55 - 16:35
Talk
Isolation Without Containers
CurryOn Curry On Talks
16:45 - 17:25
Talk
Using APIs and micro-services as the glue between observed and derived facts
CurryOn Curry On Talks
Faraz BabarAmerican Express
15:55 - 17:25: Track 3CurryOn Curry On Talks at Matterhorn III
15:55 - 16:35
Talk
Type-Safe GraphQL Servers with GADTs
CurryOn Curry On Talks
16:45 - 17:25
Talk
Luna - overview
CurryOn Curry On Talks
16:00 - 18:00: Session 3VORTEX at Bangkok
Chair(s): Martin LeuckerUniversity of Lübeck
16:00 - 16:45
Talk
Run-time checking of data- and protocol-oriented properties of Java programsKeynote
VORTEX
K: Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
16:45 - 17:15
Talk
Analysis of SLA Compliance in the Cloud
VORTEX
Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Elena Giachino, P: Stijn De Gouw, Reiner HähnleTechnical University of Darmstadt, Einar Broch JohnsenUniversity of Oslo, Cosimo Laneve, Violet Ka I Pun, Gianluigi Zavattaro
16:00 - 18:00: Session 3ICOOOLPS at Hanoi
16:00 - 17:00
Talk
The first 15 years of PyPy: A retrospectiveKeynote
ICOOOLPS
17:05 - 17:30
Research paper
GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework
ICOOOLPS
Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHPI, University of Potsdam
Link to publication DOI Pre-print
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
19:30 - 23:00: ISSTA BanquetISSTA Catering at Zaalverhuur Pakhuis de Zwijger
19:30 - 23:00
Banquet
ISSTA Catering

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
10:30 - 11:00: Coffee BreakISSTA Catering at Atrium Foyer
10:30 - 11:00
Coffee Break
ISSTA Catering
11:00 - 12:30: Session #1ML4PL at Bangkok
Chair(s): Hila PelegTechnion, Israel, Artem PelenitsynCzech Technical University in Prague
11:00 - 12:00
Talk
Inferring Input Structure for Machine LearningKeynote
ML4PL
Andreas ZellerSaarland University
12:00 - 12:30
Talk
On the Importance of Common Sense in Program Synthesis
ML4PL
Hila PelegTechnion, Israel
11:00 - 12:30: Session IDPA at Cairo
Chair(s): Max SchaeferSemmle
11:00 - 11:30
Talk
Program Analysis with Flix
DPA
Magnus MadsenAalborg University
11:30 - 12:00
Talk
IncAL - Incrementalizing Lattice-Based Program Analyses
DPA
Tamás Szabóitemis AG / TU Delft, Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Sebastian ErdwegTU Delft, Markus Voelteritemis
File Attached
12:00 - 12:30
Talk
Simple encoding of lattices in Datalog
DPA
Rei ThiessenGoogle Inc.
File Attached
11:00 - 12:30: WoSSCA 1WoSSCA at Hamburg
Chair(s): Eric JulUniversity of Oslo
11:00 - 11:45
Talk
Speculative side channels: the view from WebKit
WoSSCA
11:45 - 12:30
Talk
Application-Specific Principals Must Align With Platform Boundaries
WoSSCA
11:00 - 12:30: Real-World BenchmarkingBenchWork at Hanoi
11:00 - 11:10
Opening Remarks
BenchWork
Karim AliUniversity of Alberta, Cristina CifuentesOracle Labs
11:10 - 11:40
Real World Benchmarks for JavaScript
BenchWork
File Attached
11:40 - 12:00
In Search of Accurate Benchmarking
BenchWork
Edd BarrettKing's College London, Sarah MountKing's College London, Laurence TrattKing's College London
File Attached
12:00 - 12:30
AndroZoo: Lessons Learnt After 2 Years of Running a Large Android App Collection
BenchWork
Kevin AllixUniversity of Luxembourg
11:00 - 12:30: Session 1Doc Symposium at Winterthur
11:00 - 11:04
Day opening
Welcome
Doc Symposium
11:04 - 11:24
Talk
Lightning Talks
Doc Symposium
File Attached
11:24 - 11:40
Doctoral symposium paper
A Comprehensive Approach for Battling Browser Fingerprinting Based on Machine Learning
Doc Symposium
Mohammadreza AshouriUniversity of Potsdam, Germany
File Attached
11:40 - 11:56
Doctoral symposium paper
Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics
Doc Symposium
Asanka SayakkaraUniversity College Dublin
File Attached
11:56 - 12:26
Talk
Looking ahead: what can we do during the PhD for a future career?
Doc Symposium
Mauro PezzeUniversità della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca
File Attached
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
12:30 - 14:00: LunchISSTA Catering at Atrium Foyer
12:30 - 14:00
Lunch
ISSTA Catering
13:30 - 15:24: Session 2Doc Symposium at Winterthur
14:00 - 14:25
Doctoral symposium paper
Optimization based on Facts and Fiction
Doc Symposium
Olivier FlückigerNortheastern University, USA
File Attached
14:25 - 14:41
Doctoral symposium paper
Two-phase Analysis for Precision and Scalability
Doc Symposium
Anastasios AntoniadisUniversity of Athens, Greece
File Attached
14:41 - 14:57
Doctoral symposium paper
Transparent Static Analysis for the Detection of Security Vulnerabilities
Doc Symposium
Goran PiskachevFraunhofer IEM
File Attached
14:57 - 15:13
Doctoral symposium paper
Improving Symbolic Flat Memory Models with Pointer Alias Analysis
Doc Symposium
Timotej KapusImperial College London
File Attached
15:13 - 15:29
Doctoral symposium paper
Auto-tuning Framework for Multi-core Interference Analysis
Doc Symposium
Dan IorgaImperial College London, UK
14:00 - 15:30: Session #2ML4PL at Bangkok
Chair(s): Artem PelenitsynCzech Technical University in Prague
14:00 - 14:30
Talk
Buffer Overflow Detection for C Programs is Hard to Learn
ML4PL
Cristina CifuentesOracle Labs, Yang ZhaoOracle Labs, Xingzhong DuOracle Labs, Paddy Krishnan
14:30 - 15:00
Talk
Generating Software Adaptations using Machine Learning
ML4PL
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland
15:00 - 15:30
Talk
Detecting anomalies in Kotlin code
ML4PL
Timofey Bryksin, Victor PetukhovITMO University, Kirill SmirenkoSaint Petersburg State University, Nikita PovarovJetBrains
14:00 - 15:30: WoSSCA 2WoSSCA at Hamburg
Chair(s): Eric JulUniversity of Oslo
14:00 - 14:30
Talk
Peering behind the Turing Mirror
WoSSCA
14:30 - 15:00
Talk
Hardware and Software Mitigations
WoSSCA
15:00 - 15:30
Talk
Pacer: Efficient I/O Side-Channel Mitigation in the Cloud
WoSSCA
14:00 - 15:30: JavaScript & Dynamic BehaviourBenchWork at Hanoi
14:00 - 14:30
Benchmarking WebKit
BenchWork
File Attached
14:30 - 14:50
Analyzing Duplication in JavaScript
BenchWork
Petr MajCzech Technical University, Celeste HollenbeckNortheastern University, USA, Shabbir HussainNortheastern University, Jan VitekNortheastern University
14:50 - 15:10
Building a Node.js Benchmark: Initial Steps
BenchWork
Petr MajCzech Technical University, François GauthierOracle Labs, Celeste HollenbeckNortheastern University, USA, Jan VitekNortheastern University, Cristina CifuentesOracle Labs
File Attached
15:10 - 15:30
A Micro-Benchmark for Dynamic Program Behaviour
BenchWork
Li SuiMassey University, New Zealand, Jens DietrichMassey University, Michael EmeryMassey University, Amjed TahirMassey University, Shawn RasheedMassey University
14:00 - 17:30: Lecture: MøllerSummer School at Zurich I
Chair(s): Jan VitekNortheastern University
14:00 - 17:30
Talk
Static Program Analysis
Summer School
Anders MøllerAarhus University
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
15:30 - 16:00: Coffee BreakISSTA Catering at Atrium Foyer
15:30 - 16:00
Coffee Break
ISSTA Catering
16:00 - 18:00: Session #3ML4PL at Bangkok
Chair(s): Hila PelegTechnion, Israel
16:00 - 16:30
Talk
Subtype Polymorphism à la carte via Machine Learning on Dependent Types
ML4PL
Jerry SwanUniversity of York, Colin JohnsonUniversity of Kent, Edwin BradyUniversity of St. Andrews, UK
16:30 - 17:00
Talk
Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks
ML4PL
Artem PelenitsynCzech Technical University in Prague
17:00 - 17:30
Meeting
Open Forum
ML4PL
16:00 - 17:30: Session IIIDPA at Cairo
Chair(s): Neville GrechUniversity of Athens
16:00 - 16:30
Talk
Horn Clause-based Program Analysis with CiaoPP
DPA
Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
File Attached
16:30 - 17:00
Talk
QL + LGTM = Declarative Program Analysis for the Masses
DPA
File Attached
16:00 - 17:30: WoSSCA 3WoSSCA at Hamburg
Chair(s): Jan VitekNortheastern University
16:00 - 16:45
Talk
Software Diversity vs. Side Channels
WoSSCA
Stefan BrunthalerBundeswehr University Munich
16:45 - 17:30
Talk
Electromagnetic Side-Channel Attacks: Potential for Progressing Hindered Digital Forensic Analysis
WoSSCA
Asanka SayakkaraUniversity College Dublin
16:00 - 17:40: Software Engineering & CompilersBenchWork at Hanoi
16:00 - 16:30
InspectorClone: Evaluating Precision of Clone Detection Tools
BenchWork
16:30 - 16:50
Towards a Data-Curation Platform for Code-Centric Research
BenchWork
Ben HermannUniversity of Paderborn, Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
16:50 - 17:10
The Architecture Independent Workload Characterization
BenchWork
Beau JohnstonAustralian National University
File Attached
17:10 - 17:40
Performance Monitoring in Eclipse OpenJ9
BenchWork
16:00 - 17:43: Session 3Doc Symposium at Winterthur
16:00 - 16:25
Doctoral symposium paper
Probabilistic Software Modeling
Doc Symposium
Hannes ThallerInstitute for Software Systems Engineering, Johannes Kepler University, Linz
Pre-print
16:25 - 16:41
Doctoral symposium paper
Testing for Performance Issues in OS Kernels
Doc Symposium
File Attached
16:41 - 16:57
Doctoral symposium paper
Automated End To End Testing of Single Page Web Applications
Doc Symposium
Matteo BiagiolaFondazione Bruno Kessler, Trento, Italy
File Attached
16:57 - 17:27
Talk
Landing your Dream Job After Graduate School
Doc Symposium
Cindy Rubio-GonzálezUniversity of California, Davis
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
17:00 - 20:00: Poster sessionPosters at Matterhorn
Chair(s): Lisa Nguyen Quang DoPaderborn University
17:00 - 20:00
Poster
Typed First-Class TraitsECOOP paper
Posters
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China
17:00 - 20:00
Poster
PerfFuzz: Automatically Generating Pathological InputsISSTA paperDistinguished paper
Posters
Caroline LemieuxUniversity of California, Berkeley, Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Dawn Song
17:00 - 20:00
Poster
Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented ProgrammingCOP paper
Posters
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas
17:00 - 20:00
Poster
Bench4BL: Reproducibility Study on the Performance of IR-Based Bug LocalizationISSTA paper
Posters
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
17:00 - 20:00
Poster
Targeted Test Generation for Actor SystemsECOOP paper
Posters
Sihan Li, Farah HaririUniversity of Illinois at Urbana-Champaign, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
17:00 - 20:00
Poster
Leveraging Electromagnetic Side-Channel Attacks for Digital ForensicsWoSSCA talk
Posters
Asanka SayakkaraUniversity College Dublin, Nhien-An Le-KhacUniversity College Dublin, Mark ScanlonUniversity College Dublin
17:00 - 20:00
Poster
Practical Detection of Concurrency Issues at Coding TimeISSTA paperDemonstration
Posters
Luc BläserHochschule für Technik Rapperswil
17:00 - 20:00
Poster
Defensive Points-To Analysis: Effective Soundness via LazinessECOOP paperDistinguished paper
Posters
Yannis SmaragdakisUniversity of Athens, George KastrinisUniversity of Athens
17:00 - 20:00
Poster
Shaping Program Repair Space with Existing Patches and Similar CodeISSTA paper
Posters
Jiajun JiangPeking University, Yingfei XiongPeking University, Hongyu ZhangThe University of Newcastle, Qing GaoPeking University, Xiangqun ChenPeking University
17:00 - 20:00
Poster
Type Regression Testing to Detect Breaking Changes in Node.js LibrariesECOOP paper
Posters
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Martin Toldam TorpAarhus University
17:00 - 20:00
Poster
Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based ApproachISSTA paper
Posters
Seung Yeob ShinSnT Centre/University of Luxembourg, Shiva NejatiSnT Centre/University of Luxembourg, Mehrdad SabetzadehSnT Centre/University of Luxembourg, Lionel BriandSnT Centre/University of Luxembourg, Frank ZimmerSES Techcom
17:00 - 20:00
Poster
Making Data-Driven Porting Decisions with TuscanISSTA paper
Posters
Kareem KhazemUniversity College London, Earl T. Barr, Petr HosekGoogle, Inc.
17:00 - 20:00
Poster
Advances in the ANaConDA FrameworkDemonstrationISSTA demonstrationBest tool demo
Posters
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
17:00 - 20:00
Poster
Automated End To End Testing of Single Page Web ApplicationsDoctoral symposium paper
Posters
Matteo BiagiolaFondazione Bruno Kessler, Trento, Italy, Paolo TonellaFondazione Bruno Kessler, Filippo RiccaDIBRIS, University of Genova, Italy
17:00 - 20:00
Poster
A Characteristic Study of Parameterized Unit Tests in .NET Open Source ProjectsECOOP paper
Posters
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
17:00 - 20:00
Poster
Shooting from the Heap: Ultra-Scalable Static Analysis with Heap SnapshotsISSTA paper
Posters
Neville GrechUniversity of Athens, George FourtounisUniversity of Athens, Adrian FrancalanzaUniversity of Malta, Yannis SmaragdakisUniversity of Athens
17:00 - 20:00
Poster
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT ApplicationsDemonstrationECOOP paper
Posters
Julien Gascon-Samson, Kumseok JungUniversity of British Columbia, Shivanshu GoyalUniversity of British Columbia, Armin Rezaiean-AselUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
17:00 - 20:00
Poster
Polyglot Programming - Opportunities of Language Implementation Frameworks for Software DevelopersDemonstrationICOOOLPS paper
Posters
Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHPI, University of Potsdam
17:00 - 20:00
Poster
OASIs: Oracle Assessment and Improvement ToolDemonstrationISSTA demonstration
Posters
Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler
17:00 - 20:00
Poster
Deep Learning over CodeISSTA paperDistinguished paper
Posters
Chris CumminsUniversity of Edinburgh, Pavlos PetoumenosUniversity of Edinburgh, Alastair MurrayCodeplay Software, Hugh LeatherUniversity of Edinburgh
17:00 - 20:00
Poster
Translating Code Comments to Procedure SpecificationsISSTA paperDemonstration
Posters
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 PezzeUniversità della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca, Sergio Delgado CastellanosIMDEA Software Institute
17:00 - 20:00
Poster
Transparent Static Analysis for the Detection of Security VulnerabilitiesDoctoral symposium paper
Posters
Goran PiskachevFraunhofer IEM
17:00 - 20:00
Poster
Symbolic Path Cost Analysis for Side-Channel DetectionISSTA paper
Posters
Tegan Brennan, Seemanta SahaUniversity of California Santa Barbara, Tevfik BultanUniversity of California, Santa Barbara, Corina S PasareanuNASA Ames Research Center
17:00 - 20:00
Poster
FHJ: A Formal Model for Hierarchical Dispatching and OverridingECOOP paper
Posters
Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Marco ServettoVictoria University of Wellington
17:00 - 20:00
Poster
Incrementalizing Lattice-Based Program AnalysesFTfJP paper
Posters
17:00 - 20:00
Poster
Secure integration of cryptographic softwareDemonstrationECOOP paper
Posters
Stefan KrügerUniversity of Paderborn, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
17:00 - 20:00
Poster
Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeISSTA paperDistinguished paper
Posters
Lina QiuUniversity of British Columbia, YINGYING WANG, Julia RubinUniversity of British Columbia
17:00 - 20:00
Poster
Badger: Complexity Analysis with Fuzzing and Symbolic ExecutionISSTA paper
Posters
Yannic NollerHumboldt-Universität zu Berlin, Rody KerstenSynopsys, Inc., Corina S PasareanuNASA Ames Research Center
17:00 - 20:00
Poster
Efficient Reflection String Analysis via Graph ColoringECOOP paper
Posters
Neville GrechUniversity of Athens, George KastrinisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
17:00 - 20:00
Poster
Tests from Traces: Automated Unit Test Extraction for RISSTA paperDistinguished artifact award
Posters
Filip KřikavaCzech Technical University, Jan VitekNortheastern University
17:00 - 20:00
Poster
CiD: Automating the Detection of API-related Compatibility Issues in Android AppsISSTA paper
Posters
Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Haoyu Wang, Jacques KleinUniversity of Luxembourg, SnT
17:00 - 20:00
Poster
Modelling infinite behaviour by corulesECOOP paper
Posters
Davide AnconaUniversity of Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
17:00 - 20:00
Poster
Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture OverviewSOAP paper
Posters
Andreas SchulerUniversity of Applied Sciences Upper Austria, Gabriele Anderst-KotsisJohannes Kepler University, Linz, Austria
17:00 - 20:00
Poster
Learning to Accelerate Symbolic Execution via Code TransformationECOOP paper
Posters
Junjie ChenPeking University, Wenxiang HuPeking University, Lingming Zhang, Dan HaoPeking University, Sarfraz KhurshidUniversity of Texas at Austin, Lu ZhangPeking University
17:00 - 20:00
Poster
Distributed Multitier Programming with Placement Types using ScalaLociFTfJP paper
Posters
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
17:00 - 20:00
Poster
SHAPES: Adding memory layouts and SIMD capabilities to high-level languagesICOOOLPS paper
Posters
Juliana FrancoMicrosoft Research, Cambridge, Alexandros TasosImperial College London, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Susan EisenbachImperial College London
17:00 - 20:00
Poster
Automating Object Transformations for Dynamic Software Updating via Online Execution SynthesisECOOP paper
Posters
Tianxiao Gu, Xiaoxing MaNanjing University, Chang XuNanjing University, Yanyan JiangNanjing University, Chun CaoNanjing University, Jian LuNanjing University
17:00 - 20:00
Poster
Theory and Practice of Coroutines with SnapshotsECOOP paper
Posters
Aleksandar ProkopecOracle Labs, Fengyun LiuEPFL, Switzerland
17:00 - 20:00
Poster
Fault-tolerant Distributed Reactive ProgrammingECOOP paper
Posters
Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerPhilipps-Universität Marburg, Guido SalvaneschiTU Darmstadt, Bernd FreislebenPhilipps-Universität Marburg, Mira MeziniTU Darmstadt
17:00 - 20:00
Poster
A Portable Framework for Multi-core Interference Tuning and AnalysisDoctoral symposium paper
Posters
Dan IorgaImperial College London, UK, Alastair DonaldsonImperial College London
17:00 - 20:00
Poster
Probabilistic Software ModelingDoctoral symposium paper
Posters
Hannes ThallerInstitute for Software Systems Engineering, Johannes Kepler University, Linz
17:00 - 20:00
Demonstration
Mutode: Generic JavaScript and Node.js Mutation Testing ToolDemonstrationISSTA demonstration
Posters
Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
17:00 - 20:00
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMsECOOP paper
Posters
Jonathan BellGeorge Mason University, Luís PinaGeorge Mason University
Media Attached
17:00 - 20:00
Poster
Testing for Performance Issues in OS KernelsDoctoral symposium paper
Posters
17:00 - 20:00
Poster
The Essence of Nested CompositionECOOP paper
Posters
Xuan BiThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, China, Tom SchrijversKU Leuven
17:00 - 20:00
Poster
Generating software adaptations using machine learningML4PL talk
Posters
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland
17:00 - 20:00
Poster
Automatically Translating Bug Reports into Test Cases for Mobile AppsISSTA paper
Posters
Mattia FazziniGeorgia Institute of Technology, Martin PrammerGeorgia Institute of Technology, Marcelo d'AmorimFederal University of Pernambuco, Alessandro OrsoGeorgia Tech
17:00 - 20:00
Poster
Repositioning of Static Analysis AlarmsISSTA paper
Posters
Tukaram MuskeTata Consultancy Services Ltd, Rohith TalluriTata Consultancy Services Ltd, Alexander SerebrenikEindhoven University of Technology
18:00 - 20:00: Poster ReceptionCatering at Matterhorn
18:00 - 20:00
Poster
Poster reception
Catering

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
10:30 - 11:00: Coffee BreakECOOP Catering at Atrium Foyer
10:30 - 11:00
Coffee Break
ECOOP Catering
11:00 - 12:30: Welcome and KeynoteTAV-CPS/IoT at Bangkok
11:00 - 12:00
Talk
Computing Paradigms for Emerging Pervasive & IoT-based Applications
TAV-CPS/IoT
Archan MisraSingapore Management University, Singapore
12:00 - 12:30
Research paper
Analysing The Effect of Uncertainty in Airport Surface Operations
TAV-CPS/IoT
Heron YangCarnegie Mellon University, Robert MorrisMIT, Corina S PasareanuNASA Ames Research Center
11:00 - 12:30: Session 1Panathon at Hamburg
11:00 - 11:05
Opening Remarks
Panathon
11:05 - 11:30
Project Introductions
Panathon
11:30 - 12:30
Work in Groups
Panathon
11:00 - 12:30: Session 1INTUITESTBEDS at Hanoi
11:00 - 11:10
Welcome
INTUITESTBEDS
11:10 - 12:00
Keynote: Alégroth, Amalfitano, Vos, and Aho
INTUITESTBEDS
Emil AlégrothBlekinge Institute of Technology, Domenico AmalfitanoUniversity of Naples Federico II, Tanja E. J. VosUniversitat Politècnica de València and Open Universiteit, Pekka AhoOpen University of the Netherlands
12:00 - 12:30
Talk
Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art
INTUITESTBEDS
Mauro PezzèUniversity of Milano-Bicocca, Italy, Daniele ZuddasUniversità della Svizzera italiana (USI), Paolo Rondena
11:00 - 12:30: SALAD 1SALAD at Paris
Chair(s): Harry XuUniversity of California, Los Angeles
11:00 - 11:15
Talk
ONR's perspective on debloating
SALAD
11:15 - 11:55
Talk
Degunking the CloudKeynote
SALAD
Nick MitchellIBM TJ Watson Research Center
11:55 - 12:30
Talk
Application Extraction for Java: A retrospective report of the Jax project
SALAD
Frank TipNortheastern University, Chris LaffraUber Technologies
11:00 - 13:00: Lecture: OrsoSummer School at Zurich I
Chair(s): Jan VitekNortheastern University
11:00 - 13:00
Talk
Software Testing and Debugging: State of the Art and Open Issues
Summer School
Alex OrsoGeorgia Institute of Technology
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
12:40 - 14:00: LunchECOOP Catering at Atrium Foyer
12:40 - 14:00
Lunch
ECOOP Catering
13:30 - 15:30: SALAD 2SALAD at Paris
Chair(s): Harry XuUniversity of California, Los Angeles
13:30 - 14:00
Talk
An Opinionated Survey of the Java Static Analysis Landscape
SALAD
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
14:00 - 14:30
Talk
Class hierarchy flattening: obfuscating (almost) all type information in Java programs
SALAD
Bjorn De SutterGhent University, Belgium
14:30 - 15:00
Talk
Delta Debugging of Java Bytecode
SALAD
Jens PalsbergUniversity of California, Los Angeles
15:00 - 15:30
Talk
Fine-Grained Library Customization
SALAD
Linhai SongPennsylvania State University, USA, Xinyu Xing
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
14:00 - 15:30: TalksTAV-CPS/IoT at Bangkok
14:00 - 15:00
Talk
Conformance Testing as a Tool for Designing Connected Vehicle Functions
TAV-CPS/IoT
Mohammad MousaviUniversity of Leicester, UK
15:00 - 15:30
Research paper
A Pattern-based IoT Testing Framework
TAV-CPS/IoT
Pedro Martins PontesFaculty of Engineering, University of Porto and INESC TEC, Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC
14:00 - 15:30: Session 2Panathon at Hamburg
14:00 - 15:30
Work in Groups
Panathon
14:00 - 15:30: Session 2INTUITESTBEDS at Hanoi
14:00 - 14:30
Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices
INTUITESTBEDS
Riccardo CoppolaPolitecnico di Torino, Emil AlégrothBlekinge Institute of Technology, Luca Ardito, Marco Torchiano
14:30 - 15:00
Talk
Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities
INTUITESTBEDS
Domenico AmalfitanoUniversity of Naples Federico II, Anna Rita FasolinoFederico II University of Naples, Vincenzo RiccioUniversity of Naples Federico II
15:00 - 15:30
Talk
GUI Scalability Issues of Windows Desktop Applications and How to Find Them
INTUITESTBEDS
Rudolf RamlerSoftware Competence Center Hagenberg, Thomas Wetzlmaier, Robert Hoschek
14:30 - 17:00: Lecture: ClickSummer School at Zurich I
Chair(s): Jan VitekNortheastern University
14:30 - 17:00
Talk
Writing Virtual Machines for fun and profit
Summer School
15:30 - 16:00: Coffee BreakECOOP Catering at Atrium Foyer
15:30 - 16:00
Coffee Break
ECOOP Catering
16:00 - 17:30: Session 3Panathon at Hamburg
16:00 - 17:00
Work in Groups
Panathon
17:00 - 17:25
Progress Reports
Panathon
17:25 - 17:30
Closing Remarks
Panathon
16:00 - 17:30: Session 3INTUITESTBEDS at Hanoi
16:00 - 16:30
Tool Demos
INTUITESTBEDS
16:30 - 17:00
Talk
Student Presentation: Conny Hagelukken
INTUITESTBEDS
17:00 - 17:30
Talk
Student Presentation: Marion de Groot
INTUITESTBEDS
16:00 - 18:30: SALAD 3SALAD at Paris
Chair(s): Jan VitekNortheastern University
16:00 - 16:37
Talk
On the Effectiveness of Kernel Debloating via Compile-time Configuration
SALAD
Mansour Alharthi, Hong HuGeorgia Institute of Technology, Hyungon MoonGeorgia Tech, Taesoo KimGeorgia Tech
16:37 - 17:15
Talk
WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support
SALAD
Julian DolbyIBM Thomas J. Watson Research Center
17:15 - 17:52
Talk
Detection of Spectre vulnerabilities via static analysis
SALAD
Omer TrippGoogle Inc.
17:52 - 18:30
Talk
BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
SALAD
Taddeus KroesVrije Universiteit Amsterdam, Anil Altinay, Joseph Nash, Yeoul Na, Stijn VolckaertUniversity of California, Irvine, Herbert Bos, Michael FranzUniversity of California, Irvine, Cristiano Giuffrida
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
10:30 - 11:00: Coffee BreakECOOP Catering at Atrium Foyer
10:30 - 11:00
Coffee Break
ECOOP Catering
11:00 - 12:30: Morning SessionISAGT at Berlin
Chair(s): Chris LaffraUber Technologies
11:00 - 11:05
Day opening
Welcome
ISAGT
Chris LaffraUber Technologies
11:05 - 11:30
Talk
Automatic Python test generation
ISAGT
Chris LaffraUber Technologies
11:30 - 12:00
Talk
Extracting tests from runtime behavior for R
ISAGT
Filip KřikavaCzech Technical University
12:00 - 12:30
Talk
Computer-aided unit-test generation with UTA
ISAGT
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
12:40 - 14:00: LunchECOOP Catering at Atrium Foyer
12:40 - 14:00
Lunch
ECOOP Catering
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
14:00 - 15:30: After Lunch SessionISAGT at Berlin
Chair(s): Chris LaffraUber Technologies
14:00 - 14:45
Talk
Checking Non-Deterministic Behavior in Unit Tests
ISAGT
Luc BläserHochschule für Technik Rapperswil
14:45 - 15:30
Talk
Generating tests for mobile platforms
ISAGT
Li LiMonash University, Australia, Jacques KleinUniversity of Luxembourg, SnT, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg
14:30 - 17:00: Lecture: BriandSummer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:30 - 17:00
Talk
Artificial Intelligence for Automated Software Testing
Summer School
Lionel BriandSnT Centre/University of Luxembourg
15:30 - 16:00: Coffee BreakECOOP Catering at Atrium Foyer
15:30 - 16:00
Coffee Break
ECOOP Catering
16:00 - 17:30: After Tea SessionISAGT at Berlin
Chair(s): Chris LaffraUber Technologies
16:00 - 16:30
Talk
Analyzing the analyzers
ISAGT
Julia RubinUniversity of British Columbia
16:30 - 17:00
Talk
Machine learning for compilers
ISAGT
Chris CumminsUniversity of Edinburgh
17:00 - 17:25
Meeting
Plenary Discussion
ISAGT
Chris LaffraUber Technologies
17:25 - 17:30
Day closing
Closing
ISAGT
Chris LaffraUber Technologies
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
19:30 - 23:00
Banquet
ECOOP Catering

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
10:30 - 11:00: Coffee BreakECOOP Catering at Atrium Foyer
10:30 - 11:00
Coffee Break
ECOOP Catering
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

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

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

</