`Travelled to:`

1 × Canada

1 × Estonia

1 × The Netherlands

`Collaborated with:`

Y.A.Feldman R.Ettinger

`Talks about:`

comput (2) slice (2) interprocedur (1) algorithm (1) parallel (1) compress (1) accuraci (1) extract (1) control (1) theori (1)

## Person: Aharon Abadi

### DBLP: Abadi:Aharon

### Contributed to:

### Wrote 3 papers:

- SCAM-2014-AbadiF #algorithm #interprocedural #on-demand #parallel
- A Parallel On-Demand Algorithm for Computing Interprocedural Dominators (AA, YAF), pp. 235–244.
- FASE-2012-AbadiEF #slicing #theory and practice
- Fine Slicing — Theory and Applications for Computation Extraction (AA, RE, YAF), pp. 471–485.
- ESEC-FSE-2009-AbadiEF #control flow #slicing
- Improving slice accuracy by compression of data and control flow paths (AA, RE, YAF), pp. 223–232.