Roni Rosner

Publication Activity (10 Years)

Years Active: 1986-2010
Publications (10 Years): 0

Publications

Edson Borin, Youfeng Wu, Cheng Wang, Wei Liu, Maurício Breternitz Jr., Shiliang Hu, Esfir Natanzon, Shai Rotem, Roni Rosner
TAO: two-level atomicity for dynamic binary optimizations. CGO (2010)
Erik R. Altman, Bruce R. Childers, Robert S. Cohn, Jack W. Davidson, Koen De Bosschere, Bjorn De Sutter, M. Anton Ertl, Michael Franz, Yuan Xiang Gu, Matthias Hauswirth, Thomas Heinz, Wei-Chung Hsu, Jens Knoop, Andreas Krall, Naveen Kumar, Jonas Maebe, Robert Muth, Xavier Rival, Erven Rohou, Roni Rosner, Mary Lou Soffa, Jens Tröger, Christopher A. Vick
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. Emerging Uses and Paradigms for Dynamic Binary Translation (2008)
Yoav Almog, Roni Rosner, Naftali Schwartz, Ari Schmorak
Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture. CGO (2004)
Roni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson
Power Awareness through Selective Dynamically Optimized Traces. ISCA (2004)
Roni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson
PARROT: Power Awareness Through Selective Dynamically Optimized Traces. PACS (2003)
Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ronny Ronen
Selecting long atomic traces for high coverage. ICS (2003)
Roni Rosner, Avi Mendelson, Ronny Ronen
Filtering Techniques to Improve Trace-Cache Efficiency. IEEE PACT (2001)
David Harel, Roni Rosner, Moshe Y. Vardi
On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) LICS (1990)
Amir Pnueli, Roni Rosner
Distributed Reactive Systems Are Hard to Synthesize FOCS (1990)
Amir Pnueli, Roni Rosner
On the Synthesis of an Asynchronous Reactive Module. ICALP (1989)
Amir Pnueli, Roni Rosner
On the Synthesis of a Reactive Module. POPL (1989)
Amir Pnueli, Roni Rosner
A Framework for the Synthesis of Reactive Modules. Concurrency (1988)
Roni Rosner, Amir Pnueli
A Choppy Logic LICS (1986)