Roni Rosner

According to our database, Roni Rosner authored at least 13 papers between 1986 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

TAO: two-level atomicity for dynamic binary optimizations.

Edson Borin, Youfeng Wu, Cheng Wang, Wei Liu, Maurício Breternitz Jr., Shiliang Hu, Esfir Natanzon, Shai Rotem, Roni Rosner

Proceedings of the CGO 2010, 2010

2008

08441 Final Report - 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

Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008

2004

Power Awareness through Selective Dynamically Optimized Traces.

Roni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson

Proceedings of the 31st International Symposium on Computer Architecture (ISCA 2004), 2004

Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture.

Yoav Almog, Roni Rosner, Naftali Schwartz, Ari Schmorak

Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 2004

2003

PARROT: Power Awareness Through Selective Dynamically Optimized Traces.

Roni Rosner, Yoav Almog, Micha Moffie, Naftali Schwartz, Avi Mendelson

Proceedings of the Power-Aware Computer Systems, Third International Workshop, 2003

Selecting long atomic traces for high coverage.

Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ronny Ronen

Proceedings of the 17th Annual International Conference on Supercomputing, 2003

2001

Filtering Techniques to Improve Trace-Cache Efficiency.

Roni Rosner, Avi Mendelson, Ronny Ronen

Proceedings of the 2001 International Conference on Parallel Architectures and Compilation Techniques (PACT 2001), 2001

1990

On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)

David Harel, Roni Rosner, Moshe Y. Vardi

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

Distributed Reactive Systems Are Hard to Synthesize

Amir Pnueli, Roni Rosner

Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990

1989

On the Synthesis of a Reactive Module.

Amir Pnueli, Roni Rosner

Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

On the Synthesis of an Asynchronous Reactive Module.

Amir Pnueli, Roni Rosner

Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989

1988

A Framework for the Synthesis of Reactive Modules.

Amir Pnueli, Roni Rosner

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1986

A Choppy Logic

Roni Rosner, Amir Pnueli

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986