Roni Rosner

According to our database1, Roni Rosner
  • authored at least 13 papers between 1986 and 2010.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
TAO: two-level atomicity for dynamic binary optimizations.
Proceedings of the CGO 2010, 2010

2008
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

2004
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

2003
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

2001
Filtering Techniques to Improve Trace-Cache Efficiency.
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)
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

1989
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

1988
A Framework for the Synthesis of Reactive Modules.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

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


  Loading...