Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:T.Arons J.Shalev E.Singerman S.Ozer L.Fix S.Mador-Haim M.Mishaeli A.Tiemeyer M.Y.Vardi L.D.Zuck
Talks about:microcod (1) backward (1) softwar (1) symbol (1) formal (1) effici (1) compat (1) verif (1) simul (1) level (1)
Person: Elad Elster
DBLP: Elster:Elad
Contributed to:
2008
2005Wrote 2 papers:
- DATE-2008-AronsEOSS #low level #performance #simulation
- Efficient Symbolic Simulation of Low Level Software (TA, EE, SO, JS, ES), pp. 825–830.
- CAV-2005-AronsEFMMSSTVZ #verification
- Formal Verification of Backward Compatibility of Microcode (TA, EE, LF, SMH, MM, JS, ES, AT, MYV, LDZ), pp. 185–198.