CSSV: Towards a realistic tool for statically detecting all buffer overflows in C
- Nurit Dor
- Michael Rodeh
- et al.
- 2003
- PLDI 2003
Publications
Date
Featured collections
Popular topics
28 results for Michael Rodeh
The passport control problem or how to keep a dynamic service system load balanced?
- Alon Itai
- Michael Rodeh
- et al.
- 2002
- Theoretical Computer Science
Text Indexing and Dictionary Matching with One Error
- Amihood Amir
- Dmitry Keselman
- et al.
- 2000
- Journal of Algorithms
Matrix Multiplication: A Case Study of Enhanced Data Cache Utilization
- Nadav Eiron
- Michael Rodeh
- et al.
- 1999
- ACM Journal of Experimental Algorithmics
Finding circular attributes in attribute grammars
- Michael Rodeh
- Mooly Sagiv
- 1999
- Journal of the ACM
Mathematical Analysis of Statistical Sampling for Estimating Computer Cache Performance
- David Bernstein
- Shmuel Gal
- et al.
- 1996
- Communications in Statistics. Part C: Stochastic Models
Global instruction scheduling for superscalar machines
- David Bernstein
- Michael Rodeh
- 1991
- PLDI 1991
Symmetry breaking in distributed networks
- Alon Itai
- Michael Rodeh
- 1990
- Information and Computation
Resolving circularity in attribute grammars with applications to data flow analysis
- S. Sagiv
- O. Edelstein
- et al.
- 1989
- POPL 1989
Approximation algorithms for scheduling arithmetic expressions on pipelined machines
- David Bernstein
- Michael Rodeh
- et al.
- 1989
- Journal of Algorithms