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:
2014
2012
2009Wrote 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.