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