| 17:30 - 19:30 | |
| | | |
| Poster | | Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts Posters |
| Poster | | Language-Parametric Semantic Editor Services based on Declarative Type System Specifications Posters |
| Poster | | NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories Posters Alex Villazón Universidad Privada Boliviana, Bolivia, Haiyang Sun Università della Svizzera italiana, Andrea Rosà University of Lugano, Switzerland, Eduardo Rosales University of Lugano, Switzerland, Daniele Bonetta Oracle Labs, Isabella Defilippis Universidad Privada Boliviana (UPB), Sergio Oporto Universidad Privada Boliviana (UPB), Walter Binder University of Lugano, Switzerland |
| Poster | | A Symmetry-Based $N$-Body Solver Compiler Posters |
| Poster | | Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM Posters Aleksandar Prokopec Oracle Labs, Andrea Rosà University of Lugano, Switzerland, David Leopoldseder Johannes Kepler University Linz, Gilles Duboscq Oracle Labs, Petr Tuma Charles University, Martin Studener JKU Linz, Austria, Lubomír Bulej Charles University, Yudi Zheng Oracle Labs, Alex Villazón Universidad Privada Boliviana, Bolivia, Doug Simon Oracle Labs, Thomas Wuerthinger Oracle Labs, Walter Binder University of Lugano, Switzerland |
| Poster | | MetaDL : Declarative Program Analysis for the Masses Posters |
| Poster | | Obsidian: Typestate and Assets for Safer Smart Contracts Posters |
| Poster | | Component-Based Computation-Energy Modeling for Embedded Systems Posters |
| Poster | | Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT Posters |
| Poster | | Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction Posters |
| Poster | | Automatically Fixing Memory-Leaks Posters |
| Poster | | Precise Safety Verification of Smart Contracts Posters |
| Poster | | Towards a WebAssembly Standalone Runtime on GraalVM Posters |
| Poster | | Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures Posters |
| Poster | | Squirrel: An Extensible Distributed KV Store Posters Link to publication |
| Poster | | Memory efficient CRDTs in dynamic environments Posters Link to publication |
| Poster | | Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education Posters Link to publication |
| Poster | | Generating a Fluent API with Syntax Checking from an LR Grammar Posters Tetsuro Yamazaki Graduate School of Information Science and Technology, The University of Tokyo, Tomoki Nakamaru Graduate School of Information Science and Technology, The University of Tokyo, Shigeru Chiba Graduate School of Information Science and Technology, The University of Tokyo, Kazuhiro Ichikawa Graduate School of Information Science and Technology, The University of Tokyo Link to publication |
| Poster | | Multitier Reactive Programming in High Performance Computing Posters Link to publication |
| Poster | | Certifying Graph-Manipulating C Programs via Localizations within Data Structures Posters Link to publication DOI |
| Poster | | Aroma: Code Recommendation via Structural Code Search Posters Link to publication |
| Poster | | System FR: Formalized Foundations for the Stainless Verifier Posters Link to publication |
| Poster | | A Fault-Tolerant Programming Model for Distributed Interactive Applications Posters Link to publication |
| Poster | | WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers Posters Link to publication |
| Poster | | Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Posters Link to publication |
| Poster | | Asphalion: Trustworthy Shielding against Byzantine Faults Posters Link to publication |
| Poster | | IVT: An Efficient Method for Sharing Subtype Polymorphic Objects Posters Link to publication |
| Poster | | Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks Posters Link to publication |
| Poster | | TLA+ model checking made symbolic Posters Link to publication |
| Poster | | Getafix: Learning to Fix Bugs Automatically Posters Link to publication |
| Poster | | Dependence-Aware, Unbounded Sound Predictive Race Detection Posters Link to publication |
| Poster | | Effective Lock Handling in Stateless Model Checking Posters Link to publication |
| Poster | | Language-Integrated Privacy-Aware Distributed Queries Posters Link to publication |
| Poster | | I/O Dependent Idempotence Bugs in Intermittent Systems Posters Link to publication |
| Poster | | Vision Paper: Generating Incremental Type Services Posters Link to publication |
| Poster | | Static Analysis with Demand-Driven Value Refinement Posters Link to publication |
| Poster | | Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks Posters Link to publication |
| Poster | | Reflection in Attribute Grammars Posters Link to publication |
| Poster | | DeepSEA: A Language for Certified System Software Posters Link to publication |
| Poster | | Practical Second Futamura Projection Posters |
| Poster | | Gradual Program Analysis Posters |
| Poster | | Incremental Scannerless Generalized LR Parsing Posters |
| Poster | | Improving Performance and Quality of Database-Backed Software Posters |
| Poster | | On the Fly Synthesis of Edit Suggestions Posters Link to publication |