Elena Guralnik

According to our database, Elena Guralnik authored at least 4 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Leveraging Accelerated Simulation for Floating-Point Regression.

John Paul, Elena Guralnik, Anatoly Koyfman, Amir Nahir, Subrat Panda

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

Simulation-Based Verification of Floating-Point Division.

Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, Anatoly Koyfman

IEEE Trans. Computers, 2011

Injecting Floating-Point Testing Knowledge into Test Generators.

Merav Aharoni, Emanuel Gofman, Elena Guralnik, Anatoly Koyfman

Proceedings of the Hardware and Software: Verification and Testing, 2011

2009

Implementation Specific Verification of Divide and Square Root Instructions.

Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman, Avi Kaplan

Proceedings of the 19th IEEE Symposium on Computer Arithmetic, 2009