Nurit Dor

Publication Activity (10 Years)

Years Active: 1998-2019
Publications (10 Years): 1

Top Topics

Statistical Models

Artificial Neural Networks

Top Venues

Publications

Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay
From typestate verification to interpretable deep models (invited talk abstract). ISSTA (2019)
Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv
Field-sensitive program dependence analysis. SIGSOFT FSE (2010)
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
Effective typestate verification in the presence of aliasing. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss
Customization change impact analysis for erp professionals via program slicing. ISSTA (2008)
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay
Effective typestate verification in the presence of aliasing. ISSTA (2006)
Inbal Ronen, Nurit Dor, Sara Porat, Yael Dubinsky
Combined static and dynamic analysis for inferring program dependencies using a pattern language. CASCON (2006)
Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh
Automatic Verification of Strongly Dynamic Software Systems. VSTTE (2005)
Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang
Software validation via scalable path-sensitive value flow analysis. ISSTA (2004)
Denis Gopan, Frank DiMaio, Nurit Dor, Thomas W. Reps, Shmuel Sagiv
Numeric Domains with Summarized Dimensions. TACAS (2004)
Nurit Dor, Michael Rodeh, Shmuel Sagiv
CSSV: towards a realistic tool for statically detecting all buffer overflows in C. PLDI (2003)
Nurit Dor, Michael Rodeh, Shmuel Sagiv
Cleanness Checking of String Manipulations in C Programs via Integer Analysis. SAS (2001)
Nurit Dor, Michael Rodeh, Shmuel Sagiv
Checking Cleanness in Linked Lists. SAS (2000)
Nurit Dor, Michael Rodeh, Shmuel Sagiv
Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience). PASTE (1998)