Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic object allocation, and dynamic dispatch. Our analysis is precise even in the presence of dynamic dispatch where the context-insensitive estimate on the number o ...
We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic object allocation, and dynamic dispatch. Our analysis is precise even in the presence of dynamic dispatch where the context-insensitive estimate on the number o ...
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the general-purpose programming language Scala with (non-reactive) functional synthesi ...
Tricalcium aluminate (C3A) is one of the main constituents of Portland cement. Even though it represents less than 10% of the total composition, its strong reaction with water can lead to a rapid setting, called flash set. Gypsum is added to regulate this ...
We discuss the universal relation between density and size of observed dark matter halos that was recently shown to hold on a wide range of scales, from dwarf galaxies to galaxy clusters. Predictions of cold dark matter (Lambda CDM) N-body simulations are ...