ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Wed 18 Nov 2020 10:05 - 10:40 at SPLASH-V - Scala Symposium

Computing resources are fundamentally limited and sometimes an exact solution may not even exist. Thus, when implementing real-world systems, approximations are inevitable, as are the errors they introduce. The magnitude of errors is problem-dependent but higher accuracy generally comes at a cost in terms of memory, energy or runtime, effectively creating an accuracy-efficiency tradeoff. To take advantage of this tradeoff, we need to ensure that the computed results are sufficiently accurate, otherwise we risk disastrously incorrect results or system failures.

In this talk, we present the current state of the tool Daisy which approximates numerical kernels in an automated and trustworthy fashion. Daisy allows a programmer to write exact high-level code and generates an efficient implementation satisfying a given accuracy specification. We discuss Daisy’s verification techniques for bounding the effects of numerical errors, and the approximations Daisy can synthesize fully automatically.


Eva Darulova received a PhD from Ecole Polytechnique Federale de Lausanne (EPFL) and joined the Max Planck Institute for Software Systems (MPI-SWS) as tenure-track faculty in 2015. Her current research focus is on making programming with numerical uncertainties and approximations easier, safer, and the programs themselves more efficient.

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 14:20: Scala SymposiumScala at SPLASH-V
10:00 - 10:05
Day opening
Scala
Nada AminHarvard University, Guido SalvaneschiUniversity of St. Gallen, David RichterTechnische Universität Darmstadt
10:05 - 10:40
Keynote
Scala
10:40 - 11:00
Talk
Scala
11:00 - 11:20
Paper
Scala
Mohammadreza AshouriUniversity of Potsdam, Germany
11:40 - 12:00
Talk
Scala
Mohammadreza AshouriUniversity of Potsdam, Germany
12:00 - 12:20
Paper
Scala
Shadaj LaddadUniversity of California at Berkeley, Koushik SenUniversity of California at Berkeley
12:20 - 12:40
Paper
Scala
Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Sébastien DoeraeneEPFL, Switzerland, Martin OderskyEPFL
12:40 - 13:00
Talk
Scala
Ifaz KabirUniversity of Alberta, Karim AliUniversity of Alberta
13:00 - 13:20
Day closing
Scala
Nada AminHarvard University, Guido SalvaneschiUniversity of St. Gallen, David RichterTechnische Universität Darmstadt