| 2003 | PLDI | CSSV: towards a realistic tool for statically detecting all buffer overflows in C. | Nurit Dor, Michael Rodeh, Shmuel Sagiv |
| 2001 | SAS | Cleanness Checking of String Manipulations in C Programs via Integer Analysis. | Nurit Dor, Michael Rodeh, Shmuel Sagiv |
| 2000 | SAS | Checking Cleanness in Linked Lists. | Nurit Dor, Michael Rodeh, Shmuel Sagiv |
| 1999 | CC | Virtual Cache Line: A New Technique to Improve Cache Exploitation for Recursive Data Structures. | Shai Rubin, David Bernstein, Michael Rodeh |
| 1999 | WADS | Indexing and Dictionary Matching with One Error. | Amihood Amir, Dmitry Keselman, Gad M. Landau, Moshe Lewenstein, Noa Lewenstein, Michael Rodeh |
| 1992 | ESOP | Proving Safety of Speculative Load Instructions at Compile Time. | David Bernstein, Michael Rodeh, Shmuel Sagiv |
| 1991 | PLDI | Global Instruction Scheduling for Superscalar Machines. | David Bernstein, Michael Rodeh |
| 1989 | COMPSAC | A dialogue manager for efficient adaptive man-machine dialogues. | Jacob P. Ukelson, Michael Rodeh |
| 1989 | POPL | Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis. | Shmuel Sagiv, Orit Edelstein, Nissim Francez, Michael Rodeh |
| 1987 | POPL | Scheduling Arithmetic and Load Operations in Parallel with No Spilling. | David Bernstein, Jeffrey M. Jaffe, Michael Rodeh |
| 1985 | POPL | Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses. | David Bernstein, Ron Y. Pinter, Michael Rodeh |
| 1984 | FOCS | The Multi-Tree Approach to Reliability in Distributed Networks | Alon Itai, Michael Rodeh |
| 1983 | PODC | Distributed k-Selection: From a Sequential to a Distributed Algorithm. | Liuba Shrira, Nissim Francez, Michael Rodeh |
| 1981 | FOCS | Symmetry Breaking in Distributive Networks | Alon Itai, Michael Rodeh |
| 1981 | ICALP | A Sparse Table Implementation of Priority Queues. | Alon Itai, Alan G. Konheim, Michael Rodeh |
| 1980 | FOCS | A Distributed Abstract Data Type Implemented by a Probabilistic Communication Scheme | Nissim Francez, Michael Rodeh |
| 1978 | ICALP | Covering a Graph by Circuits. | Alon Itai, Michael Rodeh |
| 1977 | ICALP | Some Matching Problems. | Alon Itai, Michael Rodeh |