MOOC
Programming Reactive Systems
Related publications (963)
Compilation and Design Space Exploration of Dataflow Programs for Heterogeneous CPU-GPU Platforms
Aurélien François Gilbert Bloch
Today's continued increase in demand for processing power, despite the slowdown of Moore's law, has led to an increase in processor count, which has resulted in energy consumption and distribution problems. To address this, there is a growing trend toward ...
EPFL2023Scalable Metaprogramming in Scala 3
A metaprogrammer should be able to reason about the semantics of the generated code.Multi-stage programming introduced an elegant and powerful solution to this problem.It follows a semantically driven approach to code generation, where semantics are fully ...
EPFL2023MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL
Felix Schürmann, Pramod Shivaji Kumbhar, Omar Awile, Ioannis Magkanaris
Advances in computational capabilities and large volumes of experimental data have established computer simulations of brain tissue models as an important pillar in modern neuroscience. Alongside, a variety of domain specific languages (DSLs) have been dev ...
ACM2023A Mechanized Theory of the Box Calculus
Capture calculus is an extension of System Fsub that tracks free variables of terms in their type, allowing one to represent capabilities while limiting their scope. While previous calculi had mechanized soundness proofs, the latest version, namely the box ...
2023Type and Elementary Structure: The Anthropological Turn
As Vidler suggests, the Third Typology’s radical proposition was to identify the nature of architectural elements as neither scientific nor technical but essentially architectural. For Martí Arís, this ‘essence’ of architecture is rooted in form-making, th ...
2023Cooperative Concurrency Control for Write-Intensive Key-Value Workloads
Babak Falsafi, Alexandros Daglis, Mark Johnathon Sutherland
Key-Value Stores (KVS) are foundational infrastructure components for online services. Due to their latency-critical nature, today’s best-performing KVS contain a plethora of full-stack optimizations commonly targeting read-mostly, popularity-skewed worklo ...
ACM2023Rebooting Virtual Memory with Midgard
Virtual Memory (VM) is a critical programming abstraction that is widely used in various modern computing platforms. With the rise of datacenter computing and birth of planet-scale online services, the semantic and capacity requirements from memory have ev ...
EPFL2023‘How To Build a Villa By The Sea’ The Implicit Project of Villa-mania in Post-war Italy (1948-1973)
In the collective imagination the villa is a manifesto of 'the good life’, often representing for architects a laboratory of experimentation and style and an exception in their portfolio. The fate of the villa in contemporary architecture and research cult ...
2023Forms and Technologies of Italy’s Villa-mania (1955 -1970)
The increasing interest towards the concept of the so called ‘escape from the city’, fueled by the recent pandemic, prompt us to put the holiday villa at the center of research attention. In the collective imagination the villa is a manifesto of 'the good ...
2023Who 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 ...
2023