pith. sign in

Silvia Crafa

Identifiers

  • name variant Silvia Crafa 0.60 · backfill

Papers (10)

  1. Solidity 0.5: when typed does not mean type safe cs.PL · 2019 · author #1
  2. On the chemistry of typestate-oriented actors cs.PL · 2016 · author #1
  3. Modelling the Evolution of Programming Languages cs.PL · 2015 · author #1
  4. Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics cs.LO · 2015 · author #1
  5. The role of concurrency in an evolutionary view of programming abstractions cs.PL · 2015 · author #1
  6. Actors vs Shared Memory: two models at work on Big Data application frameworks cs.DC · 2015 · author #1
  7. Semantics of (Resilient) X10 cs.PL · 2013 · author #1
  8. Causality in concurrent systems cs.DC · 2013 · author #1
  9. Behavioural Types for Actor Systems cs.PL · 2012 · author #1
  10. A Logic for True Concurrency cs.LO · 2011 · author #2

Mentions

  • 1510.04440 #1 · backfill · confidence 0.70 Silvia Crafa
  • 1508.06347 #1 · backfill · confidence 0.70 Silvia Crafa
  • 1507.07719 #1 · backfill · confidence 0.70 Silvia Crafa
  • 1505.03060 #1 · backfill · confidence 0.70 Silvia Crafa
  • 1312.3739 #1 · backfill · confidence 0.70 Silvia Crafa
  • 1303.1384 #1 · backfill · confidence 0.70 Silvia Crafa
  • 1206.1687 #1 · backfill · confidence 0.70 Silvia Crafa
  • 1110.4094 #2 · backfill · confidence 0.70 Silvia Crafa

Frequent Coauthors