×

zbMATH — the first resource for mathematics

Horwitz, Susan

Compute Distance To:
Author ID: horwitz.susan Recent zbMATH articles by "Horwitz, Susan"
Published as: Horwitz, Susan
External Links: MGP · Wikidata
Documents Indexed: 13 Publications since 1987

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 28 times in 28 Documents Cited by Year
Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 0874.68133
Sagiv, Mooly; Reps, Thomas; Horwitz, Susan
18
1996
Using slicing to identify duplication in source code. Zbl 0997.68644
Komondoor, Raghavan; Horwitz, Susan
3
2001
Semantics-preserving procedure extraction. Zbl 1323.68360
Komondoor, Raghavan; Horwitz, Susan
2
2000
An efficient general iterative algorithm for dataflow analysis. Zbl 0612.68015
Horwitz, Susan; Demers, Alan; Teitelbaum, Tim
2
1987
Tool support for improving test coverage. Zbl 1077.68617
Horwitz, Susan
1
2002
On the non-approximability of points-to analysis. Zbl 1034.68042
Chakaravarthy, Venkatesan T.; Horwitz, Susan
1
2002
Debugging via run-time type checking. Zbl 0977.68638
Loginov, Alexey; Yong, Suan Hsi; Horwitz, Susan; Reps, Thomas
1
2001
Tool support for improving test coverage. Zbl 1077.68617
Horwitz, Susan
1
2002
On the non-approximability of points-to analysis. Zbl 1034.68042
Chakaravarthy, Venkatesan T.; Horwitz, Susan
1
2002
Using slicing to identify duplication in source code. Zbl 0997.68644
Komondoor, Raghavan; Horwitz, Susan
3
2001
Debugging via run-time type checking. Zbl 0977.68638
Loginov, Alexey; Yong, Suan Hsi; Horwitz, Susan; Reps, Thomas
1
2001
Semantics-preserving procedure extraction. Zbl 1323.68360
Komondoor, Raghavan; Horwitz, Susan
2
2000
Precise interprocedural dataflow analysis with applications to constant propagation. Zbl 0874.68133
Sagiv, Mooly; Reps, Thomas; Horwitz, Susan
18
1996
An efficient general iterative algorithm for dataflow analysis. Zbl 0612.68015
Horwitz, Susan; Demers, Alan; Teitelbaum, Tim
2
1987
all top 5

Cited by 92 Authors

2 Harman, Mark
2 Reps, Thomas W.
2 Yahav, Eran
1 Abal, Iago
1 Alur, Rajeev
1 Amtoft, Torben
1 Androutsopoulos, Kelly
1 Apinis, Kalmer
1 Aschermann, Cornelius
1 Aßmann, Uwe
1 Barraclough, Richard W.
1 Binkley, Dave
1 Boccardo, Davidson R.
1 Bouajjani, Ahmed
1 Brabrand, Claus
1 Brics, Mārtiņš
1 Brockschmidt, Marc
1 Caromel, Denis
1 Cavalcanti, Ana
1 Chatterjee, Krishnendu
1 Clark, David
1 Cordy, James R.
1 Dalla Preda, Mila
1 Damian, Daniel
1 Danicic, Sebastian
1 Drozdov, Alexander Yu.
1 Dymnikov, Constantine
1 Esparza, Javier
1 Frohn, Florian
1 Fuhs, Carsten
1 Giesl, Jürgen
1 Grumberg, Orna
1 Henrio, Ludovic
1 Hensel, Jera
1 Heo, Kihong
1 Hierons, Robert Mark
1 Horwitz, Susan
1 Jagannathan, Suresh
1 Kavvadias, Dimitris J.
1 King, Steve F.
1 Kiss, Ákos
1 Ko, Yoonseok
1 Koschke, Rainer
1 Kragl, Bernhard
1 Kreiker, Jörg
1 Lakhotia, Arun
1 Lal, Akash
1 Laurence, Mike
1 Li, Zheng
1 Male, Chris
1 Manacero, Aleardo jun.
1 Marlowe, Thomas J. jun.
1 Melski, David
1 Mishra, Samarth
1 Müller-Olm, Markus
1 Nandivada, V. Krishna
1 Novikov, Sergey V.
1 Oh, Hakjoo
1 O’Halloran, Colin
1 Ouarbya, Lahcen
1 Pantziou, Grammati E.
1 Pavlogiannis, Andreas
1 Pearce, David J.
1 Peleg, Hila
1 Potanin, Alex
1 Reps, Tom
1 Rinetzky, Noam
1 Roy, Chanchal K.
1 Ryder, Barbara G.
1 Sagiv, Mooly
1 Schneider-Kamp, Peter
1 Serpette, Bernard Paul
1 Shoham, Sharon
1 Singh, Anshuman
1 Spirakis, Paul G.
1 Ströder, Thomas
1 Tang, Hao
1 Vene, Varmo
1 Vidali, Vanessa
1 Vojdani, Vesal
1 Wang, Di
1 Wang, Xiaoyin
1 Wąsowski, Andrzej
1 Wilhelm, Reinhard
1 Woodcock, James C. P.
1 Xiong, Yingfei
1 Yang, Hongseok
1 Yong, Suan Hsi
1 Yorav, Karen
1 Zaroliagis, Christos D.
1 Zhang, Lingming
1 Zhang, Lu

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.