38 citations · 56 across the 4 of their papers we have counts for
3 papers · 1 filter
SEA: String Executability Analysis by Abstract Interpretation
Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi +1
Dynamic languages often employ reflection primitives to turn dynamically generated text into executable code at run-time. These features make standard static analysis extremely har…
Dynamic Choreographies: Theory And Implementation
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo +2
Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even…
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese +2
We present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of…