Travelled to:1 × Canada
1 × Italy
4 × USA
Collaborated with:A.Pnueli D.Harel M.Y.Vardi Y.Almog N.Schwartz A.Schmorak E.Borin Y.Wu C.Wang W.Liu M.B.Jr. S.Hu E.Natanzon S.Rotem
Talks about:synthesi (2) reactiv (2) optim (2) modul (2) dynam (2) microarchitectur (1) asynchron (1) special (1) program (1) perform (1)
Person: Roni Rosner
DBLP: Rosner:Roni
Contributed to:
20102004
1990
1989
19891986Wrote 6 papers:
- CGO-2010-BorinWWLBHNRR #named #optimisation
- TAO: two-level atomicity for dynamic binary optimizations (EB, YW, CW, WL, MBJ, SH, EN, SR, RR), pp. 12–21.
- CGO-2004-AlmogRSS #architecture #energy #optimisation
- Specialized Dynamic Optimizations for High-Performance Energy-Efficient Microarchitecture (YA, RR, NS, AS), pp. 137–150.
- LICS-1990-HarelRV #bound #concurrent #on the #power of #reasoning #source code
- On the Power of Bounded Concurrency~III: Reasoning About Programs (DH, RR, MYV), pp. 478–488.
- ICALP-1989-PnueliR #on the #synthesis
- On the Synthesis of an Asynchronous Reactive Module (AP, RR), pp. 652–671.
- POPL-1989-PnueliR #on the #synthesis
- On the Synthesis of a Reactive Module (AP, RR), pp. 179–190.
- LICS-1986-RosnerP #logic
- A Choppy Logic (RR, AP), pp. 306–313.