[SLE] Partial Loading of Repository-Based Models through Static Analysis
As the size of software and system models grows, scalability issues in the current generation of model management languages (e.g. transformation, validation) and their supporting tooling become more prominent. To address this challenge, execution engines of model management programs need to become more efficient in their use of system resources. This paper presents an approach for partial loading of large models that reside in graph-database-backed model repositories. This approach leverages sophisticated static analysis of model management programs and auto-generation of graph (Cypher) queries to load only relevant model elements instead of naively loading the entire models into memory. Our experimental evaluation shows that our approach enables model management programs to process larger models, faster, and with a reduced memory footprint compared to the state of the art.
Видео [SLE] Partial Loading of Repository-Based Models through Static Analysis канала ACM SIGPLAN
Видео [SLE] Partial Loading of Repository-Based Models through Static Analysis канала ACM SIGPLAN
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
![TyDe 2021 - Interactive Haskell Type Inference Exploration (Extended Abstract)](https://i.ytimg.com/vi/SLBzu_ArXHA/default.jpg)
![Propositions-as-Types and Shared State](https://i.ytimg.com/vi/9kXvOhhE3As/default.jpg)
![Copy-and-Patch Compilation](https://i.ytimg.com/vi/PaQJcBdwG9Y/default.jpg)
![[OCaml'22] Efficient “out of heap” pointers for multicore OCaml](https://i.ytimg.com/vi/eIQf1bRl8_k/default.jpg)
![Verified Compilation of C Programs with a Nominal Memory Model (Teaser)](https://i.ytimg.com/vi/XplUxb7ijjI/default.jpg)
![[PriSC'22] Composing Secure Compilers](https://i.ytimg.com/vi/OtR_6Paehms/default.jpg)
![Warping Cache Simulation of Polyhedral Programs](https://i.ytimg.com/vi/-D0bnastfCA/default.jpg)
![[SLE] Property-Based Testing: Climbing the Stairway to Verification](https://i.ytimg.com/vi/QGOnUm5HBmo/default.jpg)
![[ML'22] Efficient and Scalable Parallel Functional Programming Through Disentanglement](https://i.ytimg.com/vi/IMPF-Vz1YqI/default.jpg)
![Low-Latency, High-Throughput Garbage Collection](https://i.ytimg.com/vi/4oizX2MFy5A/default.jpg)
![[PLDI'24] Finland/Norway - PLDI Research Papers (Jun 27th)](https://i.ytimg.com/vi/jAf0DK8NmWA/default.jpg)
![DISTAL: The Distributed Tensor Algebra Compiler](https://i.ytimg.com/vi/1dYngihnfFU/default.jpg)
![IRDL: An IR Definition Language for SSA Compilers](https://i.ytimg.com/vi/uKXv1Cc_Pgs/default.jpg)
![Efficient Compilation of Algebraic Effect Handlers](https://i.ytimg.com/vi/BhrmXKySaa8/default.jpg)
![[ICFP'22] Safe Couplings: Coupled Refinement Types](https://i.ytimg.com/vi/4LV8a8cz_w0/default.jpg)
![WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration](https://i.ytimg.com/vi/H4mOgIpnWyI/default.jpg)
![[ICFP'22] Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structu…](https://i.ytimg.com/vi/qAeEWKr9wfU/default.jpg)
![Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic](https://i.ytimg.com/vi/_5KpPKal4Ag/default.jpg)
![Interval Universal Approximation for Neural Networks (Teaser)](https://i.ytimg.com/vi/nuIGJjbc1QE/default.jpg)
![[POPL'22] Layered and Object-Based Game Semantics](https://i.ytimg.com/vi/OK2RnP2hL6g/default.jpg)
![[POPL'22] Verified Tensor-Program Optimization Via High-Level Scheduling Rewrites](https://i.ytimg.com/vi/f2NEU1ENt6A/default.jpg)