Login / Signup
Elena Guralnik
Publication Activity (10 Years)
Years Active: 2009-2012
Publications (10 Years): 0
Top Topics
Floating Point Arithmetic
Instruction Set
Sparse Matrices
Top Venues
Haifa Verification Conference
</>
Publications
</>
John Paul
,
Elena Guralnik
,
Anatoly Koyfman
,
Amir Nahir
,
Subrat Panda
Leveraging Accelerated Simulation for Floating-Point Regression.
Haifa Verification Conference
(2012)
Elena Guralnik
,
Merav Aharoni
,
Ariel J. Birnbaum
,
Anatoly Koyfman
Simulation-Based Verification of Floating-Point Division.
IEEE Trans. Computers
60 (2) (2011)
Merav Aharoni
,
Emanuel Gofman
,
Elena Guralnik
,
Anatoly Koyfman
Injecting Floating-Point Testing Knowledge into Test Generators.
Haifa Verification Conference
(2011)
Elena Guralnik
,
Ariel J. Birnbaum
,
Anatoly Koyfman
,
Avi Kaplan
Implementation Specific Verification of Divide and Square Root Instructions.
IEEE Symposium on Computer Arithmetic
(2009)