Mila Dalla Preda

Identifiers

• name variant Mila Dalla Preda 0.60 · backfill

Papers (4)

1. SEA: String Executability Analysis by Abstract Interpretation cs.PL · 2017 · author #2
2. Dynamic Choreographies: Theory And Implementation cs.PL · 2016 · author #1
3. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications cs.PL · 2014 · author #1
4. Dynamic Choreographies - Safe Runtime Updates of Distributed Applications cs.PL · 2014 · author #1

Mentions

• 1407.0975 #1 · backfill · confidence 0.70 Mila Dalla Preda
• 1407.0970 #1 · backfill · confidence 0.70 Mila Dalla Preda

Frequent Coauthors

• Ivan Lanese 3 shared papers
• Jacopo Mauro 3 shared papers
• Maurizio Gabbrielli 3 shared papers
• Saverio Giallorenzo 3 shared papers
• Isabella Mastroeni 1 shared papers
• Roberto Giacobazzi 1 shared papers
• Vincenzo Arceri 1 shared papers