Nurit Dor

                                  Publications

Field-Sensitive Program Dependence Analysis
S. Litvak, N. Dor, R. Bodik, N. Rinetzky, and M. Sagiv
FSE '10: ACM SIGSOFT 18th International Symposium on the Foundations of Software Engineering, Santa Fe, New Mexico, USA, November 7-11, 2010.© ACM, (2010) [pdf]

 
Customization Change Impact Analysis for ERP Professionals via Program Slicing
Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, and Dror Weiss, ISSTA 2008 [pdf]

Effective Typestate Verification in the Presence of Aliasing
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, and Emmanuel Geay, ISSTA 2006 [pdf]

Combined Static and Dynamic Analysis for Inferring Program Dependencies Using a Pattern Language
Inbal Ronen,  Nurit Dor,  Sara Porat, and Yael Dubinsky, CASCON 2006

Software Validation via Scalable Path-Sensitive Value Flow Analysis
Nurit Dor, Stephen Adams, Manuvir Das, and Zhe Yang , ISSTA 2004

Numeric Domains with Summarized Dimensions
Denis Gopan, Frank DiMaio, Nurit Dor, Thomas Reps, and Mooly Sagiv, TACAS 2004 [ps]

CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows 
Dor Nurit, Rodeh Michael, and Sagiv Mooly, PLDI 2003 [pdf]

Cleanness Checking of String Manipulations in C Programs via Integer Analysis
Dor Nurit, Rodeh Michael, and Sagiv Mooly, SAS 2001[pdf]

Checking Cleanness in Linked Lists
Dor Nurit, Rodeh Michael, and Sagiv Mooly, SAS 2000 [pdf]

Detecting Memory Errors via Static Pointer Analysis
Dor Nurit, Rodeh Michael, and Sagiv Mooly, PASTE 1998 [paste98.ps]

Dissertations

Automatic Verfication of Program Cleanness
Phd Thesis, Tel-Aviv Univeristy, 200 [ps.zip]

Detecting Memory Errors via Static Pointer Analysis
Msc Thesis, Tel-Aviv University, 1999 [ps.zip]