Irene Finocchi
Identifiers
- name variant Irene Finocchi 0.60 · backfill
Papers (7)
- A Survey of Symbolic Execution Techniques cs.SE · 2016 · author #5
- On data skewness, stragglers, and MapReduce progress indicators cs.DC · 2015 · author #2
- Clique counting in MapReduce: theory and experiments cs.DC · 2014 · author #1
- Experimental Evaluation of Algorithms for the Food-Selection Problem cs.DS · 2014 · author #2
- Ball-Larus Path Profiling Across Multiple Loop iterations cs.PL · 2013 · author #3
- Multithreaded Input-Sensitive Profiling cs.PF · 2013 · author #3
- Reactive Imperative Programming with Dataflow Constraints cs.PL · 2011 · author #2
Mentions
Frequent Coauthors
- Camil Demetrescu 5 shared papers
- Emilio Coppa 3 shared papers
- Daniele Cono D'Elia 2 shared papers
- Andrea Ribichini 1 shared papers
- Emanuele G. Fusco 1 shared papers
- Giuseppe F. Italiano 1 shared papers
- Luigi Laura 1 shared papers
- Marco Finocchi 1 shared papers
- Roberto Baldoni 1 shared papers
- Romolo Marotta 1 shared papers