Publications related to S-expression

Viktor Kuncak, Ravichandhran Kandhadai Madhavan

We present an approach for inferring symbolic resource bounds for purely functional programs consisting of recursive functions, algebraic data types and nonlinear arithmetic operations. In our approach, the developer specifies the desired shape of the boun ...

2014

Cyme: A Library Maximizing SIMD Computation on User-Defined Containers

Felix Schürmann, Timothée Ewart

This paper presents Cyme, a C++ library aiming at abstracting the usage of SIMD instructions while maximizing the usage of the underlying hardware. Unlike similar efforts such as Boost.simd or VC, Cyme provides generic high level containers to the users wh ...

Springer International Publishing2014

On Repairing Ill-Typed Expressions

Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

When developing code, a programmer typically knows the approximate structure of the desired expression. However, often the first attempt at writing it down results in an ill-typed code fragment. We propose an approach that automatically repairs code expres ...

2013

Scala-Virtualized: Linguistic Reuse for Deep Embeddings

Martin Odersky, Tiark Rompf, Philipp Haller, Nada Amin

Scala-Virtualized extends the Scala language to better support hosting embedded DSLs. Scala is an expressive language that provides a flexible syntax, type-level computation using implicits, and other features that facilitate the development of em- bedded ...

Springer Verlag2013

On the Generation of Precise Fixed-Point Expressions

Viktor Kuncak, Eva Darulova, Indranil Saha

Several problems in the implementations of control systems, signal-processing systems, and scientific computing systems reduce to compiling a polynomial expression over the reals into an imperative program using fixed-point arithmetic. Fixed-point arithmet ...

2013

Synthesis of Fixed-Point Programs

Viktor Kuncak, Eva Darulova, Indranil Saha

2013

What is the color of chocolate? - extracting color values of semantic expressions

Sabine Süsstrunk, Albrecht Johannes Lindner

We present a statistical framework to automatically determine an associated color for a given arbitrary semantic expression. The expression can not only be a color name but any word or character string. In addition to the color value, we are also able to c ...

2012

Polymer-based cell-free expression of ligand-binding family B G-protein coupled receptors without detergents

Henning Paul-Julius Stahlberg

G-protein coupled receptors (GPCRs) constitute the largest family of intercellular signaling molecules and are estimated to be the target of more than 50% of all modern drugs. As with most integral membrane proteins (IMPs), a major bottleneck in the struct ...

Wiley-Blackwell2011

Code Completion using Quantitative Type Inhabitation

Viktor Kuncak, Tihomir Gvero, Ruzica Piskac

Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...

2011

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

S-expression

Symbolic Resource Bound Inference

Cyme: A Library Maximizing SIMD Computation on User-Defined Containers

On Repairing Ill-Typed Expressions

Scala-Virtualized: Linguistic Reuse for Deep Embeddings

On the Generation of Precise Fixed-Point Expressions

Synthesis of Fixed-Point Programs

What is the color of chocolate? - extracting color values of semantic expressions

Polymer-based cell-free expression of ligand-binding family B G-protein coupled receptors without detergents

Code Completion using Quantitative Type Inhabitation

Potentials and Deficits of a recent Approach for urban Traffic Monitoring based on Floating Car Data

Graph Chatbot

Chat with Graph Search

Polymer-based cell-free expression of ligand-binding family B G-protein coupled receptors without detergents

On Repairing Ill-Typed Expressions

On the Generation of Precise Fixed-Point Expressions

Cyme: A Library Maximizing SIMD Computation on User-Defined Containers

What is the color of chocolate? - extracting color values of semantic expressions

Synthesis of Fixed-Point Programs

Scala-Virtualized: Linguistic Reuse for Deep Embeddings

Potentials and Deficits of a recent Approach for urban Traffic Monitoring based on Floating Car Data

Code Completion using Quantitative Type Inhabitation

Symbolic Resource Bound Inference