According to our database1, Roni Rosner authored at least 13 papers between 1986 and 2010.
Legend:Book In proceedings Article PhD thesis Other
TAO: two-level atomicity for dynamic binary optimizations.
Proceedings of the CGO 2010, 2010
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation.
Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008
Power Awareness through Selective Dynamically Optimized Traces.
Proceedings of the 31st International Symposium on Computer Architecture (ISCA 2004), 2004
Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture.
Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2004), 2004
PARROT: Power Awareness Through Selective Dynamically Optimized Traces.
Proceedings of the Power-Aware Computer Systems, Third International Workshop, 2003
Selecting long atomic traces for high coverage.
Proceedings of the 17th Annual International Conference on Supercomputing, 2003
Filtering Techniques to Improve Trace-Cache Efficiency.
Proceedings of the 2001 International Conference on Parallel Architectures and Compilation Techniques (PACT 2001), 2001
On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990
Distributed Reactive Systems Are Hard to Synthesize
Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990
On the Synthesis of a Reactive Module.
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.
Proceedings of the Automata, Languages and Programming, 16th International Colloquium, 1989
A Framework for the Synthesis of Reactive Modules.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988
A Choppy Logic
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986