Irene Finocchi

1. A Survey of Symbolic Execution Techniques
   2016/10/03 by Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia +2 · 6 voices · 26 citations
   #cs.SE #cs.PL
2. On data skewness, stragglers, and MapReduce progress indicators
   2015/03/31 by Emilio Coppa, Irene Finocchi, Coppa, Emilio +1 · 1 citation
   Computer Science · #Advanced Data Storage Technologies #Blockchain Technology Applications and Security #Cloud Computing and Resource Management #Distributed #FOS: Computer and information sciences #Parallel #Performance (cs.PF) #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)