Follow
Michael Rodeh
Michael Rodeh
Senior Advisor to Permira
Verified email at rodeh.net
Title
Cited by
Cited by
Year
Finding a minimum circuit in a graph
A Itai, M Rodeh
Proceedings of the ninth annual ACM symposium on Theory of computing, 1-10, 1977
5831977
The multi-tree approach to reliability in distributed networks
A Itai, M Rodeh
Information and Computation 79 (1), 43-59, 1988
4241988
CSSV: Towards a realistic tool for statically detecting all buffer overflows in C
N Dor, M Rodeh, M Sagiv
Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003
3592003
An O (n log n) unidirectional distributed algorithm for extrema finding in a circle
D Dolev, M Klawe, M Rodeh
Journal of algorithms 3 (3), 245-260, 1982
3321982
Linear algorithm for data compression via string matching
M Rodeh, VR Pratt, S Even
Journal of the ACM (JACM) 28 (1), 16-24, 1981
3151981
Global instruction scheduling for superscalar machines
D Bernstein, M Rodeh
Proceedings of the ACM SIGPLAN 1991 conference on Programming language …, 1991
2771991
Symmetry breaking in distributed networks
A Itai, M Rodeh
Information and Computation 88 (1), 60-87, 1990
2431990
A sparse table implementation of priority queues
A Itai, AG Konheim, M Rodeh
International Colloquium on Automata, Languages, and Programming, 417-431, 1981
1631981
Some matching problems for bipartite graphs
SL Tanimoto, A Itai, M Rodeh
Journal of the ACM (JACM) 25 (4), 517-525, 1978
1561978
Achieving distributed termination without freezing
N Francez, M Rodeh
IEEE Transactions on Software Engineering, 287-292, 1982
1441982
On the complexity of scheduling problems for parallel/pipelined machines
D Bernstein, M Rodeh, I Gertner
IEEE Transactions on computers 38 (9), 1308-1313, 1989
1201989
Cleanness checking of string manipulations in C programs via integer analysis
N Dor, M Rodeh, M Sagiv
International Static Analysis Symposium, 194-212, 2001
1192001
Symmetry breaking in distributive networks
A Itai, M Rodeh
22nd Annual Symposium on Foundations of Computer Science (sfcs 1981), 150-158, 1981
1051981
Economical encoding of commas between strings
S Even, M Rodeh
Communications of the ACM 21 (4), 315-317, 1978
991978
Covering a graph by circuits
A Itai, M Rodeh
International Colloquium on Automata, Languages, and Programming, 289-299, 1978
951978
Text indexing and dictionary matching with one error
A Amir, D Keselman, GM Landau, M Lewenstein, N Lewenstein, M Rodeh
Journal of Algorithms 37 (2), 309-325, 2000
872000
Checking cleanness in linked lists
N Dor, M Rodeh, M Sagiv
International Static Analysis Symposium, 115-134, 2000
872000
Speculative load instruction rescheduler for a compiler which moves load instructions across basic block boundaries while avoiding program exceptions
D Bernstein, ME Hopkins, M Rodeh
US Patent 5,526,499, 1996
741996
A distributed abstract data type implemented by a probabilistic communication scheme
N Francez, M Rodeh
21st Annual Symposium on Foundations of Computer Science (sfcs 1980), 373-379, 1980
741980
Covering graphs by simple circuits
A Itai, RJ Lipton, CH Papadimitriou, M Rodeh
SIAM Journal on Computing 10 (4), 746-750, 1981
681981
The system can't perform the operation now. Try again later.
Articles 1–20