Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
smartfloat [2012/11/27 08:58] evka |
smartfloat [2012/11/27 08:59] evka |
||
---|---|---|---|
Line 32: | Line 32: | ||
There is also a {{projects:eva:top:smartfloat_poster.pdf|poster}} and a [[http://lara.epfl.ch/~edarulov/presentation_geneva.pdf|presentation]] available. | There is also a {{projects:eva:top:smartfloat_poster.pdf|poster}} and a [[http://lara.epfl.ch/~edarulov/presentation_geneva.pdf|presentation]] available. | ||
+ | |||
==== Publications ==== | ==== Publications ==== | ||
Line 38: | Line 39: | ||
E. Darulova, V. Kuncak. //Trustworthy Numerical Computation in Scala//. OOPSLA 2011. | E. Darulova, V. Kuncak. //Trustworthy Numerical Computation in Scala//. OOPSLA 2011. | ||
[[http://lara.epfl.ch/~darulova/TrustworthyComputation.pdf|PDF]] | [[http://lara.epfl.ch/~darulova/TrustworthyComputation.pdf|PDF]] | ||
+ | |||
+ | |||
+ | The SmartFloat library is maintained by [[http://people.epfl.ch/eva.darulova|Eva Darulova]]. |