Concept
C Sharp
Publications associées (70)
A Programming Model and Foundation for Lineage-Based Distributed Computation
The most successful systems for "big data'' processing have all adopted functional APIs. We present a new programming model we call function passing designed to provide a more principled substrate, or middleware, upon which to build data-centric distribute ...
Cambridge University Press2018Algorithms for the implementation of adaptive isogeometric methods using hierarchical B-splines
In this article we introduce all the ingredients to develop adaptive isogeometric methods based on hierarchical B-splines. In particular, we give precise definitions of local refinement and coarsening that, unlike previously existing methods, can be unders ...
Elsevier2018Scenario Reduction Revisited: Fundamental Limits and Guarantees
Daniel Kuhn, Napat Rujeerapaiboon, Kilian Schindler, Wolfram Wiesemann
The goal of scenario reduction is to approximate a given discrete distribution with another discrete distribution that has fewer atoms. We distinguish continuous scenario reduction, where the new atoms may be chosen freely, and discrete scenario reduction, ...
2018Verification by Reduction to Functional Programs
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 ...
EPFL2017Algorithmic Resource Verification
Ravichandhran Kandhadai Madhavan
Static estimation of resource utilisation of programs is a challenging and important problem with numerous applications. In this thesis, I present new algorithms that enable users to specify and verify their desired bounds on resource usage of functional p ...
EPFL2017Higher-Order Subtyping with Type Intervals
Modern, statically typed programming languages provide various abstraction facilities at both the term- and type-level. Common abstraction mechanisms for types include parametric polymorphism -- a hallmark of functional languages -- and subtyping -- which ...
EPFL2017MATHICSE Technical Report : A Hele-Shaw-Cahn-Hilliard model for incompressible two-phase flows with different densities
Topology changes in multi-phase fluid flows are difficult to model within a traditional sharp interface theory. Diffuse interface models turn out to be an attractive alternative to model two-phase flows. Based on a Cahn{Hilliard{Navier{Stokes model introdu ...
MATHICSE2017Building Efficient Query Engines in a High-Level Language
Christoph Koch, Ioannis Klonatos, Amir Shaikhha
Abstraction without regret refers to the vision of using high-level programming languages for systems development without experiencing a negative impact on performance. A database system designed according to this vision offers both increased productivity ...
2016SMT-Based Checking of Predicate-Qualified Types for Scala
Viktor Kuncak, Georg Stefan Schmid
We present qualified types for Scala, a form of refinement types adapted to the Scala language. Qualified types allow users to refine base types and classes using predicate expressions. We implemented a type checker for qualified types that is embedded in ...
Assoc Computing Machinery2016Auto-Collections for Scala
Dmytro Petrashko, Allan Vincent Roger Renucci
Modern programming languages such as Scala, Java and C# make extensive use of collections. A collection implementation represents a fixed choice in the dimensions of operation time and space utilization. Using the collection in a manner not consistent with ...
2016