Roni Rosner

13 papers A* 6A 3Unranked 4
YearRankTypeTitle / Venue / Authors
2010 A conf
TAO: two-level atomicity for dynamic binary optimizations.
CGO
Edson Borin, Youfeng Wu, Cheng Wang, Wei Liu, Maurício Breternitz Jr., Shiliang Hu, Esfir Natanzon, Shai Rotem, Roni Rosner
2008 — conf
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation.
Emerging Uses and Paradigms for Dynamic Binary Translation
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
2004 A* conf
Power Awareness through Selective Dynamically Optimized Traces.
ISCA
Roni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson
2004 A conf
Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture.
CGO
Yoav Almog, Roni Rosner, Naftali Schwartz, Ari Schmorak
2003 — conf
PARROT: Power Awareness Through Selective Dynamically Optimized Traces.
PACS
Roni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson
2003 A conf
Selecting long atomic traces for high coverage.
ICS
Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ronny Ronen
2001 — conf
Filtering Techniques to Improve Trace-Cache Efficiency.
IEEE PACT
Roni Rosner, Avi Mendelson, Ronny Ronen
1990 A* conf
Distributed Reactive Systems Are Hard to Synthesize
FOCS
Amir Pnueli, Roni Rosner
1990 A* conf
On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)
LICS
David Harel, Roni Rosner, Moshe Y. Vardi
1989 A* conf
On the Synthesis of a Reactive Module.
POPL
Amir Pnueli, Roni Rosner
1989 A* conf
On the Synthesis of an Asynchronous Reactive Module.
ICALP
Amir Pnueli, Roni Rosner
1988 — conf
A Framework for the Synthesis of Reactive Modules.
Concurrency
Amir Pnueli, Roni Rosner
1986 A* conf
A Choppy Logic
LICS
Roni Rosner, Amir Pnueli