Optimizing Higher-Order Functions in Scala

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Microbubbles excited by acoustic fields inside water oscillate, and generate acoustic radiation forces and drag-induced acoustic streaming. These forces can be harnessed in various biomedical applications such as targeted drug delivery and on-chip biomanip ...

Designing digital circuits well is notoriously difficult. This difficulty stems in part from the very many degrees of freedom inherent in circuit design, typically coupled with the need to satisfy various constraints. In this thesis, we demonstrate how for ...

Herein we report a multi-zone, heating, ventilation and air-conditioning (HVAC) control case study of an industrial plant responsible for cooling a hospital surgery center. The adopted approach to guaranteeing thermal comfort and reducing electrical energy ...

Scala heavily relies on a number of object-oriented abstractions to support its feature-rich collections library. There are known techniques that optimize those abstractions away in just-in-time (JIT) compilers, but applying them in the ahead-of-time (AOT) ...

In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...

Production compilers for programming languages face multiple requirements. They should be correct, as we rely on them to produce code. They should be fast, in order to provide a good developer experience. They should also be easy to maintain and evolve. Th ...

Quasiquotes have been shown to greatly simplify the task of metaprogramming. This is in part because they hide the data structures of the intermediate representation (IR), instead allowing metaprogrammers to use the concrete syntax of the language they man ...

We present a new approach for specifying and verifying resource utilization of higher-order functional programs that use lazy evaluation and memoization. In our approach, users can specify the desired resource bound as templates with numerical holes e.g. a ...

Despite the progress made in recent years in addressing natural language understanding (NLU) challenges, the majority of this progress remains to be concentrated on resource-rich languages like English. This work focuses on Persian language, one of the wid ...

Staging has proved a successful technique for programmatically removing code abstractions, thereby allowing for faster program execution while retaining a high-level interface for the programmer. Unfortunately, techniques based on staging suffer from a num ...

Magnetorheological fluid is a type of smart material whose viscosity changes quickly when exposed to an external magnetic field. This paper focuses on the optimized design of a miniature magnetorheological valve integrated into a novel smart shoe-sole that ...

What do Marine Drive and Shibuya have in common? Both the long promenade at the southern end of Mumbai, and the gigantic pedestrian crossing in the heart of the Japanese capital, are places where one walks. This thesis discusses places of convergence and o ...

In this paper we tackle the challenge of making the stochastic coordinate descent algorithm differentially private. Compared to the classical gradient descent algorithm where updates operate on a single model vector and controlled noise addition to this ve ...

BACKGROUND: Deletions and duplications of the 16p11.2 BP4-BP5 locus are prevalent copy number variations (CNVs), highly associated with autism spectrum disorder and schizophrenia. Beyond language and global cognition, neuropsychological assessments of thes ...

Optimizing Higher-Order Functions in Scala

Chattez avec Graph Search

Dynamics of entrapped microbubbles with multiple openings

Satisfiability-Based Methods for Digital Circuit Design, Debug, and Optimization

Experimental data-driven model predictive control of a hospital HVAC system during regular use

Interflow: interprocedural flow-sensitive type inference and method duplication

Verification by Reduction to Functional Programs

Design and implementation of an optimizing type-centric compiler for a high-level language

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Contract-Based Resource Verification for Higher-Order Functions with Memoization

PARSINLU: A Suite of Language Understanding Challenges for Persian

Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations

Optimal Design of Magnetorheological Valve Integrated in an Intelligent Footwear for Diabetic Patients with Foot Insensitivity

Penser (par) la carte : l'espace public et la marche à Mumbai et à Tokyo

Differentially Private Stochastic Coordinate Descent

The Number of Genomic Copies at the 16p11.2 Locus Modulates Language, Verbal Memory, and Inhibition