Nurit Dor

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