| 2010 | CGO | TAO: two-level atomicity for dynamic binary optimizations. | Edson Borin, Youfeng Wu, Cheng Wang, Wei Liu, Maurcio Breternitz Jr., Shiliang Hu, Esfir Natanzon, Shai Rotem, Roni Rosner |
| 2004 | CGO | Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture. | Yoav Almog, Roni Rosner, Naftali Schwartz, Ari Schmorak |
| 2004 | ISCA | Power Awareness through Selective Dynamically Optimized Traces. | Roni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson |
| 2003 | ICS | Selecting long atomic traces for high coverage. | Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ronny Ronen |
| 1990 | FOCS | Distributed Reactive Systems Are Hard to Synthesize | Amir Pnueli, Roni Rosner |
| 1990 | LICS | On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) | David Harel, Roni Rosner, Moshe Y. Vardi |
| 1989 | ICALP | On the Synthesis of an Asynchronous Reactive Module. | Amir Pnueli, Roni Rosner |
| 1989 | POPL | On the Synthesis of a Reactive Module. | Amir Pnueli, Roni Rosner |
| 1988 | CONCUR | A Framework for the Synthesis of Reactive Modules. | Amir Pnueli, Roni Rosner |
| 1986 | LICS | A Choppy Logic | Roni Rosner, Amir Pnueli |