BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dor:Nurit

Contributed to:

FSE 20102010
ISSTA 20082008
ISSTA 20062006
TACAS 20042004
PLDI 20032003
SAS 20012001
SAS 20002000
PASTE 19981998

Wrote 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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.