Michael Rodeh

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