ECOOP and ISSTA 2018 (series) /
ECOOP and ISSTA 2018 Program
Filter Program
Dates
Sun 15 Jul 2018
Mon 16 Jul 2018
Tue 17 Jul 2018
Wed 18 Jul 2018
Thu 19 Jul 2018
Fri 20 Jul 2018
Sat 21 Jul 2018
Rooms
Atrium Foyer
Bangkok
Berlin
Cairo
De Koninklijke Industrieele Groote Club
Hamburg
Hanoi
ISSTA Steering Committee Meeting Room
Lunch Room
Matterhorn
Matterhorn I
Matterhorn II
Matterhorn III
Paris
Tobacco Theater
Winterthur
Zaalverhuur Pakhuis de Zwijger
Zurich I
Zurich II
Tracks
BenchWork
COP
CurryOn Catering
CurryOn Curry On Keynotes
CurryOn Curry On Talks
DPA
ECOOP Keynotes
ECOOP Research Papers
ECOOP Catering
ECOOP and ISSTA Catering
ECOOP and ISSTA Doc Symposium
ECOOP and ISSTA Posters
ECOOP and ISSTA Summer School
FTfJP
ICOOOLPS
INTUITESTBEDS
ISAGT
ISSTA Keynotes
ISSTA Steering Committee Meeting (By Invitation Only)
ISSTA Technical Papers
ISSTA Tool Demonstrations
ISSTA Catering
ML4PL
Panathon
SALAD
SOAP
TAV-CPS/IoT
VORTEX
WoSSCA
Badges
Best Tool Demo
Best tool demo
COP paper
Chess Timer Talk
Demonstration
Distinguished Paper
Distinguished artifact award
Distinguished paper
Doctoral symposium paper
ECOOP paper
FTfJP paper
ICOOOLPS paper
ISSTA demonstration
ISSTA paper
KEYNOTE
Keynote
ML4PL talk
SOAP paper
WoSSCA talk
Your Program
Nothing to filter
Sun 15 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 15 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
17:00 - 20:00 | |||
17:00 3hTalk | 35 years of fun with functional programming Summer School | ||
Mon 16 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 16 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 15m | Welcome ISSTA Keynotes Tijs van der Storm CWI, Frank Tip Northeastern University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
09:15 60mTalk | Solver-Aided Programming for All ISSTA Keynotes Emina Torlak University of Washington | ||
09:15 - 10:20 | |||
09:15 15m | Opening Remarks CurryOn Curry On Keynotes | ||
09:30 50mTalk | WebAssembly, Past, Present, and FutureKEYNOTE CurryOn Curry On Keynotes | ||
10:30 - 11:00 | |||
10:30 30m | Coffee Break ISSTA Catering | ||
11:00 - 12:30 | Session 1COP at Bangkok Chair(s): Jens Lincke Hasso Plattner Institute, Tetsuo Kamina Oita University | ||
11:00 30mTalk | Activity Contexts: Improving Modularity in Blockchain-based Smart Contracts using Context-oriented Programming COP | ||
11:30 30mTalk | A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems COP Takuo Watanabe Tokyo Institute of Technology Link to publication DOI | ||
12:00 30mTalk | Cross-cutting Commentary: Narratives for Multi-party Mechanisms and Concerns COP Robert Hirschfeld HPI, University of Potsdam, Patrick Rein Hasso Plattner Institute, Marcel Taeumel Hasso Plattner Institute, Tobias Dürschmid Hasso Plattner Institute | ||
11:00 - 12:30 | |||
11:00 30mFull-paper | Monotonic Gradual Typing in a Common Calculus FTfJP Pre-print | ||
11:30 30mFull-paper | Incremental Overload Resolution in Object-Oriented Programming Languages FTfJP Tamás Szabó itemis AG / TU Delft, Edlira Kuci TU Darmstadt, Germany, Matthijs Bijman Delft University of Technology, Mira Mezini TU Darmstadt, Sebastian Erdweg TU Delft Pre-print | ||
12:00 30mFull-paper | Safely Abstracting Memory Layouts FTfJP Juliana Franco Microsoft Research, Cambridge, Alexandros Tasos Imperial College London, Sophia Drossopoulou Imperial College London, Tobias Wrigstad Uppsala University, Susan Eisenbach Imperial College London Pre-print | ||
11:00 - 12:30 | |||
11:00 40mTalk | Streaming analytics: How to Get Fast Predictions From Real-Time Data with Flink, Kafka, and Cassandra CurryOn Curry On Talks Bas Geerdink ING | ||
11:50 40mTalk | ApacheSpark as a gateway drug to FP: Concepts taught & broken CurryOn Curry On Talks Holden Karau Google | ||
11:00 - 12:30 | |||
11:00 40mTalk | Adding kind-polymorphism to the Scala programming language CurryOn Curry On Talks Miles Sabin Underscore LLP | ||
11:50 40mTalk | Constant-time crypto programming with FaCT CurryOn Curry On Talks Deian Stefan University of California, San Diego | ||
11:00 - 12:30 | |||
11:00 40mTalk | Your inner compiler engineer wants out! CurryOn Curry On Talks Jesse Alama Vicampo | ||
11:50 40mTalk | 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 Cadar Imperial College London | ||
11:00 20mTalk | Lightweight Verification of Array Indexing ISSTA Technical Papers Martin Kellogg University of Washington, Seattle, Vlastimil Dort Charles University, Suzanne Millstein University of Washington, Michael D. Ernst University of Washington, USA | ||
11:20 20mTalk | Eliminating Timing Side-channel Leaks Using Program Repair ISSTA Technical Papers Meng Wu Virginia Tech, Shengjian (Daniel) Guo Virginia Tech, Patrick Schaumont Virginia Tech, Chao Wang University of Southern California | ||
11:40 20mTalk | Symbolic Path Cost Analysis for Side-Channel Detection ISSTA Technical Papers Tegan Brennan , Seemanta Saha University of California Santa Barbara, Tevfik Bultan University of California, Santa Barbara, Corina S. Păsăreanu NASA Ames Research Center | ||
12:00 20mTalk | Safe and Sound Program Analysis with Flix ISSTA Technical Papers | ||
12:20 10m | Q&A in groups ISSTA Technical Papers | ||
12:30 - 14:00 | |||
12:30 90m | Lunch ISSTA Catering | ||
13:50 - 15:20 | |||
13:50 40mTalk | Domain Specific Programming Platforms for Creativity CurryOn Curry On Talks Jennifer Mary Jacobs Stanford | ||
14:40 40mTalk | Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra CurryOn Curry On Talks | ||
13:50 - 15:20 | |||
13:50 40mTalk | A CRDT Primer: Defanging Order Theory CurryOn Curry On Talks John Mumm Vectrology Solutions | ||
14:40 40mTalk | Better living through incrementality: Immediate static analysis feedback without loss of precision CurryOn Curry On Talks | ||
13:50 - 15:20 | |||
13:50 40mTalk | Taming the C monster: Haskell FFI techniques CurryOn Curry On Talks Fraser Tweedale Red Hat | ||
14:40 40mTalk | Akka.JS and why the actor model matters even in JS's world. CurryOn Curry On Talks Andrea Peruffo Nokia | ||
14:00 - 15:30 | Session 2COP at Bangkok Chair(s): Tetsuo Kamina Oita University, Jens Lincke Hasso Plattner Institute | ||
14:00 30mTalk | A Context-Oriented Programming Approach to Dependency Hell COP Yudai Tanabe Tokyo Institute of Technology, Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology | ||
14:30 30mTalk | Feature Visualiser: an Inspection Tool for Context-Oriented Programmers COP Benoît Duhoux Université catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium, Bruno Dumas | ||
15:00 30mTalk | A Declarative Language for Context Activation COP Nicolás Cardozo Universidad de los Andes | ||
14:00 - 15:30 | |||
14:00 60mTalk | Towards specifications of robustness -- the things that programs do *not* doKeynote FTfJP Sophia Drossopoulou Imperial College London | ||
15:00 30mFull-paper | Specification Idioms from Industrial Experience FTfJP David Cok CEA, 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ález University of California, Davis | ||
14:00 20mTalk | Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach ISSTA Technical Papers Seung Yeob Shin SnT Centre/University of Luxembourg, Shiva Nejati SnT Centre/University of Luxembourg, Mehrdad Sabetzadeh SnT Centre/University of Luxembourg, Lionel C. Briand SnT Centre/University of Luxembourg, Frank Zimmer SES Techcom | ||
14:20 20mTalk | Bench4BL: Reproducibility Study on the Performance of IR-Based Bug Localization ISSTA Technical Papers Jaekwon Lee University of Luxembourg, Luxembourg, Dongsun Kim University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Woosung Jung Seoul National University of Education, Yves Le Traon University of Luxembourg | ||
14:40 20mTalk | Automated Test Mapping and Coverage for Network Topologies ISSTA Technical Papers Per Erik Strandberg Westermo Research and Development AB, Thomas Ostrand , Elaine Weyuker Mälardalen University, Daniel Sundmark Mälardalen University, Wasif Afzal Mälardalen University | ||
15:00 20mTalk | Evaluating Test-Suite Reduction in Real-World Software Evolution ISSTA Technical Papers August Shi University of Illinois at Urbana-Champaign, Alex Gyori Facebook, Muhammad Suleman Mahmood University of Illinois at Urbana-Champaign, Peiyuan Zhao University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign | ||
15:20 10m | Q&A in groups ISSTA Technical Papers | ||
14:30 - 17:00 | |||
14:30 2h30mTalk | Symbolic Execution and Probabilistic Reasoning Summer School | ||
15:30 - 16:00 | |||
15:30 30m | Coffee Break ISSTA Catering | ||
15:55 - 17:25 | |||
15:55 40mTalk | Spoofax: Live Programming Language Design CurryOn Curry On Talks Eelco Visser Delft University of Technology | ||
16:45 40mTalk | Transducing for fun and profit CurryOn Curry On Talks Simon Belak Metabase | ||
15:55 - 17:25 | |||
15:55 40mTalk | It Ain't Necessarily So CurryOn Curry On Talks Chris Ford ThoughtWorks (UK) Ltd. | ||
16:45 40mTalk | Language Design in the Open CurryOn Curry On Talks Yulia Startsev Mozilla | ||
15:55 - 17:25 | |||
15:55 40mTalk | Papers we love - Elixir edition CurryOn Curry On Talks Andrea Leopardi Weedmaps | ||
16:45 40mTalk | Hackett: a metaprogrammable Haskell CurryOn Curry On Talks Alexis King Northwestern University | ||
16:00 - 18:15 | |||
16:00 25mShort-paper | Reasoning about Functional Programming in Java and C++ FTfJP David Cok CEA, LIST, Software Safety and Security Laboratory Pre-print | ||
16:25 25mShort-paper | A Formalism for Specification of Java API Interfaces FTfJP Davide Ancona University of Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Luca Franceschini DIBRIS, University of Genova Pre-print | ||
16:50 25mShort-paper | Static Latency Tracking with Placement Types FTfJP Pascal Weisenburger Technische Universität Darmstadt, Tobias Reinhard Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt Pre-print | ||
17:15 30mDemonstration | Tool demonstration: The VerCors Verification Toolset FTfJP Wytse Oortwijn University of Twente, The Netherlands Pre-print | ||
17:45 30mFull-paper | An Exercise in Verifying Sequential Programs with VerCors FTfJP Sebastiaan Joosten , Wytse Oortwijn University of Twente, The Netherlands, Mohsen Safari University of Twente, The Netherlands, Marieke Huisman University of Twente Pre-print | ||
16:00 - 17:30 | Machine LearningISSTA Technical Papers at Zurich II Chair(s): Alex Orso Georgia Institute of Technology | ||
16:00 20mTalk | Compiler Fuzzing through Deep Learning ISSTA Technical Papers Chris Cummins University of Edinburgh, Pavlos Petoumenos University of Edinburgh, Alastair Murray Codeplay Software, Hugh Leather University of Edinburgh | ||
16:20 20mTalk | Deep Specification Mining ISSTA Technical Papers Tien-Duy B. Le School of Information Systems, Singapore Management University, David Lo Singapore Management University | ||
16:40 20mTalk | Identifying Implementation Bugs in Machine Learning based Image Classifiers using Metamorphic Testing ISSTA Technical Papers Anurag Dwarakanath Accenture Labs, Manish Ahuja Accenture Labs, Samarth Sikand Accenture Labs, Raghotham M Rao Accenture Labs, R.P. Jagadeesh Chandra Bose Accenture Labs, Neville Dubash Accenture Labs, Sanjay Podder | ||
17:00 20mTalk | An Empirical Study on TensorFlow Program Bugs ISSTA Technical Papers Yuhao Zhang Peking University, Yifan Chen Peking University, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Yingfei Xiong Peking University, Lu Zhang Peking University Pre-print | ||
17:20 10m | Q&A in groups ISSTA Technical Papers | ||
17:50 - 18:40 | |||
17:50 50mTalk | Linear Haskell: practical linearity in a higher-order polymorphic languageKEYNOTE CurryOn Curry On Keynotes Simon Peyton Jones Microsoft Research | ||
19:30 - 23:00 | |||
19:30 3h30m | Curry On Party CurryOn Catering | ||
Tue 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 20mTalk | Automatically Translating Bug Reports into Test Cases for Mobile Apps ISSTA Technical Papers Mattia Fazzini Georgia Institute of Technology, Martin Prammer Georgia Institute of Technology, Marcelo d'Amorim Federal University of Pernambuco, Alessandro Orso Georgia Tech | ||
09:20 20mTalk | CiD: Automating the Detection of API-related Compatibility Issues in Android Apps ISSTA Technical Papers Li Li Monash University, Australia, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg, Haoyu Wang , Jacques Klein University of Luxembourg, SnT | ||
09:40 20mTalk | Test Migration for Efficient Large-Scale Assessment of Mobile App Coding Assignments ISSTA Technical Papers | ||
10:00 20mTalk | Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe ISSTA Technical Papers | ||
10:20 10m | Q&A in groups ISSTA Technical Papers | ||
09:15 - 10:20 | |||
09:15 15m | Opening Remarks CurryOn Curry On Keynotes | ||
09:30 50mTalk | How does code sound?KEYNOTE CurryOn Curry On Keynotes | ||
10:30 - 11:00 | |||
10:30 30m | Coffee Break ISSTA Catering | ||
11:00 - 12:30 | |||
11:00 45mTalk | Stream-based runtime verification with hardware supportKeynote VORTEX | ||
11:45 45mTalk | Who is to Blame? - Runtime Verification of Distributed Objects with Active MonitorsKeynote VORTEX | ||
11:00 - 12:30 | |||
11:00 60mTalk | Polymorphic Inline Caching in JavaScriptCoreKeynote ICOOOLPS Filip Pizlo Apple | ||
12:05 25mResearch paper | Assessing primitives performance on multi-stage execution ICOOOLPS | ||
11:00 - 12:30 | |||
11:00 40mTalk | Code into Data: Embedding programs into datastores with GraalVM CurryOn Curry On Talks Thomas Wuerthinger Oracle Labs | ||
11:50 40mTalk | Challenges in Large-Scale Mobile App Performance CurryOn Curry On Talks Manu Sridharan Uber | ||
11:00 - 12:30 | |||
11:00 40mTalk | Little Languages CurryOn Curry On Talks Chris Laffra Uber Technologies | ||
11:50 40mTalk | Why VM Benchmarking is Probably Misleading you CurryOn Curry On Talks Edd Barrett King's College London | ||
11:00 - 12:30 | |||
11:00 40mTalk | Strategies for Streaming CurryOn Curry On Talks Arnout Engelen Lightbend | ||
11:50 40mTalk | Distributed Systems Protocols and their Vulnerabilities CurryOn Curry On Talks | ||
11:00 - 12:30 | |||
11:00 20mTalk | Repositioning of Static Analysis Alarms ISSTA Technical Papers Tukaram Muske Tata Consultancy Services Ltd, Rohith Talluri Tata Consultancy Services Ltd, Alexander Serebrenik Eindhoven University of Technology | ||
11:20 20mTalk | Shooting from the Heap: Ultra-Scalable Static Analysis with Heap Snapshots ISSTA Technical Papers Neville Grech University of Athens, George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens | ||
11:40 20mTalk | Static Analysis of Java Dynamic Proxies ISSTA Technical Papers George Fourtounis University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens | ||
12:00 20mTalk | Practical Detection of Concurrency Issues at Coding Time ISSTA Technical Papers Luc Bläser Hochschule für Technik Rapperswil | ||
12:20 10m | Q&A in groups ISSTA Technical Papers | ||
12:30 - 14:00 | ISSTA Steering Committee MeetingISSTA Steering Committee Meeting (By Invitation Only) at ISSTA Steering Committee Meeting Room | ||
12:30 - 14:00 | |||
12:30 90m | Lunch ISSTA Catering | ||
13:50 - 15:20 | |||
13:50 40mTalk | Rethinking Modern Web Browsers CurryOn Curry On Talks Ben Livshits Imperial College London, UK | ||
14:40 40mTalk | Lessons from a Big Data Machine Learning Startup CurryOn Curry On Talks Cliff Click Self | ||
13:50 - 15:20 | |||
13:50 40mTalk | Simplicity - The Road Not Taken? CurryOn Curry On Talks Dave Thomas Kx Systems | ||
14:40 40mTalk | Serverless Computing with Functions CurryOn Curry On Talks | ||
13:50 - 15:20 | |||
13:50 40mTalk | SuperRecord: Practical Anonymous Records for Haskell CurryOn Curry On Talks Alexander Thiemann Stripe Inc | ||
14:40 40mTalk | Lector in Codigo CurryOn Curry On Talks | ||
14:00 - 15:30 | Session 2VORTEX at Bangkok Chair(s): Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University | ||
14:00 30mTalk | SNITCH: dynamic dependent Information flow for independent Java bytecode VORTEX | ||
14:30 30mTalk | Implementing security protocol monitors VORTEX | ||
15:00 30mTalk | On Distributed runtime verification by aggregate computing VORTEX Giorgio Audrito Università di Torino, P: Ferruccio Damiani University of Turin, Volker Stolz Høgskulen på Vestlandet, Mirko Viroli University of Bologna | ||
14:00 - 15:30 | |||
14:00 25mResearch paper | Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages ICOOOLPS Alexandros Tasos Imperial College London, Juliana Franco Microsoft Research, Cambridge, Tobias Wrigstad Uppsala University, Sophia Drossopoulou Imperial College London, Susan Eisenbach Imperial College London | ||
14:30 25mResearch paper | Maintaining Canonical Form After Edge Deletion ICOOOLPS Eric Fritz University of Wisconsin, Milwaukee | ||
15:00 25mResearch paper | Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free ICOOOLPS Micha Hergarden Open University of the Netherlands, The Netherlands, Sung-Shik Jongmans Open University of the Netherlands, The Netherlands | ||
14:00 - 17:30 | |||
14:00 3h30mTalk | Compiler Verification for a Multi-Language World Summer School | ||
14:00 - 15:30 | Keynote: Visser, Khurshid, and Pasareanu & AwardsISSTA Keynotes at Zurich II Chair(s): Tevfik Bultan University of California, Santa Barbara, Frank Tip Northeastern University | ||
14:00 60mTalk | Test input generation with Java PathFinder: Then and Now ISSTA Keynotes Willem Visser Stellenbosch University, Sarfraz Khurshid University of Texas at Austin, Corina S. Păsăreanu NASA Ames Research Center | ||
15:00 7m | Impact Paper Awards ISSTA Keynotes Tevfik Bultan University of California, Santa Barbara | ||
15:07 7m | Distinguished Paper Awards ISSTA Keynotes Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
15:14 7mTalk | Distinguished Artifact Award ISSTA Keynotes | ||
15:21 7m | Best Tool Demonstration Award ISSTA Keynotes | ||
15:30 - 16:00 | |||
15:30 30m | Coffee Break ISSTA Catering | ||
15:55 - 17:25 | |||
15:55 40mTalk | Do-It-Yourself Functional Reactive Programming CurryOn Curry On Talks Manuel Chakravarty Tweag I/O & IOHK | ||
16:45 40mTalk | DB ⋈ FP = Datafun: a new functional query language CurryOn Curry On Talks Michael Arntzenius University of Birmingham, UK | ||
15:55 - 17:25 | |||
15:55 40mTalk | Isolation Without Containers CurryOn Curry On Talks Tyler McMullen Fastly | ||
16:45 40mTalk | Using APIs and micro-services as the glue between observed and derived facts CurryOn Curry On Talks Faraz Babar American Express | ||
15:55 - 17:25 | |||
15:55 40mTalk | Type-Safe GraphQL Servers with GADTs CurryOn Curry On Talks Andreas Garnæs Zendesk | ||
16:45 40mTalk | Luna - overview CurryOn Curry On Talks Sylwia Brodacka Luna | ||
16:00 - 18:00 | |||
16:00 45mTalk | Run-time checking of data- and protocol-oriented properties of Java programsKeynote VORTEX | ||
16:45 30mTalk | Analysis of SLA Compliance in the Cloud VORTEX Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University, Elena Giachino , P: Stijn De Gouw , Reiner Hähnle Technical University of Darmstadt, Einar Broch Johnsen University of Oslo, Cosimo Laneve , Violet Ka I Pun , Gianluigi Zavattaro | ||
16:00 - 18:00 | |||
16:00 60mTalk | The first 15 years of PyPy: A retrospectiveKeynote ICOOOLPS | ||
17:05 25mResearch paper | GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework ICOOOLPS Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Tim Felgentreff Oracle Labs, Potsdam, Robert Hirschfeld HPI, 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 Khurshid University of Texas at Austin | ||
16:00 20mTalk | Tests from Traces: Automated Unit Test Extraction for R ISSTA Technical Papers | ||
16:20 20mTalk | Translating Code Comments to Procedure Specifications ISSTA Technical Papers Arianna Blasi Università della Svizzera italiana (USI) and IMDEA Software Institute, Alberto Goffi Università della Svizzera italiana (USI), Konstantin Kuznetsov Saarland University, CISPA, Alessandra Gorla IMDEA Software Institute, Michael D. Ernst University of Washington, USA, Mauro Pezzè University of Milano-Bicocca, Italy, Sergio Delgado Castellanos IMDEA Software Institute | ||
16:40 20mTalk | PerfFuzz: Automatically Generating Pathological Inputs ISSTA Technical Papers Caroline Lemieux University of California, Berkeley, Rohan Padhye University of California, Berkeley, Koushik Sen University of California, Berkeley, Dawn Song | ||
17:20 10m | Q&A in groups ISSTA Technical Papers | ||
17:50 - 18:40 | |||
17:50 50mTalk | Go: building on the shoulders of giants and stepping on a few toesKEYNOTE CurryOn Curry On Keynotes Steve Francia Google | ||
19:30 - 23:00 | |||
19:30 3h30m | Banquet ISSTA Catering | ||
Wed 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 18 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | Keynote: Ernst & ISSTA 2019 PreviewISSTA Keynotes at Zurich II Chair(s): Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
09:00 60mTalk | Pluggable Type Systems Reconsidered ISSTA Keynotes Michael D. Ernst University of Washington, USA | ||
10:00 30m | ISSTA 2019 Preview ISSTA Keynotes | ||
10:30 - 11:00 | |||
10:30 30m | Coffee Break ISSTA Catering | ||
11:00 - 12:30 | Session #1ML4PL at Bangkok Chair(s): Hila Peleg Technion, Israel, Artem Pelenitsyn Czech Technical University in Prague | ||
11:00 60mTalk | Inferring Input Structure for Machine LearningKeynote ML4PL Andreas Zeller Saarland University | ||
12:00 30mTalk | On the Importance of Common Sense in Program Synthesis ML4PL Hila Peleg Technion, Israel | ||
11:00 - 12:30 | |||
11:00 30mTalk | Program Analysis with Flix DPA Magnus Madsen Aalborg University | ||
11:30 30mTalk | IncAL - Incrementalizing Lattice-Based Program Analyses DPA Tamás Szabó itemis AG / TU Delft, Gábor Bergmann Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Sebastian Erdweg TU Delft, Markus Voelter itemis File Attached | ||
12:00 30mTalk | Simple encoding of lattices in Datalog DPA Rei Thiessen Google Inc. File Attached | ||
11:00 - 12:30 | |||
11:00 45mTalk | Speculative side channels: the view from WebKit WoSSCA Filip Pizlo Apple | ||
11:45 45mTalk | Application-Specific Principals Must Align With Platform Boundaries WoSSCA Chris Palmer Google | ||
11:00 - 12:30 | |||
11:00 10m | Opening Remarks BenchWork | ||
11:10 30m | Real World Benchmarks for JavaScript BenchWork File Attached | ||
11:40 20m | In Search of Accurate Benchmarking BenchWork Edd Barrett King's College London, Sarah Mount King's College London, Laurence Tratt King's College London File Attached | ||
12:00 30m | AndroZoo: Lessons Learnt After 2 Years of Running a Large Android App Collection BenchWork Kevin Allix University of Luxembourg | ||
11:00 - 12:30 | |||
11:00 4mDay opening | Welcome Doc Symposium | ||
11:04 20mTalk | Lightning Talks Doc Symposium File Attached | ||
11:24 16mDoctoral symposium paper | A Comprehensive Approach for Battling Browser Fingerprinting Based on Machine Learning Doc Symposium Mohammadreza Ashouri University of Potsdam, Germany File Attached | ||
11:40 16mDoctoral symposium paper | Leveraging Electromagnetic Side-Channel Attacks for Digital Forensics Doc Symposium Asanka Sayakkara University College Dublin File Attached | ||
11:56 30mTalk | Looking ahead: what can we do during the PhD for a future career? Doc Symposium Mauro Pezze Università 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 Dolby IBM Thomas J. Watson Research Center | ||
11:00 20mTalk | Search-Based Detection of Deviation Failures in the Migration of Legacy Spreadsheet Applications ISSTA Technical Papers Mohammad M. Almasi University of Manitoba, Hadi Hemmati University of Calgary, Gordon Fraser University of Passau, Phil McMinn University of Sheffield, Janis Benefelds SEB Life and Pensions Holding AB | ||
11:20 20mTalk | Making Data-Driven Porting Decisions with Tuscan ISSTA Technical Papers Kareem Khazem University College London, Earl T. Barr University College London, Petr Hosek Google, Inc. | ||
11:40 20mTalk | Comparing developer-provided to user-provided tests for fault localization and automated program repair ISSTA Technical Papers René Just University of Massachusetts, USA, Chris Parnin NCSU, Ian Drosos University of California, San Diego, Michael D. Ernst University of Washington, USA | ||
12:00 20mTalk | Shaping Program Repair Space with Existing Patches and Similar Code ISSTA Technical Papers Jiajun Jiang Peking University, Yingfei Xiong Peking University, Hongyu Zhang The University of Newcastle, Qing Gao Peking University, Xiangqun Chen Peking University Pre-print | ||
12:20 10m | Q&A in groups ISSTA Technical Papers | ||
12:30 - 14:00 | |||
12:30 90m | Lunch ISSTA Catering | ||
13:30 - 15:24 | |||
14:00 25mDoctoral symposium paper | Optimization based on Facts and Fiction Doc Symposium Olivier Flückiger Northeastern University, USA File Attached | ||
14:25 16mDoctoral symposium paper | Two-phase Analysis for Precision and Scalability Doc Symposium Anastasios Antoniadis University of Athens, Greece File Attached | ||
14:41 16mDoctoral symposium paper | Transparent Static Analysis for the Detection of Security Vulnerabilities Doc Symposium Goran Piskachev Fraunhofer IEM File Attached | ||
14:57 16mDoctoral symposium paper | Improving Symbolic Flat Memory Models with Pointer Alias Analysis Doc Symposium Timotej Kapus Imperial College London File Attached | ||
15:13 16mDoctoral symposium paper | Auto-tuning Framework for Multi-core Interference Analysis Doc Symposium Dan Iorga Imperial College London, UK | ||
14:00 - 15:30 | |||
14:00 30mTalk | Buffer Overflow Detection for C Programs is Hard to Learn ML4PL | ||
14:30 30mTalk | Generating Software Adaptations using Machine Learning ML4PL | ||
15:00 30mTalk | Detecting anomalies in Kotlin code ML4PL Timofey Bryksin , Victor Petukhov ITMO University, Kirill Smirenko Saint Petersburg State University, Nikita Povarov JetBrains | ||
14:00 - 15:30 | |||
14:00 30mTalk | MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts DPA Neville Grech University of Athens Link to publication Pre-print Media Attached File Attached | ||
14:30 30mTalk | Declarative Static Analysis and Zombies (ok, Soundness) DPA Yannis Smaragdakis University of Athens | ||
15:00 30mTalk | Scalable Logic Defined Static Analysis with Soufflé DPA Pavle Subotic University College London | ||
14:00 - 15:30 | |||
14:00 30mTalk | Peering behind the Turing Mirror WoSSCA | ||
14:30 30mTalk | Hardware and Software Mitigations WoSSCA Chandler Carruth Google | ||
15:00 30mTalk | Pacer: Efficient I/O Side-Channel Mitigation in the Cloud WoSSCA Aastha Mehta MPI-SWS | ||
14:00 - 15:30 | |||
14:00 30m | Benchmarking WebKit BenchWork Saam Barati Apple File Attached | ||
14:30 20m | Analyzing Duplication in JavaScript BenchWork Petr Maj Czech Technical University, Celeste Hollenbeck Northeastern University, USA, Shabbir Hussain Northeastern University, Jan Vitek Northeastern University | ||
14:50 20m | Building a Node.js Benchmark: Initial Steps BenchWork Petr Maj Czech Technical University, François Gauthier Oracle Labs, Celeste Hollenbeck Northeastern University, USA, Jan Vitek Northeastern University, Cristina Cifuentes Oracle Labs File Attached | ||
15:10 20m | A Micro-Benchmark for Dynamic Program Behaviour BenchWork Li Sui Massey University, New Zealand, Jens Dietrich Massey University, Michael Emery Massey University, Amjed Tahir Massey University, Shawn Rasheed Massey University | ||
14:00 - 17:30 | |||
14:00 3h30mTalk | Static Program Analysis Summer School Anders Møller Aarhus University | ||
14:00 - 15:30 | Optimization and PerformanceISSTA Technical Papers at Zurich II Chair(s): Tevfik Bultan University of California, Santa Barbara | ||
14:00 20mTalk | Remove RATs from Your Code: Automated Optimization of Resource Inefficient Database Writes for Mobile Applications ISSTA Technical Papers Yingjun Lyu University of Southern California, Ding Li NEC Labs, William G.J. Halfond University of Southern California | ||
14:20 20mTalk | Badger: Complexity Analysis with Fuzzing and Symbolic Execution ISSTA Technical Papers Yannic Noller Humboldt-Universität zu Berlin, Rody Kersten Synopsys, Inc., Corina S. Păsăreanu NASA Ames Research Center | ||
14:40 20mTalk | Exploiting Community Structure for Floating-Point Precision Tuning ISSTA Technical Papers | ||
15:00 20mTalk | piCoq: Parallel Regression Proving for Large-Scale Verification Projects ISSTA Technical Papers Karl Palmskog University of Texas at Austin, Ahmet Celik University of Texas at Austin, USA, Milos Gligoric University of Texas at Austin | ||
15:20 10m | Q&A in groups ISSTA Technical Papers | ||
15:30 - 16:00 | |||
15:30 30m | Coffee Break ISSTA Catering | ||
16:00 - 18:00 | |||
16:00 30mTalk | Subtype Polymorphism à la carte via Machine Learning on Dependent Types ML4PL Jerry Swan University of York, Colin Johnson University of Kent, Edwin Brady University of St. Andrews, UK | ||
16:30 30mTalk | Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks ML4PL Artem Pelenitsyn Czech Technical University in Prague | ||
17:00 30mMeeting | Open Forum ML4PL | ||
16:00 - 17:30 | |||
16:00 30mTalk | Horn Clause-based Program Analysis with CiaoPP DPA Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) File Attached | ||
16:30 30mTalk | QL + LGTM = Declarative Program Analysis for the Masses DPA Max Schaefer Semmle File Attached | ||
16:00 - 17:30 | |||
16:00 45mTalk | Software Diversity vs. Side Channels WoSSCA Stefan Brunthaler Bundeswehr University Munich | ||
16:45 45mTalk | Electromagnetic Side-Channel Attacks: Potential for Progressing Hindered Digital Forensic Analysis WoSSCA Asanka Sayakkara University College Dublin | ||
16:00 - 17:40 | |||
16:00 30m | InspectorClone: Evaluating Precision of Clone Detection Tools BenchWork | ||
16:30 20m | Towards a Data-Curation Platform for Code-Centric Research BenchWork Ben Hermann University of Paderborn, Lisa Nguyen Quang Do Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM File Attached | ||
16:50 20m | The Architecture Independent Workload Characterization BenchWork Beau Johnston Australian National University File Attached | ||
17:10 30m | Performance Monitoring in Eclipse OpenJ9 BenchWork Andrew Craik IBM | ||
16:00 - 17:43 | |||
16:00 25mDoctoral symposium paper | Probabilistic Software Modeling Doc Symposium Hannes Thaller Institute for Software Systems Engineering, Johannes Kepler University, Linz Pre-print | ||
16:25 16mDoctoral symposium paper | Testing for Performance Issues in OS Kernels Doc Symposium File Attached | ||
16:41 16mDoctoral symposium paper | Automated End To End Testing of Single Page Web Applications Doc Symposium Matteo Biagiola Fondazione Bruno Kessler, Trento, Italy File Attached | ||
16:57 30mTalk | Landing your Dream Job After Graduate School Doc Symposium Cindy Rubio-González University of California, Davis | ||
16:00 - 17:00 | |||
16:00 10m | Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs ISSTA Tool Demonstrations Jan Fiedor Brno University of Technology, Monika Mužikovská Brno University of Technology, Aleš Smrčka Brno University of Technology, Ondřej Vašíček Brno University of Technology, Tomáš Vojnar Brno University of Technology | ||
16:10 10m | LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps ISSTA Tool Demonstrations Jiwei Yan Institute of Software, Chinese Academy of Sciences, Linjie Pan Institute of Software, Chinese Academy of Sciences, Yaqi Li Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Beihang University | ||
16:20 10m | Managing Concurrent Testing of Data Race with ComRaDe ISSTA Tool Demonstrations Jian Gao School of Software, Tsinghua University, Xin Yang , Yu Jiang , Han Liu , Weiliang Ying , Wanting Sun Beijing University of Posts and Telecommunications, Ming Gu | ||
16:30 10m | OASIs: Oracle Assessment and Improvement Tool ISSTA Tool Demonstrations Gunel Jahangirova Fondazione Bruno Kessler & University College London, David Clark University College London, Mark Harman Facebook and University College London, Paolo Tonella Fondazione Bruno Kessler | ||
16:40 10m | Mutode: Generic JavaScript and Node.js Mutation Testing Tool ISSTA Tool Demonstrations Diego Rodríguez-Baquero Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia | ||
16:50 10m | MalViz: An Interactive Visualization Tool for Tracing Malware ISSTA Tool Demonstrations Vinh The Nguyen Texas Tech University, Tommy Dang Texas Tech University, Akbar Siami Namin Texas Tech University | ||
18:00 - 20:00 | |||
18:00 2hPoster | Poster reception Catering | ||
Thu 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 19 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 15m | Welcome ECOOP Keynotes Tijs van der Storm CWI, Frank Tip Northeastern University, Todd Millstein University of California, Los Angeles | ||
09:15 60mTalk | Program Analysis for Everyone ECOOP Keynotes Oege de Moor Semmle | ||
10:30 - 11:00 | |||
10:30 30m | Coffee Break ECOOP Catering | ||
11:00 - 12:30 | |||
11:00 60mTalk | Computing Paradigms for Emerging Pervasive & IoT-based Applications TAV-CPS/IoT Archan Misra Singapore Management University, Singapore | ||
12:00 30mResearch paper | Analysing The Effect of Uncertainty in Airport Surface Operations TAV-CPS/IoT Heron Yang Carnegie Mellon University, Robert Morris MIT, Corina S. Păsăreanu NASA Ames Research Center | ||
11:00 - 12:30 | |||
11:00 5m | Opening Remarks Panathon | ||
11:05 25m | Project Introductions Panathon | ||
11:30 60m | Work in Groups Panathon | ||
11:00 - 12:30 | |||
11:00 10m | Welcome INTUITESTBEDS | ||
11:10 50m | Keynote: Alégroth, Amalfitano, Vos, and Aho INTUITESTBEDS Emil Alégroth Blekinge Institute of Technology, Domenico Amalfitano University of Naples Federico II, Tanja E. J. Vos Universitat Politècnica de València and Open Universiteit, Pekka Aho Open University of the Netherlands | ||
12:00 30mTalk | Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art INTUITESTBEDS Mauro Pezzè University of Milano-Bicocca, Italy, Daniele Zuddas Università della Svizzera italiana (USI), Paolo Rondena | ||
11:00 - 12:30 | |||
11:00 15mTalk | ONR's perspective on debloating SALAD | ||
11:15 40mTalk | Degunking the CloudKeynote SALAD Nick Mitchell IBM TJ Watson Research Center | ||
11:55 35mTalk | Application Extraction for Java: A retrospective report of the Jax project SALAD | ||
11:00 - 13:00 | |||
11:00 2hTalk | Software Testing and Debugging: State of the Art and Open Issues Summer School Alex Orso Georgia Institute of Technology | ||
11:00 - 12:40 | Asynchrony and ConcurrencyECOOP Research Papers at Zurich II Chair(s): Todd Millstein University of California, Los Angeles | ||
11:00 25mResearch paper | Fault-tolerant Distributed Reactive Programming ECOOP Research Papers Ragnar Mogk Technische Universität Darmstadt, Lars Baumgärtner Philipps-Universität Marburg, Guido Salvaneschi TU Darmstadt, Bernd Freisleben Philipps-Universität Marburg, Mira Mezini TU Darmstadt DOI | ||
11:25 25mResearch paper | ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions ECOOP Research Papers Hiroaki Inoue Mitsubishi Electric Corporation, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Atsushi Igarashi Kyoto University, Japan DOI | ||
11:50 25mResearch paper | Theory and Practice of Coroutines with Snapshots ECOOP Research Papers DOI | ||
12:15 25mResearch paper | A Concurrent Specification of POSIX File Systems ECOOP Research Papers Gian Ntzik Imperial College London, Pedro da Rocha Pinto Imperial College London, Julian Sutherland Imperial College London, Philippa Gardner Imperial College London DOI | ||
12:40 - 14:00 | |||
12:40 80m | Lunch ECOOP Catering | ||
13:30 - 15:30 | |||
13:30 30mTalk | An Opinionated Survey of the Java Static Analysis Landscape SALAD Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
14:00 30mTalk | Class hierarchy flattening: obfuscating (almost) all type information in Java programs SALAD Bjorn De Sutter Ghent University, Belgium | ||
14:30 30mTalk | Delta Debugging of Java Bytecode SALAD Jens Palsberg University of California, Los Angeles | ||
15:00 30mTalk | Fine-Grained Library Customization SALAD | ||
13:50 - 15:30 | |||
13:50 25mResearch paper | A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects ECOOP Research Papers Wing Lam University of Illinois at Urbana-Champaign, Siwakorn Srisakaokul University of Illinois at Urbana-Champaign, USA, Blake Bassett University of Illinois at Urbana-Champaign, USA, Peyman Mahdian University of Illinois at Urbana-Champaign, USA, Tao Xie , Pratap Lakshman Microsoft, India, Peli de Halleux Microsoft Research DOI | ||
14:15 25mResearch paper | Learning to Accelerate Symbolic Execution via Code Transformation ECOOP Research Papers Junjie Chen Peking University, Wenxiang Hu Peking University, Lingming Zhang , Dan Hao Peking University, Sarfraz Khurshid University of Texas at Austin, Lu Zhang Peking University DOI | ||
14:40 25mResearch paper | Type Regression Testing to Detect Breaking Changes in Node.js Libraries ECOOP Research Papers Gianluca Mezzetti Aarhus University, Denmark, Anders Møller Aarhus University, Martin Toldam Torp Aarhus University DOI | ||
15:05 25mResearch paper | Targeted Test Generation for Actor Systems ECOOP Research Papers Sihan Li , Farah Hariri University of Illinois at Urbana-Champaign, Gul Agha University of Illinois at Urbana-Champaign, USA DOI | ||
14:00 - 15:30 | |||
14:00 60mTalk | Conformance Testing as a Tool for Designing Connected Vehicle Functions TAV-CPS/IoT Mohammad Mousavi University of Leicester, UK | ||
15:00 30mResearch paper | A Pattern-based IoT Testing Framework TAV-CPS/IoT Pedro Martins Pontes Faculty of Engineering, University of Porto and INESC TEC, Bruno Lima Faculty of Engineering, University of Porto and INESC TEC, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC | ||
14:00 - 15:30 | |||
14:00 90m | Work in Groups Panathon | ||
14:00 - 15:30 | |||
14:00 30m | Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices INTUITESTBEDS Riccardo Coppola Politecnico di Torino, Emil Alégroth Blekinge Institute of Technology, Luca Ardito , Marco Torchiano | ||
14:30 30mTalk | Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities INTUITESTBEDS Domenico Amalfitano University of Naples Federico II, Anna Rita Fasolino Federico II University of Naples, Vincenzo Riccio University of Naples Federico II | ||
15:00 30mTalk | GUI Scalability Issues of Windows Desktop Applications and How to Find Them INTUITESTBEDS | ||
14:30 - 17:00 | |||
14:30 2h30mTalk | Writing Virtual Machines for fun and profit Summer School Cliff Click Self | ||
15:30 - 16:00 | |||
15:30 30m | Coffee Break ECOOP Catering | ||
16:00 - 17:30 | |||
16:00 60m | Work in Groups Panathon | ||
17:00 25m | Progress Reports Panathon | ||
17:25 5m | Closing Remarks Panathon | ||
16:00 - 17:30 | |||
16:00 30m | Tool Demos INTUITESTBEDS | ||
16:30 30mTalk | Student Presentation: Conny Hagelukken INTUITESTBEDS | ||
17:00 30mTalk | Student Presentation: Marion de Groot INTUITESTBEDS | ||
16:00 - 18:30 | |||
16:00 37mTalk | On the Effectiveness of Kernel Debloating via Compile-time Configuration SALAD Mansour Alharthi , Hong Hu Georgia Institute of Technology, Hyungon Moon Georgia Tech, Taesoo Kim Georgia Tech | ||
16:37 37mTalk | WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support SALAD Julian Dolby IBM Thomas J. Watson Research Center | ||
17:15 37mTalk | Detection of Spectre vulnerabilities via static analysis SALAD Omer Tripp Google Inc. | ||
17:52 37mTalk | BinRec: Attack Surface Reduction Through Dynamic Binary Recovery SALAD Taddeus Kroes Vrije Universiteit Amsterdam, Anil Altinay , Joseph Nash , Yeoul Na , Stijn Volckaert University of California, Irvine, Herbert Bos , Michael Franz University of California, Irvine, Cristiano Giuffrida | ||
16:00 - 17:15 | LanguagesECOOP Research Papers at Zurich II Chair(s): Yu David Liu State University of New York, Binghamton | ||
16:00 25mResearch paper | Typed First-Class Traits ECOOP Research Papers DOI | ||
16:25 25mResearch paper | CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs ECOOP Research Papers Stefan Krüger University of Paderborn, Johannes Späth Fraunhofer IEM, Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira Mezini TU Darmstadt DOI | ||
16:50 25mResearch paper | Safe Transferable Regions ECOOP Research Papers DOI | ||
Fri 20 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 20 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 3mAwards | Distinguished Paper Award ECOOP Keynotes Todd Millstein University of California, Los Angeles | ||
09:03 3mAwards | Distinguished Artifact Award ECOOP Keynotes Philipp Haller KTH Royal Institute of Technology, Marianna Rapoport University of Waterloo, Maria Christakis MPI-SWS | ||
09:06 3mAwards | Test of Time Award ECOOP Keynotes | ||
09:09 6mAwards | Dahl-Nygaard Awards ECOOP Keynotes Eric Jul University of Oslo | ||
09:15 60mTalk | Object-Orientation Meets Big Data: Performance Impact, Restoration, and Thoughts on Language Design ECOOP Keynotes Harry Xu University of California, Los Angeles | ||
10:30 - 11:00 | |||
10:30 30m | Coffee Break ECOOP Catering | ||
11:00 - 12:30 | |||
11:00 5mDay opening | Welcome ISAGT Chris Laffra Uber Technologies | ||
11:05 25mTalk | Automatic Python test generation ISAGT Chris Laffra Uber Technologies | ||
11:30 30mTalk | Extracting tests from runtime behavior for R ISAGT Filip Křikava Czech Technical University | ||
12:00 30mTalk | Computer-aided unit-test generation with UTA ISAGT | ||
11:00 - 12:30 | |||
11:00 10mDay opening | Opening SOAP | ||
11:10 50mTalk | NJR: A Normalized Java Resource SOAP Link to publication DOI Pre-print | ||
12:00 15mTalk | Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java SOAP Michael Reif TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Michael Eichberg TU Darmstadt, Germany, Mira Mezini TU Darmstadt Link to publication DOI Pre-print Media Attached | ||
12:15 15mTalk | Iceberg: A Dynamic Analysis of Java Critical Sections Investigating Runtime Performance Variability SOAP Link to publication DOI Pre-print | ||
11:00 - 12:40 | |||
11:00 25mResearch paper | KafKa: Gradual Typing for Objects ECOOP Research Papers Benjamin Chung Northeastern University, Paley Li Northeastern University, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University DOI | ||
11:25 25mResearch paper | Dependent Types for Class-based Mutable Objects ECOOP Research Papers DOI | ||
11:50 25mResearch paper | Static typing of complex presence constraints in interfaces ECOOP Research Papers Nathalie Oostvogels Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel DOI | ||
12:15 25mResearch paper | Mailbox Types for Unordered Interactions ECOOP Research Papers DOI | ||
12:40 - 14:00 | |||
12:40 80m | Lunch ECOOP Catering | ||
14:00 - 15:30 | |||
14:00 45mTalk | Checking Non-Deterministic Behavior in Unit Tests ISAGT Luc Bläser Hochschule für Technik Rapperswil | ||
14:45 45mTalk | Generating tests for mobile platforms ISAGT Li Li Monash University, Australia, Jacques Klein University of Luxembourg, SnT, Tegawendé F. Bissyandé University of Luxembourg, Luxembourg | ||
14:00 - 15:30 | |||
14:00 50mTalk | DeepBugs: A Learning Approach to Name-based Bug Detection SOAP Michael Pradel TU Darmstadt Pre-print File Attached | ||
15:00 15mTalk | Affogato: Runtime Detection of Injection Attacks for Node.js SOAP François Gauthier Oracle Labs, Behnaz Hassanshahi Oracle Labs, Australia, Alexander Jordan Oracle Labs, Australia Link to publication DOI File Attached | ||
15:15 15mTalk | Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture Overview SOAP Andreas Schuler University of Applied Sciences Upper Austria, Gabriele Anderst-Kotsis Johannes Kepler University, Linz, Austria File Attached | ||
14:30 - 17:00 | |||
14:30 2h30mTalk | Artificial Intelligence for Automated Software Testing Summer School Lionel Briand SnT Centre/University of Luxembourg | ||
15:30 - 16:00 | |||
15:30 30m | Coffee Break ECOOP Catering | ||
16:00 - 17:30 | |||
16:00 30mTalk | Analyzing the analyzers ISAGT Julia Rubin University of British Columbia | ||
16:30 30mTalk | Machine learning for compilers ISAGT Chris Cummins University of Edinburgh | ||
17:00 25mMeeting | Plenary Discussion ISAGT Chris Laffra Uber Technologies | ||
17:25 5mDay closing | Closing ISAGT Chris Laffra Uber Technologies | ||
16:00 - 17:30 | |||
16:00 50mTalk | The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and how to master them) SOAP Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication DOI Pre-print Media Attached | ||
17:00 15mTalk | Redesigning Soot's Data-flow Analysis Framework for Abstract Interpretation SOAP Elena Sherman Boise State University Link to publication DOI File Attached | ||
17:15 15mTalk | Lattice Based Modularization of Static Analyses SOAP Michael Eichberg TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Dominik Helm TU Darmstadt, Germany, Michael Reif TU Darmstadt, Germany, Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt Link to publication DOI Media Attached | ||
16:00 - 17:15 | |||
16:00 25mResearch paper | FHJ: A Formal Model for Hierarchical Dispatching and Overriding ECOOP Research Papers Yanlin Wang University of Hong Kong, Haoyuan Zhang , Bruno C. d. S. Oliveira University of Hong Kong, China, Marco Servetto Victoria University of Wellington DOI | ||
16:25 25mResearch paper | Modeling infinite behaviour by corules ECOOP Research Papers Davide Ancona University of Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Elena Zucca University of Genova DOI | ||
16:50 25mResearch paper | The Essence of Nested Composition ECOOP Research Papers Xuan Bi The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, China, Tom Schrijvers KU Leuven DOI | ||
19:30 - 23:00 | |||
19:30 3h30m | Banquet ECOOP Catering | ||
Sat 21 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 21 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | Keynote: Zeller & ECOOP 2019 PreviewECOOP Keynotes at Zurich II Chair(s): Frank Tip Northeastern University | ||
09:00 60mTalk | Parser-Directed Test Generation ECOOP Keynotes Andreas Zeller Saarland University | ||
10:00 15m | ECOOP 2019 Preview ECOOP Keynotes Jan Vitek Northeastern University | ||
10:30 - 11:00 | |||
10:30 30m | Coffee Break ECOOP Catering | ||
11:00 - 12:40 | |||
11:00 25mResearch paper | Defensive Points-To Analysis: Effective Soundness via Laziness ECOOP Research Papers DOI | ||
11:25 25mResearch paper | Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates ECOOP Research Papers DOI Pre-print | ||
11:50 25mResearch paper | Definite Reference Mutability ECOOP Research Papers Ana Milanova Rensselaer Polytechnic Institute DOI | ||
12:15 25mResearch paper | Efficient Reflection String Analysis via Graph Coloring ECOOP Research Papers Neville Grech University of Athens, George Kastrinis University of Athens, Yannis Smaragdakis University of Athens DOI | ||