CSSV: Towards a realistic tool for statically detecting all buffer overflows in C
- Nurit Dor
- Michael Rodeh
- et al.
- 2003
- PLDI 2003
Conference paper
Publications
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
Conference paperText Indexing and Dictionary Matching with One Error
- Amihood Amir
- Dmitry Keselman
- et al.
- 2000
- Journal of Algorithms
PaperMatrix Multiplication: A Case Study of Enhanced Data Cache Utilization
- Nadav Eiron
- Michael Rodeh
- et al.
- 1999
- ACM Journal of Experimental Algorithmics
PaperFinding circular attributes in attribute grammars
- Michael Rodeh
- Mooly Sagiv
- 1999
- Journal of the ACM
PaperMathematical Analysis of Statistical Sampling for Estimating Computer Cache Performance
- David Bernstein
- Shmuel Gal
- et al.
- 1996
- Communications in Statistics. Part C: Stochastic Models
PaperGlobal instruction scheduling for superscalar machines
- David Bernstein
- Michael Rodeh
- 1991
- PLDI 1991
Conference paperSymmetry breaking in distributed networks
- Alon Itai
- Michael Rodeh
- 1990
- Information and Computation
PaperResolving circularity in attribute grammars with applications to data flow analysis
- S. Sagiv
- O. Edelstein
- et al.
- 1989
- POPL 1989
Conference paperApproximation algorithms for scheduling arithmetic expressions on pipelined machines
- David Bernstein
- Michael Rodeh
- et al.
- 1989
- Journal of Algorithms
Paper