Recherche

Afficher tous les résultats pour

Accueil

Publication

Optimizing Higher-Order Functions in Scala

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (35)

Page 2 sur 2

Cross-Platform Language Design in Scala.js (Keynote)

Sébastien Jean Robert Doeraene

Have you ever wondered what is the secret sauce of Scala.js? What defines Scala.js, above all else, is the overarching will to make it cross-platform. A cross-platform language is both portable-most source code cross-compiles and behaves the same way on mu ...

ASSOC COMPUTING MACHINERY2018

Dynamics of entrapped microbubbles with multiple openings

Mahmut Selman Sakar, Murat Kaynak, Amit Yedidia Dolev

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 ...

2022

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

Andrew James Becker

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 ...

EPFL2018

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

Colin Neil Jones, Christophe Salzmann, Emilio Maddalena

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 ...

2022

Interflow: interprocedural flow-sensitive type inference and method duplication

Martin Odersky, Denys Shabalin

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) ...

2018

Verification by Reduction to Functional Programs

Régis William Blanc

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 ...

EPFL2017

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

Dmytro Petrashko

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 ...

EPFL2017

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

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 ...

ACM2017

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

Viktor Kuncak, Ravichandhran Kandhadai Madhavan

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 ...

Assoc Computing Machinery2017

PARSINLU: A Suite of Language Understanding Challenges for Persian

Rabeeh Karimi Mahabadi

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 ...

2021

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

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

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 ...

ACM2017

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

Yves Perriard, Yoan René Cyrille Civet, Xiaotao Ren, Sofia Lydia Ntella, Kenny Jeanmonod, Minh Trung Duöng

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 ...

IEEE2021

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

Carole Thérèse Lanoix

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 ...

EPFL2017

Differentially Private Stochastic Coordinate Descent

Rachid Guerraoui, Georgios Damaskinos

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 ...

AIAA2021

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

Nouchine Hadjikhani, Borja Rodriguez Herreros, Loyse Hippolyte

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 ...

Elsevier Science Inc2016