ECOOP and ISSTA 2018 (series) /
ECOOP and ISSTA 2018 Program
Conference Dates
Conference Dates are in time zone (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Sun 15 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 |
Mon 16 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
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 - 09:30 | Opening Remarks CurryOn Curry On Keynotes | ||
09:30 - 10:20 Talk | WebAssembly, Past, Present, and FutureKEYNOTE CurryOn Curry On Keynotes |
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 | ||
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 - 11:30 Full-paper | Monotonic Gradual Typing in a Common Calculus FTfJP 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 - 11:40 Talk | Streaming analytics: How to Get Fast Predictions From Real-Time Data with Flink, Kafka, and Cassandra CurryOn Curry On Talks Bas GeerdinkING | ||
11:50 - 12:30 Talk | ApacheSpark as a gateway drug to FP: Concepts taught & broken CurryOn Curry On Talks Holden KarauGoogle |
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 - 11:40 Talk | Your inner compiler engineer wants out! CurryOn Curry On Talks Jesse AlamaVicampo | ||
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 | ||
12:20 - 12:30 | Q&A in groups ISSTA Technical Papers |
12:30 - 14:00 | Lunch ISSTA Catering |
13:50 - 14:30 Talk | Domain Specific Programming Platforms for Creativity CurryOn Curry On Talks Jennifer Mary JacobsStanford | ||
14:40 - 15:20 Talk | Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra CurryOn Curry On Talks |
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 |
13:50 - 14:30 Talk | Taming the C monster: Haskell FFI techniques CurryOn Curry On Talks Fraser TweedaleRed Hat | ||
14:40 - 15:20 Talk | Akka.JS and why the actor model matters even in JS's world. CurryOn Curry On Talks Andrea PeruffoNokia |
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: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 |
15:30 - 16:00 | Coffee Break ISSTA Catering |
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 profit CurryOn Curry On Talks Simon BelakMetabase |
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 Yulia StartsevMozilla |
15:55 - 16:35 Talk | Papers we love - Elixir edition CurryOn Curry On Talks Andrea LeopardiWeedmaps | ||
16:45 - 17:25 Talk | Hackett: a metaprogrammable Haskell CurryOn Curry On Talks Alexis KingNorthwestern University |
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 Learning 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 |
17:50 - 18:40 Talk | Linear Haskell: practical linearity in a higher-order polymorphic languageKEYNOTE CurryOn Curry On Keynotes Simon Peyton JonesMicrosoft Research |
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
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 | ||
10:00 - 10:20 Talk | Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe ISSTA Technical Papers | ||
10:20 - 10:30 | Q&A in groups ISSTA Technical Papers |
09:15 - 09:30 | Opening Remarks CurryOn Curry On Keynotes | ||
09:30 - 10:20 Talk | How does code sound?KEYNOTE CurryOn Curry On Keynotes |
10:30 - 11:00 | Coffee Break ISSTA Catering |
11:00 - 11:45 Talk | Stream-based runtime verification with hardware supportKeynote VORTEX | ||
11:45 - 12:30 Talk | Who is to Blame? - Runtime Verification of Distributed Objects with Active MonitorsKeynote VORTEX |
11:00 - 12:00 Talk | Polymorphic Inline Caching in JavaScriptCoreKeynote ICOOOLPS Filip PizloApple | ||
12:05 - 12:30 Research paper | Assessing primitives performance on multi-stage execution ICOOOLPS |
11:00 - 11:40 Talk | Code into Data: Embedding programs into datastores with GraalVM CurryOn Curry On Talks Thomas WuerthingerOracle Labs | ||
11:50 - 12:30 Talk | Challenges in Large-Scale Mobile App Performance CurryOn Curry On Talks Manu SridharanUber |
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 - 11:40 Talk | Strategies for Streaming CurryOn Curry On Talks Arnout EngelenLightbend | ||
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: ISSTA Steering Committee MeetingISSTA Steering Committee Meeting (By Invitation Only) at ISSTA Steering Committee Meeting Room | |||
12:30 - 14:00 | Lunch ISSTA Catering |
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 Cliff ClickSelf |
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 Functions CurryOn Curry On Talks |
13:50 - 14:30 Talk | SuperRecord: Practical Anonymous Records for Haskell CurryOn Curry On Talks Alexander ThiemannStripe Inc | ||
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 | ||
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 - 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 Talk | 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): 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 | ||
15:21 - 15:28 | Best Tool Demonstration Award ISSTA Keynotes |
15:30 - 16:00 | Coffee Break ISSTA Catering |
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 - 16:35 Talk | Isolation Without Containers CurryOn Curry On Talks Tyler McMullenFastly | ||
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 - 16:35 Talk | Type-Safe GraphQL Servers with GADTs CurryOn Curry On Talks Andreas GarnæsZendesk | ||
16:45 - 17:25 Talk | Luna - overview CurryOn Curry On Talks Sylwia BrodackaLuna |
16:00 - 16:45 Talk | Run-time checking of data- and protocol-oriented properties of Java programsKeynote VORTEX | ||
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 - 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 | ||
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 Inputs 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 |
17:50 - 18:40 Talk | Go: building on the shoulders of giants and stepping on a few toesKEYNOTE CurryOn Curry On Keynotes Steve FranciaGoogle |
19:30 - 23:00 | Banquet ISSTA Catering |
Wed 18 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 |
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 - 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 - 11:45 Talk | Speculative side channels: the view from WebKit WoSSCA Filip PizloApple | ||
11:45 - 12:30 Talk | Application-Specific Principals Must Align With Platform Boundaries WoSSCA Chris PalmerGoogle |
11:00 - 11:10 | Opening Remarks BenchWork | ||
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 - 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 | Lunch ISSTA Catering |
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 | ||
14:30 - 15:00 Talk | Generating Software Adaptations using Machine Learning ML4PL | ||
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 - 14:30 Talk | MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts DPA Neville GrechUniversity of Athens Link to publication Pre-print Media Attached File Attached | ||
14:30 - 15:00 Talk | Declarative Static Analysis and Zombies (ok, Soundness) DPA Yannis SmaragdakisUniversity of Athens | ||
15:00 - 15:30 Talk | Scalable Logic Defined Static Analysis with Soufflé DPA Pavle SuboticUniversity College London |
14:00 - 14:30 Talk | Peering behind the Turing Mirror WoSSCA | ||
14:30 - 15:00 Talk | Hardware and Software Mitigations WoSSCA Chandler CarruthGoogle | ||
15:00 - 15:30 Talk | Pacer: Efficient I/O Side-Channel Mitigation in the Cloud WoSSCA Aastha MehtaMPI-SWS |
14:00 - 14:30 | Benchmarking WebKit BenchWork Saam BaratiApple 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 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 | ||
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 Break ISSTA Catering |
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 - 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 Max SchaeferSemmle File Attached |
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 - 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 Andrew CraikIBM |
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++ Programs 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 |
18:00 - 20:00 Poster | Poster reception Catering |
Thu 19 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30: Welcome & Keynote: De MoorECOOP Keynotes at Zurich II Chair(s): Frank TipNortheastern University | |||
09:00 - 09:15 | Welcome ECOOP Keynotes Tijs van der StormCWI, Frank TipNortheastern University, Todd MillsteinUniversity of California, Los Angeles | ||
09:15 - 10:15 Talk | Program Analysis for Everyone ECOOP Keynotes Oege de MoorSemmle |
10:30 - 11:00 | Coffee Break ECOOP Catering |
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 |
11:00 - 11:05 | Opening Remarks Panathon | ||
11:05 - 11:30 | Project Introductions Panathon | ||
11:30 - 12:30 | Work in Groups Panathon |
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 - 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 |
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 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 | Lunch ECOOP Catering |
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 |
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: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 | Work in Groups Panathon |
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 |
14:30 - 17:00 Talk | Writing Virtual Machines for fun and profit Summer School Cliff ClickSelf |
15:30 - 16:00 | Coffee Break ECOOP Catering |
16:00 - 17:00 | Work in Groups Panathon | ||
17:00 - 17:25 | Progress Reports Panathon | ||
17:25 - 17:30 | Closing Remarks Panathon |
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 - 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 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 DOI |
Fri 20 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 | ||
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 Break ECOOP Catering |
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 - 11:10 Day opening | Opening SOAP | ||
11:10 - 12:00 Talk | NJR: A Normalized Java Resource SOAP Link to publication DOI Pre-print | ||
12:00 - 12:15 Talk | Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java SOAP Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Mira MeziniTU Darmstadt Link to publication DOI Pre-print Media Attached | ||
12:15 - 12:30 Talk | Iceberg: A Dynamic Analysis of Java Critical Sections Investigating Runtime Performance Variability SOAP Link to publication DOI Pre-print |
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 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 DOI |
12:40 - 14:00 | Lunch ECOOP Catering |
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:00 - 14:50 Talk | DeepBugs: A Learning Approach to Name-based Bug Detection SOAP Michael PradelTU Darmstadt Pre-print File Attached | ||
15:00 - 15:15 Talk | Affogato: Runtime Detection of Injection Attacks for Node.js SOAP François GauthierOracle Labs, Behnaz HassanshahiOracle Labs, Australia, Alexander JordanOracle Labs, Australia Link to publication DOI File Attached | ||
15:15 - 15:30 Talk | Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture Overview SOAP Andreas SchulerUniversity of Applied Sciences Upper Austria, Gabriele Anderst-KotsisJohannes Kepler University, Linz, Austria File Attached |
14:30 - 17:00 Talk | Artificial Intelligence for Automated Software Testing Summer School Lionel BriandSnT Centre/University of Luxembourg |
15:30 - 16:00 | Coffee Break ECOOP Catering |
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 - 16:50 Talk | The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and how to master them) SOAP Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Link to publication DOI Pre-print Media Attached | ||
17:00 - 17:15 Talk | Redesigning Soot's Data-flow Analysis Framework for Abstract Interpretation SOAP Elena ShermanBoise State University Link to publication DOI File Attached | ||
17:15 - 17:30 Talk | Lattice Based Modularization of Static Analyses SOAP Michael EichbergTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Michael ReifTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt Link to publication DOI Media Attached |
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
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 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 Laziness ECOOP Research Papers DOI | ||
11:25 - 11:50 Research paper | Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates ECOOP Research Papers 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 |