Publications related to Reference (computer science)

Secure Interface Design Leveraging Hardware/Software Support

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

EPFL2024

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

Pixels: An Efficient Column Store for Cloud Data Lakes

Anastasia Ailamaki, Haoqiong Bian

To benefit from the cloud’s higher elasticity and price-efficiency, most modern data-lake engines support S3-like cloud object storage (COS) services as their optional or preferred underlying storage. Meanwhile, the widespread column stores, such as Parque ...

IEEE2022

Proving and Disproving Equivalence of Functional Programming Assignments

Viktor Kuncak, Dragana Milovancevic

We present an automated approach to verify the correctness of programming assignments, such as the ones that arise in a functional programming course. Our approach takes as input student submissions and reference solutions, and uses equivalence checking to ...

2023

Stoic: Towards Disciplined Capabilities

Martin Odersky, Nada Amin, Fengyun Liu, Sandro Stucki, Paolo Giosuè Giarrusso

Capabilities are widely used in the design of software systems to ensure security. A system of capabilities can become a mess in the presence of objects and functions: objects may leak capabilities and functions may capture capabilities. They make reasonin ...

2020

One-minute average horizontal wind velocity data (which has been corrected for air-flow distortion) from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4

Julia Schmale, Jenny Thomas, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract One-minute average horizontal wind velocity data from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4. The data has been filtered for spurious observations and the true wind correction has been redone ...

2020

One-minute average horizontal wind velocity data (not corrected for air-flow distortion) from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4

Julia Schmale, Jenny Thomas, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract This dataset contains the one-minute average horizontal wind velocity data from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4. The data has been filtered for spurious observations and the true wind ...

2020

Air-flow distortion bias factors of the port and starboard anemometers of the Akademik Tryoshnikov estimated during the Antarctic Circumnavigation Expedition (ACE) legs 0-4 undertaken during the austral summer of 2016/2017

Julia Schmale, Jenny Thomas, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract This data set contains the air-flow distortion bias factors of the port and starboard anemometers of the Akademik Tryoshnikov estimated during the Antarctic Circumnavigation Expedition (ACE) legs 0-4 undertaken during the ...

2020

Five-minute average horizontal wind velocity data combined from both sensors (which has been corrected for air-flow distortion) from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4

Julia Schmale, Jenny Thomas, Sebastian Johannes Heinz-Josef Landwehr

Dataset abstract The horizontal wind velocity data from the Antarctic Circumnavigation Expedition (ACE) 2016/2017 legs 0 to 4 has been corrected for air-flow distortion. The measurements from both the port and starboad side anemometer were ...

2020

Better Patch Stitching for Parametric Surface Reconstruction

Pascal Fua, Mathieu Salzmann, Jan Bednarík, Zhantao Deng

Recently, parametric mappings have emerged as highly effective surface representations, yielding low reconstruction error. In particular, the latest works represent the target shape as an atlas of multiple mappings, which can closely encode object parts. A ...

IEEE2020

Finally, a Polymorphic Linear Algebra Language

Amir Shaikhha, Lionel Emile Vincent Parreaux

Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data scientists use a particular specialised library. In this paper, we present Pilatus, a polymorphic iterative linear algebra la ...

2019

System and methods for using thereof for predicting hallucinations

Olaf Blanke, Giulio Rognini

A system for predicting a likelihood of an occurrence of hallucinations in a subject including a master device configured to be at least one of moved, moved on, and manipulated by a subject, a slave device operably connected with the master device and adap ...

2018

A Programming Model and Foundation for Lineage-Based Distributed Computation

Heather Christine Klug, Philipp Haller

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 Press2018

SAT Based Exact Synthesis using DAG Topology Families

Giovanni De Micheli, Mathias Soeken, Winston Jason Haaswijk

SAT based exact synthesis is a powerful technique, with applications in logic optimization, technology mapping, and synthesis for emerging technologies. However, its runtime behavior can be unpredictable and slow. In this paper, we propose to add a new typ ...

IEEE2018

Pyroomacoustics: A Python Package For Audio Room Simulation And Array Processing Algorithms

Eric Bezzam, Ivan Dokmanic, Robin Scheibler

We present pyroomacoustics, a software package aimed at the rapid development and testing of audio array processing algorithms. The content of the package can be divided into three main components: an intuitive Python object-oriented interface to quickly c ...

IEEE2018

Type Soundness Proofs with Definitional Interpreters

Tiark Rompf, Nada Amin

While type soundness proofs are taught in every graduate PL class, the gap between realistic languages and what is accessible to formal proofs is large. In the case of Scala, it has been shown that its formal model, the Dependent Object Types (DOT) calculu ...

Assoc Computing Machinery2017

Easy and Accurate Hardware-based Program Performance Monitoring

Andrzej Pawel Nowak

The performance monitoring of computer systems is a complex affair, made even more challenging by the increasing gap between hardware and software. Methods that collect and feed data to performance analysis can usually be classified into one of two groups. ...

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

Wide-baseline object interpolation using shape prior regularization of epipolar plane images

Pascal Frossard, Christophe De Vleeschouwer, Thomas Maugey

This paper considers the synthesis of intermediate views of an object captured by two calibrated and widely spaced cameras. Based only on those two very different views, our paper proposes to reconstruct the object Epipolar Plane Image Volume [1] (EPIV), w ...

2017

Function Passing: A Model for Typed, Distributed Functional Programming

Heather Christine Klug, Philipp Haller, Jocelyn Boullier

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 on which to build data-centric distributed systems. A key id ...

Assoc Computing Machinery2016