Travelled to:1 × Canada
1 × France
1 × Spain
5 × USA
Collaborated with:S.Sagiv M.Rodeh S.Litvak M.Sagiv R.Bodík N.Rinetzky T.Lev-Ami D.Weiss S.J.Fink E.Yahav G.Ramalingam E.Geay D.Gopan F.DiMaio T.W.Reps
Talks about:analysi (4) program (3) static (2) detect (2) clean (2) check (2) preliminari (1) profession (1) overflow (1) realist (1)
Person: Nurit Dor
DBLP: Dor:Nurit
Contributed to:
2010
20082006
2004
2003
20012000
1998Wrote 8 papers:
- FSE-2010-LitvakDBRS #analysis #dependence
- Field-sensitive program dependence analysis (SL, ND, RB, NR, MS), pp. 287–296.
- ISSTA-2008-DorLLSW #enterprise #impact analysis #slicing
- Customization change impact analysis for erp professionals via program slicing (ND, TLA, SL, MS, DW), pp. 97–108.
- ISSTA-2006-FinkYDRG #alias #effectiveness #type system #verification
- Effective typestate verification in the presence of aliasing (SJF, EY, ND, GR, EG), pp. 133–144.
- TACAS-2004-GopanDDRS
- Numeric Domains with Summarized Dimensions (DG, FD, ND, TWR, SS), pp. 512–529.
- PLDI-2003-DorRS #c #detection #named #towards
- CSSV: towards a realistic tool for statically detecting all buffer overflows in C (ND, MR, SS), pp. 155–167.
- SAS-2001-DorRS #analysis #c #integer #source code #string
- Cleanness Checking of String Manipulations in C Programs via Integer Analysis (ND, MR, SS), pp. 194–212.
- SAS-2000-DorRS
- Checking Cleanness in Linked Lists (ND, MR, SS), pp. 115–134.
- PASTE-1998-DorRS #analysis #detection #experience #fault #memory management #pointer
- Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience) (ND, MR, SS), pp. 27–34.