| 17:00 - 20:00 | |
| | | |
| Poster | | Typed First-Class TraitsECOOP paper Posters |
| Poster | | PerfFuzz: Automatically Generating Pathological InputsISSTA paper Posters |
| Poster | | Feature Visualiser: an Inspection Tool for Programmers in Context-Oriented ProgrammingCOP paper Posters |
| Poster | | Bench4BL: Reproducibility Study on the Performance of IR-Based Bug LocalizationISSTA paper Posters |
| Poster | | Targeted Test Generation for Actor SystemsECOOP paper Posters |
| Poster | | Leveraging Electromagnetic Side-Channel Attacks for Digital ForensicsWoSSCA talk Posters |
| Poster | | Practical Detection of Concurrency Issues at Coding TimeISSTA paper Posters |
| Poster | | Defensive Points-To Analysis: Effective Soundness via LazinessECOOP paper Posters |
| Poster | | Shaping Program Repair Space with Existing Patches and Similar CodeISSTA paper Posters |
| Poster | | Type Regression Testing to Detect Breaking Changes in Node.js LibrariesECOOP paper Posters |
| Poster | | Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-objective Search-based ApproachISSTA paper Posters |
| Poster | | Making Data-Driven Porting Decisions with TuscanISSTA paper Posters |
| Poster | | Advances in the ANaConDA FrameworkISSTA demonstration Posters |
| Poster | | Automated End To End Testing of Single Page Web ApplicationsDoctoral symposium paper Posters |
| Poster | | A Characteristic Study of Parameterized Unit Tests in .NET Open Source ProjectsECOOP paper Posters |
| Poster | | Shooting from the Heap: Ultra-Scalable Static Analysis with Heap SnapshotsISSTA paper Posters |
| Poster | | ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT ApplicationsECOOP paper Posters |
| Poster | | Polyglot Programming - Opportunities of Language Implementation Frameworks for Software DevelopersICOOOLPS paper Posters |
| Poster | | OASIs: Oracle Assessment and Improvement ToolISSTA demonstration Posters |
| Poster | | Deep Learning over CodeISSTA paper Posters |
| Poster | | Translating Code Comments to Procedure SpecificationsISSTA paper Posters |
| Poster | | Transparent Static Analysis for the Detection of Security VulnerabilitiesDoctoral symposium paper Posters |
| Poster | | Symbolic Path Cost Analysis for Side-Channel DetectionISSTA paper Posters |
| Poster | | FHJ: A Formal Model for Hierarchical Dispatching and OverridingECOOP paper Posters |
| Poster | | Incrementalizing Lattice-Based Program AnalysesFTfJP paper Posters |
| Poster | | Secure integration of cryptographic softwareECOOP paper Posters |
| Poster | | Analyzing the Analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafeISSTA paper Posters |
| Poster | | Badger: Complexity Analysis with Fuzzing and Symbolic ExecutionISSTA paper Posters |
| Poster | | Efficient Reflection String Analysis via Graph ColoringECOOP paper Posters |
| Poster | | Tests from Traces: Automated Unit Test Extraction for RISSTA paper Posters |
| Poster | | CiD: Automating the Detection of API-related Compatibility Issues in Android AppsISSTA paper Posters |
| Poster | | Modelling infinite behaviour by corulesECOOP paper Posters |
| Poster | | Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture OverviewSOAP paper Posters |
| Poster | | Learning to Accelerate Symbolic Execution via Code TransformationECOOP paper Posters |
| Poster | | Distributed Multitier Programming with Placement Types using ScalaLociFTfJP paper Posters |
| Poster | | SHAPES: Adding memory layouts and SIMD capabilities to high-level languagesICOOOLPS paper Posters |
| Poster | | Automating Object Transformations for Dynamic Software Updating via Online Execution SynthesisECOOP paper Posters |
| Poster | | Theory and Practice of Coroutines with SnapshotsECOOP paper Posters |
| Poster | | Fault-tolerant Distributed Reactive ProgrammingECOOP paper Posters |
| Poster | | A Portable Framework for Multi-core Interference Tuning and AnalysisDoctoral symposium paper Posters |
| Poster | | Probabilistic Software ModelingDoctoral symposium paper Posters |
| Demonstration | | Mutode: Generic JavaScript and Node.js Mutation Testing ToolISSTA demonstration Posters |
| Poster | | CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMsECOOP paper Posters Media Attached |
| Poster | | Testing for Performance Issues in OS KernelsDoctoral symposium paper Posters |
| Poster | | The Essence of Nested CompositionECOOP paper Posters |
| Poster | | Generating software adaptations using machine learningML4PL talk Posters |
| Poster | | Automatically Translating Bug Reports into Test Cases for Mobile AppsISSTA paper Posters |
| Poster | | Repositioning of Static Analysis AlarmsISSTA paper Posters |