MOOC
Functional Programming (Private EPFL)
Publications associées (957)
Who was afraid of Yuri Mikhailovich and why? (peculiarities of the reception of the Tartu version of structuralism after the 1960s)
The paper discussed different types of reactions to the emergence of Yuri Lotman's structuralism in the Soviet Union after 1960 ...
2023Villa: Type or Model? Framing a Contradiction in the Context of Post-war Italy
In the collective imagination, the villa is a manifesto of ‘the good life’ (Abalos, 2016) and probably the most archaic building still surviving today. Since the first appearance of the term, the villa has evolved into a more comprehensive notion referring ...
2023Villa: Type or Model? Framing a Contradiction in the Context of Post-war Italy
In the collective imagination, the villa is a manifesto of ‘the good life’ (Abalos, 2016) and probably the most archaic building still surviving today. Since the first appearance of the term, the villa has evolved into a more comprehensive notion referring ...
EPFL Lausanne2023WarpAttack: Bypassing CFI through Compiler-Introduced Double-Fetches
Mathias Josef Payer, Flavio Toffalini, Luca Di Bartolomeo, Jianhao Xu
Code-reuse attacks are dangerous threats that attracted the attention of the security community for years. These attacks aim at corrupting important control-flow transfers for taking control of a process without injecting code. Nowadays, the combinations o ...
IEEE COMPUTER SOC2023SiliFish: A desktop application to model swimming behavior in developing zebrafish (Danio rerio)
SiliFish is an open-source desktop application tomodel and study zebrafish swimming. Here, we explain how to define the general parameters of the model, define cell populations, place them within the spinal cord, and define their projections. We explain ho ...
Amsterdam2023DFT plus U-type functional derived to explicitly address the flat plane condition
A DFT+U-type corrective functional is derived from first principles to enforce the flat plane condition on localized subspaces, thus dispensing with the need for an ad hoc derivation from the Hubbard model. Small, molecular test systems at the dissociated ...
AMER PHYSICAL SOC2023Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations
Agent-based simulations have been widely applied in many disciplines, by scientists and engineers alike. Scientists use agent-based simulations to tackle global problems, including alleviating poverty, reducing violence, and predicting the impact of pandem ...
EPFL2023MultiModN- Multimodal, Multi-Task, Interpretable Modular Networks
Martin Jaggi, Mary-Anne Hartley, Vinitra Swamy, Jibril Albachir Frej, Thierry Bossy, Thijs Vogels, Malika Satayeva
Predicting multiple real-world tasks in a single model often requires a particularly diverse feature space. Multimodal (MM) models aim to extract the synergistic predictive potential of multiple data types to create a shared feature space with aligned sema ...
2023ACTOR: Action-Guided Kernel Fuzzing
Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...
Berkeley2023The splay-list: a distribution-adaptive concurrent skip-list
Amirkeivan Mohtashami, Dan Alistarh
The design and implementation of efficient concurrent data structures has seen significant attention. However, most of this work has focused on concurrent data structures providing good worst-case guarantees, although, in real workloads, objects are often ...
SPRINGER2023