Michael Rodeh

Publication Activity (10 Years)

Years Active: 1977-2003
Publications (10 Years): 0

Publications

Nurit Dor, Michael Rodeh, Shmuel Sagiv
CSSV: towards a realistic tool for statically detecting all buffer overflows in C. PLDI (2003)
Alon Itai, Michael Rodeh, Hadas Shachnai
The passport control problem or how to keep a dynamic service system load balanced? Theor. Comput. Sci. 282 (2) (2002)
Nurit Dor, Michael Rodeh, Shmuel Sagiv
Cleanness Checking of String Manipulations in C Programs via Integer Analysis. SAS (2001)
Amihood Amir, Dmitry Keselman, Gad M. Landau, Moshe Lewenstein, Noa Lewenstein, Michael Rodeh
Text Indexing and Dictionary Matching with One Error. J. Algorithms 37 (2) (2000)
Nurit Dor, Michael Rodeh, Shmuel Sagiv
Checking Cleanness in Linked Lists. SAS (2000)
Nadav Eiron, Michael Rodeh, Iris Steinwarts
Matrix Multiplication: A Case Study of Enhanced Data Cache Utilization. ACM J. Exp. Algorithmics 4 (1999)
Shai Rubin, David Bernstein, Michael Rodeh
Virtual Cache Line: A New Technique to Improve Cache Exploitation for Recursive Data Structures. CC (1999)
Michael Rodeh, Shmuel Sagiv
Finding Circular Attributes in Attribute Grammars. J. ACM 46 (4) (1999)
Yefim Dinitz, Alon Itai, Michael Rodeh
On an Algorithm of Zemlyachenko for Subtree Isomorphism. Inf. Process. Lett. 70 (3) (1999)
Amihood Amir, Dmitry Keselman, Gad M. Landau, Moshe Lewenstein, Noa Lewenstein, Michael Rodeh
Indexing and Dictionary Matching with One Error. WADS (1999)
Nurit Dor, Michael Rodeh, Shmuel Sagiv
Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience). PASTE (1998)
Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm
A Logic-Based Approach to Program Flow Analysis. Acta Informatica 35 (6) (1998)
Nadav Eiron, Michael Rodeh, Iris Steinwarts
Matrix Multiplication: A Case Study of Algorithm Engineering. WAE (1998)
David Bernstein, Michael Rodeh, Shmuel Sagiv
Proving Safety of Speculative Load Instructions at Compile Time. ESOP (1992)
David Bernstein, Michael Rodeh
Global Instruction Scheduling for Superscalar Machines. PLDI (1991)
Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm
A Logic-Based Approach to Data Flow Analysis Problem. PLILP (1990)
Alon Itai, Michael Rodeh
Symmetry breaking in distributed networks Inf. Comput. 88 (1) (1990)
Jacob P. Ukelson, Michael Rodeh
A dialogue manager for efficient adaptive man-machine dialogues. COMPSAC (1989)
David Bernstein, Jeffrey M. Jaffe, Michael Rodeh
Scheduling Arithmetic and Load Operations in Parallel with No Spilling. SIAM J. Comput. 18 (6) (1989)
David Bernstein, Michael Rodeh, Izidor Gertner
Approximation Algorithms for Scheduling Arithmetic Expressions on Pipelined Machines. J. Algorithms 10 (1) (1989)
Shmuel Sagiv, Orit Edelstein, Nissim Francez, Michael Rodeh
Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis. POPL (1989)
David Bernstein, Michael Rodeh, Izidor Gertner
On the Complexity of Scheduling Problems for Parallel/Pipelined Machines. IEEE Trans. Computers 38 (9) (1989)
Uri Shani, Michael Rodeh, Alan J. Wecker, Ike Sagie
FLAME - An Efficient Access Method for Optical Disks. RIAO (1988)
Alon Itai, Michael Rodeh
The Multi-Tree Approach to Reliability in Distributed Networks Inf. Comput. 79 (1) (1988)
David Bernstein, Jeffrey M. Jaffe, Michael Rodeh
Scheduling Arithmetic and Load Operations in Parallel with No Spilling. POPL (1987)
David Bernstein, Ron Y. Pinter, Michael Rodeh
Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses. POPL (1985)
Alon Itai, Michael Rodeh
Scheduling Transmissions in a Network. J. Algorithms 6 (3) (1985)
Alon Itai, Michael Rodeh
The Multi-Tree Approach to Reliability in Distributed Networks FOCS (1984)
Liuba Shrira, Nissim Francez, Michael Rodeh
Distributed k-Selection: From a Sequential to a Distributed Algorithm. PODC (1983)
Alon Itai, Michael Rodeh
Representation of Graphs. Acta Informatica 17 (1982)
Michael Rodeh
Finding the Median Distributively. J. Comput. Syst. Sci. 24 (2) (1982)
Michael Rodeh
A fast test for unique decipherability based on suffix trees. IEEE Trans. Inf. Theory 28 (4) (1982)
Nissim Francez, Michael Rodeh
Achieving Distributed Termination without Freezing. IEEE Trans. Software Eng. 8 (3) (1982)
Danny Dolev, Maria M. Klawe, Michael Rodeh
An O(n log n) Unidirectional Distributed Algorithm for Extrema Finding in a Circle. J. Algorithms 3 (3) (1982)
David Steinberg, Michael Rodeh
) Area. IEEE Trans. Computers 30 (12) (1981)
David Steinberg, Michael Rodeh
A Layout for the Shuffle-Exchange Network with Theta(N²/log N) Area. Inf. Process. Lett. 12 (2) (1981)
Alon Itai, Michael Rodeh
Symmetry Breaking in Distributive Networks FOCS (1981)
Alon Itai, Alan G. Konheim, Michael Rodeh
A Sparse Table Implementation of Priority Queues. ICALP (1981)
N. Frances, Michael Rodeh, Michel Sintzoff
Distributed Termination with Interval Assertions. ICFPC (1981)
Michael Rodeh, Vaughan R. Pratt, Shimon Even
Linear Algorithm for Data Compression via String Matching. J. ACM 28 (1) (1981)
Alon Itai, Richard J. Lipton, Christos H. Papadimitriou, Michael Rodeh
Covering Graphs by Simple Circuits. SIAM J. Comput. 10 (4) (1981)
Nissim Francez, Michael Rodeh
A Distributed Abstract Data Type Implemented by a Probabilistic Communication Scheme FOCS (1980)
Shmuel Katz, Lawrence J. Risman, Michael Rodeh
A System for Constructing Linear Programming Models. IBM Syst. J. 19 (4) (1980)
Emanuel Gofman, Michael Rodeh
Designing efficient algorithms for APL: A case study of a hydraulic-network solver. APL (1979)
Alon Itai, Michael Rodeh, Steven L. Tanimoto
Some Matching Problems for Bipartite Graphs. J. ACM 25 (4) (1978)
Alon Itai, Michael Rodeh
Finding a Minimum Circuit in a Graph. SIAM J. Comput. 7 (4) (1978)
Alon Itai, Michael Rodeh
Covering a Graph by Circuits. ICALP (1978)
Shimon Even, Michael Rodeh
Economical Encoding of Commas Between Strings. Commun. ACM 21 (4) (1978)
Alon Itai, Michael Rodeh
Some Matching Problems. ICALP (1977)