Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Constant folding

Related publications (4)

Accelerating materials discovery for solid state electrolytes

Matthieu Gilles Mottet

The development of new solid-state electrolytes is a key step in improving the performance and safety of battery technology. Although the use of first-principle methods has proved invaluable in better understanding the process at play in these materials, ...

EPFL2020

Alternating Control Flow Reconstruction

Johannes Kinder

Unresolved indirect branch instructions are a major obstacle for statically reconstructing a control flow graph (CFG) from machine code. If static analysis cannot compute a precise set of possible targets for a branch, the necessary conservative over-appro ...

Springer2012

Optimizing Higher-Order Functions in Scala

Iulian Dragos

Scala relies on libraries as the default mechanism for language extension. While this provides an elegant solution for growing the language, the performance penalty incurred by call-by-name parameters, boxing and anonymous functions is high. We show that i ...

2008

From ecological construction to sustainable urban development : the Ecoparc project in Neuchâtel (Switzerland)

Emmanuel Rey

The present logic of built environment dispersion appears incompatible with the concept of sustainable development. The peripheral expansion of cities is indeed leading to irrational use of ground, growing environmental impact and important infrastructure ...

EPFL2005