ECOOP 2018
27 papers
- A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects
- A Concurrent Specification of POSIX File Systems
- Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
- Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
- CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
- ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
- CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
- Defensive Points-To Analysis: Effective Soundness via Laziness
- Definite Reference Mutability
- Dependent Types for Class-based Mutable Objects
- Efficient Reflection String Analysis via Graph Coloring
- FHJ: A Formal Model for Hierarchical Dispatching and Overriding
- Fault-tolerant Distributed Reactive Programming
- Front Matter, Table of Contents, Preface, Conference Organization
- KafKa: Gradual Typing for Objects
- Learning to Accelerate Symbolic Execution via Code Transformation
- Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
- Mailbox Types for Unordered Interactions
- Modeling Infinite Behaviour by Corules
- Safe Transferable Regions
- Static Typing of Complex Presence Constraints in Interfaces
- Targeted Test Generation for Actor Systems
- The Essence of Nested Composition
- Theory and Practice of Coroutines with Snapshots
- ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications
- Type Regression Testing to Detect Breaking Changes in Node.js Libraries
- Typed First-Class Traits