BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rosner:Roni

Contributed to:

CGO 20102010
CGO 20042004
LICS 19901990
ICALP 19891989
POPL 19891989
LICS 19861986

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.