Todd D. Millstein
Proceedings of the 32nd European Conference on Object-Oriented Programming
ECOOP, 2018.
@proceedings{ECOOP-2018,
editor = "Todd D. Millstein",
ee = "http://www.dagstuhl.de/dagpub/978-3-95977-079-8",
isbn = "978-3-95977-079-8",
publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
series = "{Leibniz International Proceedings in Informatics}",
title = "{Proceedings of the 32nd European Conference on Object-Oriented Programming}",
volume = 109,
year = 2018,
}
Contents (26 items)
- ECOOP-2018-ChungLNV #named #type system
- KafKa: Gradual Typing for Objects (BC, PL, FZN, JV), p. 24.
- ECOOP-2018-MezzettiMT #detection #library #testing
- Type Regression Testing to Detect Breaking Changes in Node.js Libraries (GM, AM, MTT), p. 24.
- ECOOP-2018-GrechKS #analysis #graph #performance #string
- Efficient Reflection String Analysis via Graph Coloring (NG, GK, YS), p. 25.
- ECOOP-2018-MogkBSFM #distributed #fault tolerance #programming
- Fault-tolerant Distributed Reactive Programming (RM, LB, GS, BF, MM), p. 26.
- ECOOP-2018-ChenHZHK0 #execution #learning #program transformation #symbolic computation
- Learning to Accelerate Symbolic Execution via Code Transformation (JC0, WH, LZ, DH, SK, LZ0), p. 27.
- ECOOP-2018-KrugerS0BM #api #approach #encryption #named #validation
- CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (SK, JS, KA0, EB, MM), p. 27.
- ECOOP-2018-LamSBM0LH #dot-net #open source #testing
- A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects (WL, SS, BB, PM, TX0, PL, JdH), p. 27.
- ECOOP-2018-OostvogelsKM #constraints #interface #static typing #type system
- Static Typing of Complex Presence Constraints in Interfaces (NO, JDK, WDM), p. 27.
- ECOOP-2018-BiO
- Typed First-Class Traits (XB, BCdSO), p. 28.
- ECOOP-2018-CamposV #dependent type
- Dependent Types for Class-based Mutable Objects (JC, VTV), p. 28.
- ECOOP-2018-deLiguoroP #interactive
- Mailbox Types for Unordered Interactions (Ud, LP), p. 28.
- ECOOP-2018-GuM00CL #automation #execution #online #synthesis
- Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis (TG, XM, CX0, YJ0, CC, JL0), p. 28.
- ECOOP-2018-NtzikPSG #concurrent #file system #specification
- A Concurrent Specification of POSIX File Systems (GN, PdRP, JS, PG), p. 28.
- ECOOP-2018-SmaragdakisK #analysis #effectiveness #lazy evaluation #points-to
- Defensive Points-To Analysis: Effective Soundness via Laziness (YS, GK), p. 28.
- ECOOP-2018-QunaibitBNVF #dynamic typing #optimisation #platform #using
- Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization (MQ, SB, YN, SV, MF), p. 29.
- ECOOP-2018-Milanova
- Definite Reference Mutability (AM), p. 30.
- ECOOP-2018-WangZOS #formal method #named
- FHJ: A Formal Model for Hierarchical Dispatching and Overriding (YW, HZ, BCdSO, MS), p. 30.
- ECOOP-2018-AnconaDZ #behaviour #infinity #modelling
- Modeling Infinite Behaviour by Corules (DA, FD, EZ), p. 31.
- ECOOP-2018-BellP #lightweight #named #traversal
- CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs (JB0, LP), p. 31.
- ECOOP-2018-KakiR
- Safe Transferable Regions (GK, GR), p. 31.
- ECOOP-2018-LiHA #generative #testing
- Targeted Test Generation for Actor Systems (SL, FH, GA), p. 31.
- ECOOP-2018-ProkopecL #theory and practice
- Theory and Practice of Coroutines with Snapshots (AP, FL), p. 32.
- ECOOP-2018-TomanG #analysis #named
- Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (JT, DG), p. 32.
- ECOOP-2018-BiOS #composition
- The Essence of Nested Composition (XB, BCdSO, TS), p. 33.
- ECOOP-2018-Gascon-SamsonJG #independence #javascript #migration #named #platform
- ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications (JGS, KJ, SG, ARA, KP), p. 33.
- ECOOP-2018-InoueAI #domain-specific language #monad #named #workflow
- ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (HI, TA, AI), p. 33.
